"Research Fellow in Computer Science"

Role type:

Fixed Term until the end of September 2027

Faculty:

Faculty of Engineering and Information Technology

Department/School:

School of Computing & Information Systems

Salary:

Level A - $87,266 - $118,416 per annum (pro rata for part time) plus 17% superannuation

• Advance your research career in a supportive environment / Collaborate with a growing team in formal methods / Contribute to cutting-edge proof automation
• Apply now to lead impactful research in formal methods and contribute to groundbreaking advancements in computer mathematics
• Investing in you - benefits package including salary packaging, health and wellbeing programs, discounted services, and professional development opportunities.

The University of Melbourne

We take pride in our people, who all contribute to our mission to benefit society through the transformative impact of education and research. Discover more via our website and stay connected with our stories and people on LinkedIn.

Your next career opportunity

As a Research Fellow in the Faculty of Engineering and Information Technology, you'll conduct independent research, leading to publications in prestigious journals and conferences. You will collaborate with a growing team, focusing on designing proof advice and integrating automated theorem provers into modern proof assistants. This role offers you the opportunity to advance your career in a supportive research environment, contributing to the development of formal methods and computer mathematics.

Your responsibilities will include:

• Conduct Independent Research: Plan and execute research projects, publish findings, and contribute to the department's research output.
• Collaborate and Communicate: Liaise with stakeholders, present research results at forums, and participate in departmental activities.
• Mentor and Supervise: Guide students and junior research staff, fostering a collaborative and innovative research culture.
• Engage and Network: Participate in outreach activities, liaise with external networks, and contribute to professional consultations.

You may be a great fit if:

You will be an experienced researcher with a PhD in Computer Science or Mathematics, possessing strong interpersonal skills and the ability to conduct independent research in formal methods and symbolic computation.

You may also:

• Have a PhD in Computer Science, Mathematics or a closely related discipline.
• Possess excellent research and analytical skills, with a record of quality publications.
• Be skilled in communicating complex research concepts to diverse audiences.
• Demonstrate strong interpersonal skills for effective stakeholder engagement.
• Have experience in formal methods and symbolic computation

For further information please refer to the attached PD.

What we offer you!

We offer the opportunity to be part of a vibrant community and enjoy a comprehensive range of benefits to support your success and sense of fulfillment, including:

• Supportive flexible work arrangements underpinned by our commitment to inclusion and well-being
• Progressive, considerate leave provisions to empower your work-life balance
• Salary packaging and access to a range of discounted services including Bupa health insurance
• Health and well-being services including a leading Employee Assistance Program

For more information check out our benefits page!

Your new team – School of Computing & Information Systems

The School of Computing & Information Systems (CIS) undertakes research and teaching across a range of information technology disciplines including Software Engineering, Information Systems, and Computer Science. CIS is the most highly ranked School of Computing and Information Systems in Australia according to all major rankings (THE, QS, ARWU). It offers a comprehensive range of IT and IS courses at all levels, including offerings in science, engineering, and business, and is at the forefront of computing research in Australia and internationally with close links to major computing research initiatives, including Melbourne Bioinformatics, CSL, The Cremorne Digital Hub and CSIRO’s DATA61.

The School’s aim is to attract and retain outstanding staff available in order to maintain its lead in research and teaching. We have an existing highly successful research team in the area of the appointment, a large number of PhD students, and a substantial cohort of graduate students in our coursework Masters programs.

To find out more about CIS, visit: http://www.cis.unimelb.edu.au/

Join Us and unlock your career potential!

Is this the perfect opportunity for you? Apply today! Including the following documents:

• Resume
• Cover Letter outlining your interest and experience
• The responses against the Selection Criteria^ (found in the Position Description)

^For information to help you with compiling short statements to answer the selection criteria and competencies, please go to http://about.unimelb.edu.au/careers/selection-criteria

If you have any questions regarding the recruitment process, please feel free to contact Nick Petersen via email at hr-careers@unimelb.edu.au, ensuring that you include the Position Number and the Job Title as the subject. Please do not share your application to this email address.

If you have any particular questions regarding the job please follow the details listed on the Position Description.

Applications close:

Wednesday 3rd December 2025 11:55 PM Melbourne time zone.

Position Description:

JR-005382_Research Fellow in Computer Science_PD.pdf