Role type:Fixed Term until the end of September ****
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
Overview
You will conduct independent research in formal methods, focusing on proof advice and integrating automated theorem provers into modern proof assistants.
This role offers a supportive research environment and the opportunity to advance your career through publications in prestigious journals and conferences.
Responsibilities
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.
Qualifications
PhD in Computer Science, Mathematics, or a closely related discipline.
Excellent research and analytical skills with a record of quality publications.
Strong interpersonal skills and the ability to conduct independent research in formal methods and symbolic computation.
Experience communicating complex research concepts to diverse audiences.
Benefits
Supportive flexible work arrangements underpinned by inclusion and well-being.
Progressive leave provisions for work-life balance.
Salary packaging and access to discounted services, including Bupa health insurance.
Health and well-being services, including an Employee Assistance Program.
Team
The School of Computing & Information Systems undertakes research and teaching across software engineering, information systems, and computer science.
It is highly ranked nationally and maintains strong links to major research initiatives.
Equal Opportunity & Diversity
The University of Melbourne is an Equal Opportunity Employer and a child-safe organisation.
We are committed to inclusive recruitment and reasonable adjustments for candidates throughout the application process.
Reasonable Adjustments
For reasonable adjustments, please contact Kim Groizard on or email[emailprotected].
Indigenous Applicants
We aspire to be the University of choice for Indigenous Australians with substantial support programs.
Contact the Indigenous Employment & Development team at[emailprotected]for assistance.
Working with Children Check
This role requires a valid Working With Children Check.
Candidates may apply for the check during onboarding if not already valid.
Visa Sponsorship
Please note: Visa sponsorship is not available for this position.
Current valid work rights for Australia are required.
Application
Apply today with the following documents:
Resume
Cover Letteroutlining your interest and experience.
Responses to the Selection Criteria(found in the Position Description).
Instructions for compiling short statements to answer the selection criteria are available at careers/selection-criteria.
Application Deadline
Applications close: Wednesday 3rd December *******:55 PM Melbourne time zone.
Position Description
JR-******_Research Fellow in Computer Science_PD.pdf
#J-*****-Ljbffr