Remote Researcher — Lean 4 & Formal Proof Systems

Alignerr is seeking a Researcher with expertise in Lean 4 and formal proof systems to advance AI reasoning. This fully remote role allows for flexible hours between 10–40 hours per week, focusing on translating complex mathematical proofs into machine-verifiable formats.

Applicants should hold a Master's degree in Mathematics or a closely related field, with strong skills in formal verification and proof writing. Join us to contribute to cutting-edge AI projects and enhance formal verification methodologies.