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 (ckalis...@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 _______________________________________________ hol-info mailing list hol-info@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/hol-info
