Remote Lean 4 Proof Engineer: Mathematical Formalization

Alignerr

ScreenedRemote

City of Edinburgh, Scotland

Posted 1 week ago

Apply Now

About the role

Alignerr is seeking a Lean 4 Proof Engineer to translate informal proofs into machine-verifiable Lean 4 formalizations. You will analyze proofs across domains, revealing gaps and formalizable sub-structures, and construct proofs that push the limits of current proof assistants.

You will collaborate with AI researchers, develop readable proof scripts, and guide proof decomposition and lemma choices while exploring where automated provers fail and why.

#J-18808-Ljbffr

About this listing

Screened by Joboru

This role passed our automated spam and quality filters and was active in our feed when last checked. Joboru is an aggregator — here is how we screen listings. If anything looks off, tell us.