Remote Lean Proof Scientist (Mathlib)

A leading AI research partnership seeks a Formal Verification Scientist to translate mathematical proofs into machine-verifiable formats. This remote position requires a master's degree in Mathematics and extensive experience with proof assistants like Lean. Ideal candidates will have a strong foundation in proof writing and a passion for formal verification. Enjoy competitive compensation and flexible hours while collaborating on cutting-edge AI projects. J-18808-Ljbffr