Job Description

A leading AI research partner is looking for an Applied Formal Methods Researcher. In this remote role, you will focus on translating informal mathematical arguments into machine-verifiable formalizations. Candidates should have a Master’s degree or higher in a relevant field and hands-on experience with formal proof languages, especially Lean. You'll work on rigorous proof construction and collaborate with researchers to improve formal verification pipelines. Competitive pay and flexibility are part of the offer.
#J-18808-Ljbffr

Apply for this Position

Ready to join Alignerr? Click the button below to submit your application.

Submit Application