Vacancies

Apply for a role in the School of Informatics.

The School of Informatics is ranked #1 in the UK for research power in Computer Science and Informatics Times Higher Education ranking based on REF2021 results. The School is consistently ranked in the top 30 world University rankings for computer science. Our staff are central to our success.

With over 300 academic and research staff, 130 professional services staff and over 2,000 students, Informatics is the second largest School in the College of Science and Engineering.

The rich cultural diversity of our community reflects the international nature of our staff and student body: around 100 different countries, from Algeria to Venezuela, are represented among our staff. We aim to ensure that our culture and systems support flexible and family-friendly working and recognise and value diversity across all our staff and students. The School has an active programme offering support and professional development for all staff, providing mentoring, training, and networking opportunities.

All our job vacancies are advertised through the central University of Edinburgh Jobs webpage.

Research Associate

The project is fully funded by the AI for Math Fund from Renaissance Philanthropy and XTX Markets. Its central goal is the development of Sketchpad, an AI-powered system that enables users to navigate semi-formal proofs (i.e., formal sketches), with Lean and Isabelle serving as the formal backends.

The PDRA will be jointly supervised by Dr Wenda Li (AI for Mathematics), Dr Mai Luo (ML Systems), and Prof. Larry Paulson (Formal Logic), and will collaborate with team members based at the School of Informatics, University of Edinburgh, and the University of Cambridge.

Job Identification 13290

Contract Type Fixed Term

Apply Before 20 November 2025


Related links

This article was published on