Research 

• Develop formal models of GraalVM compiler optimization phases in Isabelle/HOL. 

• Verify the correctness of the models of the optimization phases. 

• Develop techniques to generate the compiler phases form the formal models. 

• Produce quality research outputs consistent with discipline norms by publishing or exhibiting in high quality outlets. 

• Participate in applications for competitive research funding to support projects and activities. 

• Work with colleagues in the development of joint research projects and applications for competitive research funding support. 

• Contribute to progressing towards transfer of knowledge, technology and practices to research end users through translation, including commercialisation of UQ intellectual property. 

• Develop a coherent research program and an emerging research profile. 

• Review and draw upon best practice research methodologies. 

Teaching 

• The position involves a 20% commitment to teaching within the School, including course coordination, lecturing, supervising tutors, tutoring, and developing and assessing assignments and examinations. 

Supervision and Researcher Development 

• Contribute to the effective supervision of Honours and Higher Degree by Research students (as appropriate). 

• Participate in events to attract Honours and postgraduate students to the research project. 

• Demonstrate personal effectiveness in supervision and the management of researcher development. 

• Effectively lead and develop supervisee performance and conduct by providing feedback, coaching, and professional development. 

• As appropriate, manage research support staff effectively throughout the employee lifecycle in accordance with University policy and procedures. 

• Working to promptly resolve conflict and grievances when they arise in accordance with University policy and procedures. 
   

Citizenship and Service 

• Demonstrate citizenship behaviours that align to the UQ values. 

• Shows leadership of self through collaboration and active participation in priority activities for the unit 

• Provide support to other academic positions and unit operations as needed during other team members absences. 

• Contribute to internal service roles and administrative processes as required, including participation in decision-making and service on relevant committees. 

• Collaborate in service activities external to the immediate organisation unit. 

• Begin to develop external links and partnerships by cultivating relationships with industry, government departments, professional bodies and the wider community. 

This is a research focused academic position. Further information can be found by viewing UQ’s Criteria for Academic Performance.  

This is a full-time 100%, fixed-term position for up to 12 months at Academic level A. The full-time equivalent base salary will be in the range $74,308.68 - $99,426.59, plus a generous super allowance of up to 17%. The total FTE package will be up to $86,941.16 - $116, 329.11 annually. As this role is covered by an Enterprise Agreement, you will also receive regular remuneration increases – at least once a year. 

The greater benefits of joining the UQ community are broad:  from being part of a Group of Eight university, to recognition of prior service with other Australian universities, up to 26 weeks of paid parental leave, 17.5% annual leave loading, flexible working arrangements including hybrid on site/WFH options and flexible start/finish times, and genuine career progression opportunities via the academic promotions process.  

About You   

• Completion or near completion of a PhD in computer science or software engineering (preferably in formal methods and compiler optimization). 

• Demonstrated track record in compiler optimization verification. 

• Demonstrated expert knowledge and experience in developing formal models and proofs in Isabelle/HOL. 

• Extensive knowledge of the GraalVM compiler, in particular, its optimization phases. 

• Evidence of publication of research findings in reputed refereed journals and conferences relevant to the scope of the project. 

• Excellent communication and interpersonal skills with the ability to work both independently in a research environment and as part of a team and to establish effective relationships with academic and industrial collaborators. 

• Experience with teaching including course organisation, lecturing and tutoring. 

• Some experience in meaningful internal service roles and contributions towards external activities. 

In addition, the following mandatory requirements apply: 

• Work Rights: You must have unrestricted work rights in Australia for the duration of this appointment to apply. Visa sponsorship is not available for this appointment.  

• Background Checks: All final applicants for this position may be asked to consent to a criminal record check. Please note that people with criminal records are not automatically barred from applying for this position. Each application will be considered on its merits.  

Relocating from interstate or overseas? You can find out more about life in Australia’s Sunshine State here. 

 
Questions?  

For more information about this opportunity, please contact Associate Professor Mark Utting via email at m.utting@uq.edu.au  For application queries, please contact recruitment@uq.edu.au stating the job reference number (below) in the subject line.  
 

Want to Apply?  

All applicants must upload the following documents in order for your application to be considered: 

• Resume 

• Cover letter  

• Responses to the ‘About You’ section 
   

Other Information  

At UQ we know that our greatest strengths come from our diverse mix of colleagues, this is reflected in our ongoing commitment to creating an environment focused on equity, diversity and inclusion.  We ensure that we are always attracting, retaining and promoting colleagues who are representative of the diversity in the broader community, whether that be gender identity, LGBTQIA+, cultural and/or linguistic, Aboriginal and/or Torres Strait Islander peoples, or people with a disability. Accessibility requirements and/or adjustments can be directed to recruitment@uq.edu.au   

If you are a current employee (including casual staff and HDR scholars) or hold an unpaid/affiliate appointment, please login to your staff Workday account and visit the internal careers board to apply for this opportunity. Please do NOT apply via the external job board. 

Applications close Sunday 10th December 2023 at 11.00pm AEST (R-32040).