Alignerr is seeking Formal Verification Scientists who can translate advanced mathematics into machine-verifiable knowledge. This role focuses on enhancing formal verification pipelines and requires a Master's degree or higher in Mathematics or a related field. Successful candidates will have strong rigorous proof writing skills and experience with Lean or other proof systems. The position offers remote flexibility and the opportunity to work on cutting-edge AI projects alongside leading research labs, contributing to the future of mechanized mathematics.
#J-18808-Ljbffr