Job Description

A leading mathematical research organization is seeking an Applied Formal Methods Researcher to translate informal mathematical arguments into machine-verifiable formalizations using Lean. This remote position requires a Master's degree in Mathematics or a related field, along with strong proof writing skills and experience with proof assistants. Join a team focused on advancing formal verification in AI projects with competitive pay and a flexible work environment.
#J-18808-Ljbffr

Ready to Apply?

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

Submit Application