Alignerr is seeking a Formal Verification Scientist to translate advanced mathematical arguments into machine-verifiable Lean 4 proofs. This fully remote position offers flexible hours, catering to mathematicians at the intersection of rigorous proof construction and AI research.
The ideal candidate will have a Master's degree in Mathematics, demonstrated experience with Lean, and a passion for formal verification. The role involves collaborating with AI researchers and constructing highly readable proof scripts.
#J-18808-Ljbffr