Postdoctoral Researcher: Logical Foundations of Planning

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

Job summary

The University of Sydney invites applications for a Postdoctoral Research Associate in Logical Foundations of Planning. Based at Camperdown: work with the Sydney Algorithms and Computing Theory group (SACT) and with Dr Rubin, mentoring HDR and Honours students.

You will conduct independent research, publish in top venues, and participate in seminars while upholding the university's health and safety guidelines.

Qualifications

• PhD (or near completion) in computer science or related field.
• Solid background in theoretical computer science, mathematical logic, and automata-theory/formal-language theory.
• Proven independent research with high-quality publications.
• Excellent interpersonal and communication skills.
• Commitment to fostering an inclusive and respectful workplace.

Responsibilities

• conduct high-quality research independently and collaboratively to advance the state-of-the-art in logical foundations of planning
• publish results in leading international conferences and journals
• mentor HDR and Honours students
• participate in the broader SACT group seminars and reading groups
• adhere to health, safety and ethical guidelines of the University

Skills

Theoretical CS

Mathematical logic

Automata theory

Independent research

Publications

Communication skills

Education

PhD in computer science

Job description

The University of Sydney invites applications for a Postdoctoral Research Associate in Logical Foundations of Planning. Based at Camperdown: work with the Sydney Algorithms and Computing Theory group (SACT) and with Dr Rubin, mentoring HDR and Honours students.

You will conduct independent research, publish in top venues, and participate in seminars while upholding the university's health and safety guidelines.