Remote Lean 4 Formalization Scientist (Mathlib)

A leading AI research company seeks a Formal Verification Scientist to work on cutting-edge AI models. This remote position offers $70-$150 per hour based on experience. Candidates should hold a Master’s degree or higher in Mathematics or a related field, with extensive experience in Lean and a passion for formal verification. Responsibilities include translating mathematical proofs into formal structures and collaborating with researchers on verification strategies. Join a team dedicated to innovation in mechanized mathematics and AI. #J-18808-Ljbffr