Research Scientist — Auto-Formalisation (London)

Stream: job postings

[Cris Salvi]

We're a London-based team working on AI + formal mathematics (Lean). We're hiring research scientist(s) to work on auto-formalisation of research-level mathematics, alongside leaders of major formalisation projects and internationally renowned mathematicians. Lean and/or AI-aided theorem proving experience highly desirable. Must be available to work on-site in London.
If interested, please DM me — happy to chat privately.