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:

Be Yourself
The University of Melbourne is an Equal Opportunity Employer and a child-safe organisation. We are committed to creating an inclusive and equitable workplace where all individuals feel valued, respected, and have the opportunity to thrive regardless of gender identity, ethnicity, sexual orientation, disability, age, being a parent or having caring responsibilities.

The University of Melbourne is committed to fostering a barrier-free and inclusive recruitment process. We are dedicated to providing reasonable adjustments for candidates throughout the application and interview stages, including accessible document formats and alternative application methods.  To discuss your specific requirements, please feel free to contact Kim Groizard on or send an email titled 'Reasonable Adjustments' to hr-.  You can find more information for applicants requiring reasonable adjustments on our Careers website:

Aboriginal and Torres Strait Islander Applicants
We aspire to be the University of choice for Indigenous Australians, with unprecedented investment to attract, nurture and retain Aboriginal and Torres Strait Islander students and staff. Tangible support through a range of programs and initiatives will ensure that you personally succeed and flourish while at the University of Melbourne.

For further information, including our Indigenous strategy please visit -

If you are a member of an Aboriginal and/or Torres Strait Islander community and would like any support, please feel free to contact our Indigenous Employment & Development team via email at oied-

Working at the University – what you need to know
This role requires the successful candidate to maintain a Working with Children Check The successful candidate can apply for the WWCC as part of the onboarding process. In the case the selected candidate doesn't have a valid Working with Children Check, they will be able to apply for the WWCC as part of the initial onboarding procedures.

Please note: Visa sponsorship is not available for this position. This role requires current valid work rights for Australia.

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

If you have any questions regarding the recruitment process, please feel free to contact Nick Petersen via email at hr-, 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 :55 PM Melbourne time zone.

Position Description: JR-005382_Research Fellow in Computer