Alignerr is seeking a Formal Verification Scientist to translate rigorous mathematical proofs into machine-verifiable Lean 4 formalizations. This fully remote role offers flexibility, allowing you to work autonomously on complex AI projects. Candidates should possess a Master’s degree or higher in Mathematics or a related field, with a strong foundation in proof writing and hands-on experience with proof systems like Lean 4. Join at the forefront of AI research, contributing to pioneering formal verification initiatives.
#J-18808-Ljbffr