Multiple PhD Positions at the University of Melbourne

Stream: job postings

[Floris van Doorn]

I'm forwarding the job ad below

---

We invite candidates for multiple PhD student positions
(graduate researchers) to start in 2025 in Melbourne.
The research group focuses on automated reasoning, formal
proof, and learning-assisted proof guidance and advice.

A background in formal proof, machine learning, or automated
reasoning is an advantage. Candidates for a PhD position must
hold a MSc or BSc with Honors in computer science or mathematics.

Please contact Cezary Kaliszyk (ckaliszyk@unimelb.edu.au).

The city of Melbourne, consistently ranked as one of the world's most
livable cities, is nicely located along the Yarra River and the
beautiful coastline of Port Phillip Bay. The combination of urban
culture and accessible natural landscapes, from pristine beaches to
scenic parks, offers an exceptional quality of life. The University of
Melbourne is renowned for its academic excellence and is regularly
ranked as one of the best in the world.

For more information about the PhD positions see:

• https://study.unimelb.edu.au/find/courses/graduate/doctor-of-philosophy-engineering-and-it/
• https://study.unimelb.edu.au/how-to-apply/graduate-research

More information about the research topics see:

• https://ckaliszyk.github.io/
• https://findanexpert.unimelb.edu.au/profile/1063018-cezary-kaliszyk