Postdoctoral Research Associate

F ull time, 2 year fixed term position (with the possibility of extension) Located on the Camperdown Campus, University of Sydney Base Salary Academic Level A $117,936 - $125,896 + 17% superannuation About the opportunity Established as the first computer science department in Australia, the School of Computer Science (SCS) is research intensive and has a strong tradition of research-led teaching. The School offers undergraduate majors in computer science, information systems, data science and software development within its flagship Bachelor of Advanced Computing degree and combined degree programs with commerce and science. The SCS also offers postgraduate coursework degrees in Computer Science, Data Science, Complex systems and the Master of Health Technology Innovation. SCS is one of the six schools in the Faculty of Engineering, which has a strong position within Australia and worldwide. To learn more about the School, click here . We are currently seeking applications for a Postdoctoral Research Associate in Logical Foundations of Planning . In this role you will work closely with Dr Rubin on research projects, and contribute to the collegial culture of the Sydney Algorithms and Computing Theory group (SACT) in the SCS. In addition, you will be given the opportunity to attend flagship theoretical computer science conferences to present your work, and to mentor HDR and Honours students. Your key responsibilities will be to: conduct high-quality research independently and collaboratively (with Dr Rubin) to advance the state-of-the-art of research in logical foundations of planning publish research outcomes in leading international conferences participate in the research activities of the broader SACT group (seminars, reading group, etc.) mentor graduate and undergraduate students adhere to and promote the University's health, safety, and ethical guidelines. About you We are looking for one Postdoctoral Research Associate in Logical Foundations of Planning who has: a PhD (or near completion) in computer science (or closely related fields) a solid background in theoretical computer science, mathematical logic, and automata-theory/formal-language theory proven capability for independent research, evidenced by high-quality publications excellent interpersonal and communication skills, and a desire to contribute to the collegial culture of the SACT group commitment to fostering an inclusive and respectful workplace an understanding of and adherence to university policies and procedures related to health and safety. Pre-employment checks Your employment is conditional upon the completion of all role required pre-employment or background checks in terms satisfactory to the University. Similarly, your ongoing employment is conditional upon the satisfactory maintenance of all relevant clearances and background check requirements. If you do not meet these conditions, the University may take any necessary step, including the termination of your employment. EEO statement At the University of Sydney, our shared values are trust, accountability and excellence and we strive to be a place where everyone can thrive. We are committed to creating a University community that thrives through diversity and reflects the wider community that we serve. We deliver on this through our commitment to diversity and inclusion , evidenced by our people and culture programs, as well as key strategies to increase participation and support the careers of Aboriginal and Torres Strait Islander People , women , people living with a disability , people from culturally and linguistically diverse backgrounds , and those who identify as LGBTQIA+ . We welcome applications from candidates from all backgrounds. We are proud to be recognised as an Australian Workplace Equality Index (AWEI) Platinum Employer. Find out more about our work on diversity and inclusion . How to apply Applications (including a cover letter, CV, and any additional supporting documentation) can be submitted via the Apply button at the top of the page. For employees of the University or contingent workers, please login into your Workday account and navigate to the Career icon on your Dashboard.  Click on USYD Find Jobs and apply. For a confidential discussion about the role, or if you require reasonable adjustment or any documents in alternate formats, please contact Nicole Feain and Liam Newson, Recruitment Operations, by email to recruitment.sea@sydney.edu.au © The University of Sydney The University reserves the right not to proceed with any appointment. Click to view the Position Description for this role. Applications Close Wednesday 30 September 2026 11:59 PM

• adhere to and promote the University's health, safety, and ethical guidelines.
• Established as the first computer science department in Australia, the School of Computer Science (SCS) is research intensive and has a strong tradition of research-led teaching.
• The School offers undergraduate majors in computer science, information systems, data science and software development within its flagship Bachelor of Advanced Computing degree and combined degree programs with commerce and science.
• The SCS also offers postgraduate coursework degrees in Computer Science, Data Science, Complex systems and the Master of Health Technology Innovation.
• SCS is one of the six schools in the Faculty of Engineering, which has a strong position within Australia and worldwide.
• To learn more about the School, click here .
• We are currently seeking applications for a Postdoctoral Research Associate in Logical Foundations of Planning .
• In this role you will work closely with Dr Rubin on research projects, and contribute to the collegial culture of the Sydney Algorithms and Computing Theory group (SACT) in the SCS.
• In addition, you will be given the opportunity to attend flagship theoretical computer science conferences to present your work, and to mentor HDR and Honours students.
• conduct high-quality research independently and collaboratively (with Dr Rubin) to advance the state-of-the-art of research in logical foundations of planning
• publish research outcomes in leading international conferences
• participate in the research activities of the broader SACT group (seminars, reading group, etc.)
• mentor graduate and undergraduate students

• We are looking for one Postdoctoral Research Associate in Logical Foundations of Planning who has: