Alignerr is seeking Formal Verification Scientists to work remotely on cutting-edge AI projects. This role involves translating complex mathematical proofs into Lean 4 formalizations, collaborating with AI researchers, and pushing the boundaries of proof assistant capabilities. Candidates should hold a Master's degree in Mathematics or a related field, have strong proof writing skills, and experience with Lean or similar tools. Enjoy the flexibility of remote work while contributing to advancing mechanized mathematics.
#J-18808-Ljbffr