Remote Lean 4 & Formal Proof Researcher

Alignerr is looking for a Researcher experienced in Lean 4 and formal proof systems to shape how AI verifies formal proofs. The role involves translating complex mathematical arguments into machine-verifiable proofs, addressing gaps in automated systems, and refining formalization processes.

Candidates should have a Master's degree in Mathematics or a related field, with strong skills in proof writing and familiarity with tools like Lean or Coq. This is a fully remote position allowing for flexible work hours.