Job Description

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.

#J-18808-Ljbffr

Ready to Apply?

Take the next step in your AI career. Submit your application to Alignerr today.

Submit Application