Lean 4 Formal Verification Scientist (Mathlib) - Remote

A leading AI partnership firm seeks a Formal Verification Scientist specializing in Lean 4 and Mathlib. The role involves translating mathematical proofs for AI research and requires a Master's degree in a relevant area. Candidates should possess robust proof writing skills and experience with formal proof languages. Offering competitive pay and the opportunity to work alongside industry leaders, this flexible position is ideal for driven mathematicians looking to advance mechanized mathematics. #J-18808-Ljbffr