Alignerr is looking for a Formal Verification Scientist to work remotely on translating mathematical proofs into machine-verifiable Lean 4 formalizations. This role is ideal for mathematicians passionate about formal systems and automation.
Key responsibilities include analyzing informal proofs, collaborating with AI researchers, and developing formalizations to push the capabilities of proof assistants. A strong background in formal proof writing and experience with Lean 4 are essential.
#J-18808-Ljbffr