Alignerr is seeking an Applied Formal Methods Researcher to formalize challenging proofs in Lean 4 for state-of-the-art AI systems. This is a fully remote, hourly contract with flexible hours.
You will translate informal proofs into machine-verifiable Lean scripts, analyze complex proofs, and stress-test proof assistants, collaborating with researchers to advance formal verification in AI. The role suits mathematicians with a Master’s degree and deep experience in Lean, Coq, Isabelle/HOL, or
#J-18808-LjbffrRemote Lean 4 Formal Methods Researcher in sheffield at Unknown Company
This position is listed as contract and able to be worked remotely.