Remote Lean 4 Formal Methods Researcher

Alignerr seeks a formal methods researcher to translate complex mathematical arguments into machine-verifiable proofs in Lean 4. This fully remote role is ideal for mathematicians passionate about formal verification and the future of mechanized mathematics. Responsibilities include collaborating with AI researchers, constructing formal proofs, and analyzing assumptions in domain-specific contexts. Successful candidates must possess a Master's degree in a relevant field and have extensive experience with Lean or similar proof assistants. #J-18808-Ljbffr