Remote Lean 4 Formal Methods Researcher

Alignerr is searching for an Applied Formal Methods Researchers to work remotely, focusing on formalizing advanced mathematical proofs in Lean 4. The role requires a strong mathematical background and experience in formal verification tools.

Ideal candidates will hold a Master’s degree in a relevant field and possess skills in proof writing and analysis. Join us to contribute to cutting-edge AI projects while enjoying freelance autonomy and a flexible work schedule.