Remote Lean 4 Formal Proof Researcher for AI

Alignerr is seeking a Researcher specializing in Lean 4 and formal proof systems, focusing on AI training to enhance mathematical proofs into machine-verifiable formats. This fully remote and flexible role values deep mathematical expertise, encouraging candidates to transform complex arguments into structured proofs. Ideal applicants hold a Master’s degree in Mathematics or a related field, possess strong skills in formal verification, and are enthusiastic about the future of mechanized mathematics. #J-18808-Ljbffr