Postdoctoral Research Associate in Logical Foundations of Planning

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. ... We are currently seeking applications for a Postdoctoral Research Associate in Logical Foundations of Planning.

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.