Job Description

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.

#J-18808-Ljbffr

Ready to Apply?

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

Submit Application