Lean Formal Methods Researcher - Remote
Remote / Online - Candidates ideally in
Glasgow, Glasgow City Area, G1, Scotland, UK
Listed on 2026-02-28
Glasgow, Glasgow City Area, G1, Scotland, UK
Listing for:
Alignerr
Remote/Work from Home
position Listed on 2026-02-28
Job specializations:
-
Research/Development
Job Description & How to Apply Below
A research-focused technology firm is seeking an Applied Formal Methods Researcher to translate mathematical proofs into formalizations using Lean. This remote role requires a strong mathematical background, with a Master's degree or higher, and experience in formal proof languages. The ideal candidate is passionate about formal verification and enjoys tackling challenging proofs, contributing to cutting-edge AI projects while enjoying competitive pay and flexibility.
#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:
×