A leading AI research firm is seeking a Formal Verification Scientist to translate complex mathematical arguments into machine-verifiable proofs using Lean 4. This fully remote role requires a Master's degree in Mathematics or a related field, expertise in formal verification, and a strong background in proof writing. Responsibilities include analyzing proofs, collaborating with AI researchers, and improving formal verification processes. Flexible working hours are offered, and ongoing contract opportunities may arise.
#J-18808-Ljbffr