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