Overview
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) and Dr Mai Luo (ML Systems), and will collaborate with team members based at the School of Informatics, University of Edinburgh, and the University of Cambridge. This position includes funding for international travel to attend leading conferences. This post is advertised as full-time (35 hours per week); we are open to considering part-time or flexible working patterns and to hybrid working (on a non-contractual basis) that combines a mix of remote and on-campus working.
Responsibilities
* Conducting cutting-edge research on the design of semi-formal proofs that effectively interface LLMs with proof assistants.
* Designing and implementing an RL/agentic framework to leverage multiple forms of feedback within a theorem-proving environment.
Qualifications
* A PhD or near completion in PL, Formal Verification, NLP, ML, or related areas of computer science / engineering / mathematics.
* Track record of research excellence, evidenced by e.g. preprints / publication record.
* Experience in working with large formalisation project or implementation of foundation models / LLMs, evidenced by e.g. projects on Github.
* Willingness to explore and adapt to new tasks (both LLM and AI4Math are new fields, and so much to learn from scratch).
* Good written and communication skills.
Context & Diversity
The University of Edinburgh holds a Silver Athena SWAN award in recognition of our commitment to advance gender equality in higher education. We are members of the Race Equality Charter and we are also Stonewall Scotland Diversity Champions, actively promoting LGBT equality.
Benefits
* A competitive salary
* An exciting, positive, creative, challenging and rewarding place to work.
* To be part of a diverse and vibrant international community
* Comprehensive Staff Benefits, such as a generous holiday entitlement, competitive pension schemes, staff discounts, and family-friendly initiatives. Check out the full list on our staff benefits page and use our reward calculator to discover the total value of your pay and benefits
#J-18808-Ljbffr