A technology company is looking for a Formal Verification Scientist to translate informal mathematical proofs into structured formalizations using systems like Lean. The ideal candidate will possess a Master's degree in Mathematics or a related field, and have experience in rigorous proof writing. This remote position offers competitive pay and flexibility, ideal for someone passionate about formal verification and mechanized mathematics. Join a cutting-edge team and contribute to innovative AI projects. #J-18808-Ljbffr