Remote Lean 4 Formal Proof Researcher

A leading AI research organization is seeking a mathematician/formal verification specialist to translate sophisticated mathematical proofs into machine-verifiable formalizations using Lean 4. This fully remote role allows for 10-40 hours of commitment per week, offering flexibility and intellectual stimulation. The ideal candidate will hold a Master's degree or higher in a relevant field and possess extensive experience with proof writing and formal systems, particularly Lean 4. Join us in advancing formal verification and AI reasoning.#J-18808-Ljbffr