About

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: https://www.cis.unimelb.edu.au/ 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 +61 3 9035 3218 or send an email titled 'Reasonable Adjustments' to hr-careers@unimelb.edu.au. You can find more information for applicants requiring reasonable adjustments on our Careers website: https://about.unimelb.edu.au/careers 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 2023-2027 Indigenous strategy please visit -https://about.unimelb.edu.au/reconciliation/murmuk-djerring 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-hr@unimelb.edu.au. 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 https://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 Explore leadership opportunities to shape the future and growth of the University of Melbourne - Executive Opportunities Welcome to the University of Melbourne – where our vision for positive societal change creates impact. Join our community of world-class thinkers, where innovation thrives, and your ideas shape the future. Why choose us? You'll work among the best, pushing the boundaries of knowledge with passion. Whether you're driving groundbreaking research, inspiring the next generation through teaching, or providing essential professional services, we empower you to excel. At the University of Melbourne, your potential is our priority. Elevate your career, make a real difference, and be part of a diverse community that values your unique contribution. Your journey to professional and personal growth starts here. Discover more at - https://about.unimelb.edu.au/ At the heart of our mission is a commitment to enriching society through education and research. Through our strategy "Advancing Melbourne," we're not just shaping our own future; we're shaping the future of the state, the nation, and our global community. Together, we propel Australia forward, positioning it as an ambitious, forward-thinking leader on the world stage. Our staff play a key role in elevating Australia's reputation and influence globally. Your contributions are the driving force behind our ambition to be a leading force for positive change. Join us, and let's advance Melbourne – and the world – together. Discover more The University has committed to a strategic vision which aims to create a thriving, fair and diverse university community, working together respectfully to make a difference to each other and in the world. Join us on our journey to build a future where everyone in our community can feel a strong sense of belonging, and diverse perspectives fuel success. Discover more Want to know more about us, our processes, or future opportunities? We would love to connect with you! Get in touch with our friendly Talent Acquisition team at hr-careers@unimelb.edu.au