Remote Lean 4 Formal Verification Scientist (Mathlib)

Alignerr is seeking a Formal Verification Scientist to work remotely on cutting-edge AI projects. In this role, you will translate advanced mathematical proofs into machine-verifiable Lean 4 formalizations.

The ideal candidate holds a Master’s degree or higher in a related field and has strong expertise in proof writing and Lean. This is a flexible contract role with the potential for continued work on innovative projects.