Company: Alignerr
Location: London
Job Description:
Alignerr is seeking Applied Formal Methods Researchers to formalize complex mathematical proofs in Lean 4. Ideal candidates will have a Master’s degree or higher in a relevant field and expertise in proof writing.
This is a fully remote, flexible contract role aimed at mathematicians who are passionate about formal verification. Responsibilities include transforming informal proofs into structured formalizations and collaborating on verification strategies.
The role offers freelance autonomy, meaningful work, and the chance to contribute to cutting-edge AI research.
#J-18808-Ljbffr…
Posted: July 9th, 2026