Company: Alignerr
Location: London
Job Description:
Alignerr is seeking a Researcher to work on Lean 4 and formal proof systems. You will translate informal mathematical proofs into machine-verifiable formalizations, contributing to cutting-edge AI research.
With a strong foundation in rigorous proofs, you will collaborate with AI researchers and work flexibly in a fully remote environment, contributing to impactful projects at the frontier of formal verification and AI.
#J-18808-Ljbffr…
Posted: July 8th, 2026