Alignerr is seeking mathematicians with serious formal verification experience to translate advanced mathematical arguments into machine-verifiable Lean 4 proofs. This remote, hourly contract role targets proofs that push the current limits of automated proof assistants, collaborating with AI teams to understand where these tools struggle and how to improve them.
You will translate informal arguments into Lean 4 formalizations, analyze proofs across multiple domains, and develop reproducible
#J-18808-LjbffrLean 4 Formal Verification Scientist - Remote in sheffield at Unknown Company
This position is listed as contract and able to be worked remotely.