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 ([email protected]). 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 _______________________________________________ hol-info mailing list [email protected] https://lists.sourceforge.net/lists/listinfo/hol-info
