Postdoctoral Research Associate

University of Sydney; Sydney; On-site; AUD 118,000 - 126,000; Full time

Job summary

University of Sydney invites applications for a Postdoctoral Research Associate in Logical Foundations of Planning. The role involves researching with Dr Rubin within the Sydney Algorithms and Computing Theory group, presenting at flagship conferences, and mentoring HDR and Honours students.

Located at Camperdown Campus, the position is a two-year fixed-term, full-time appointment with base salary at Academic Level A plus 17% superannuation.

Qualifications

• PhD (or near completion) in Computer Science (or closely related field).
• Strong background in theoretical computer science and logic.
• Proven research record with publications.

Responsibilities

• Conduct high-quality research independently and with the supervisor in logical foundations of planning.
• Publish research outcomes in leading international conferences and journals.
• Engage with the SACT group activities (seminars, reading groups).
• Mentor HDR and Honours students.
• Adhere to university health, safety, and ethical guidelines.

Skills

Theoretical CS

Mathematical logic

Automata/ formal languages

Independent research

Mentoring students

Communication

Education

PhD (or near completion) in Computer Science

Job 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 $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.

Key responsibilities

• 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 role 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.