Postdoctoral Research Associate in Logical Foundations of …, City of Sydney

Organisation/Company UNIVERSITY OF SYDNEY Research Field Computer science Researcher Profile Recognised Researcher (R2) Established Researcher (R3) Application Deadline 18 Jun 2026
- 00:00 (UTC) Country Australia Type of Contract Other Job Status Full-time Is the job funded through the EU Research Framework Programme? Not funded by a EU programme Is the Job related to staff position within a Research Infrastructure? No Offer Description
- Full time, 2 year fixed term position (with the possibility of extension)
- Located on the Camperdown Campus, University of Sydney
- Base Salary Academic Level A $109,263
- $121,054 + 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 solid 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. 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. 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 Cherie Goodwin or Rebecca Astar, Recruitment Operations by email to The University reserves the right not to proceed with any appointment. #J-18808-Ljbffr Apply on Kit Job: kitjobau.com/job/3rwfvw