Remote Lean 4 Formal Verification Researcher

Alignerr is seeking mathematicians and formal verification specialists to translate mathematical proofs into machine-verifiable Lean 4 proofs. This remote contract role requires a Master's degree or higher in Mathematics and strong proof writing skills. Responsibilities include analyzing proofs, improving formalization strategies, and collaborating with researchers. Ideal candidates have experience with Lean and a passion for mechanized mathematics. Enjoy flexibility, autonomy, and meaningful work at the forefront of AI and formal mathematics.#J-18808-Ljbffr