Alignerr is seeking a Formal Verification Scientist to translate advanced mathematical proofs into Lean 4, enhancing how AI systems understand formal proofs. This role offers the flexibility of remote work and is perfect for mathematicians passionate about rigorous proofs and mechanized mathematics. Candidates should hold a Master's degree or higher in Mathematics or a related field and have experience with Lean or similar proof systems. Join us to contribute to cutting-edge AI projects in a fully remote environment.
#J-18808-Ljbffr