More jobs:
Lean Formal Methods Researcher - Remote
Job in
Glasgow, Glasgow City Area, G1, Scotland, UK
Listed on 2026-02-16
Listing for:
Alignerr
Full Time
position Listed on 2026-02-16
Job specializations:
-
Energy/Power Generation
Mathematics
Job Description & How to Apply Below
A technology firm is seeking an Applied Formal Methods Researcher to translate informal mathematical proofs into precise formalizations. The ideal candidate has a Master’s degree in Mathematics or a related field, with hands-on experience in Lean and strong skills in rigorous proof writing. This remote position offers competitive pay, flexibility, and the chance to work on cutting-edge AI projects. Join the team if you are passionate about formal verification and mechanized mathematics.
#J-18808-Ljbffr
Note that applications are not being accepted from your jurisdiction for this job currently via this jobsite. Candidate preferences are the decision of the Employer or Recruiting Agent, and are controlled by them alone.
To Search, View & Apply for jobs on this site that accept applications from your location or country, tap here to make a Search:
To Search, View & Apply for jobs on this site that accept applications from your location or country, tap here to make a Search:
Search for further Jobs Here:
×