Alignerr is seeking an Applied Formal Methods Researcher to translate mathematical proofs into machine-verifiable Lean 4 proofs. This is a fully remote, flexible role ideal for mathematicians passionate about formal verification.
Responsibilities include analyzing proofs, collaborating with researchers, and creating formalizations. Candidates should hold a Master's degree or higher in Mathematics or a related field and have experience with Lean 4.
#J-18808-Ljbffr