Alignerr is seeking a Researcher specializing in Lean 4 and formal proof systems to transform complex mathematical arguments into machine-verifiable proofs. You will work with AI researchers in a fully remote setup, tackling intricate problems in formal verification.

The ideal candidate will hold a Master's degree in Mathematics or a related field and have hands-on experience with Lean. This role offers freelancers the flexibility to work independently while contributing to meaningful AI research.