Email Gateway (Nov 14 2025 at 03:30): Email Gateway (Nov 14 2025 at 03:30):From: Cezary Kaliszyk <cezarykaliszyk@gmail.com>
We invite applications for multiple postdoctoral positions as well as
PhD positions as part of an AI and Reasoning project at the University
of Melbourne, School of Computer Science. The group focuses on
automated reasoning, formal proof, and learning-assisted proof
guidance.
For postdoc positions, a solid background in formal proof or automated
reasoning is highly desirable. Applicants for a PhD position should
hold an MSc or a BSc with Honours in computer science or mathematics.
The project aims to advance powerful automated mathematical reasoning
combined with formal proof. It focuses on developing effective AI
guidance for higher-order reasoning systems, improving proof advice
and automation for dependently typed foundations, and integrating
strong guided provers into modern proof assistants optimized for large
libraries.
For further information please contact Cezary Kaliszyk
(ckaliszyk@unimelb.edu.au).
One postdoc position is currently open for immediate hiring, with
further positions to be filled in the succeeding months - please email
your interest as early as possible:
https://unimelb.wd105.myworkdayjobs.com/UoM_External_Career/job/Parkville/Research-Fellow-in-Computer-Science_JR-005382
Last updated: Dec 02 2025 at 16:32 UTC