A leading AI research partner is seeking a Formal Verification Scientist to translate informal mathematical proofs into Lean and verify formalizations. This role requires a Master’s degree or higher in Mathematics, strong proof writing skills, and hands-on experience with systems like Lean. The position offers competitive pay and flexible remote work with potential for contract extension on cutting-edge AI projects. Ideal for mathematicians enthusiastic about pushing the limits of formal verification and mechanized mathematics.
#J-18808-Ljbffr