More jobs:
Remote Lean Formal Methods Researcher
Remote / Online - Candidates ideally in
Glasgow, Glasgow City Area, G1, Scotland, UK
Listed on 2026-03-11
Glasgow, Glasgow City Area, G1, Scotland, UK
Listing for:
Alignerr
Remote/Work from Home
position Listed on 2026-03-11
Job specializations:
-
Research/Development
Research Scientist, Data Scientist
Job Description & How to Apply Below
A leading AI partnership firm is seeking an Applied Formal Methods Researcher to translate informal mathematical proofs into formal verifications using Lean, among other systems. This remote position involves collaborating with cutting-edge AI research teams, focusing on advancing formal verification capabilities. The ideal candidate has a Master's degree and strong skills in proof writing, along with hands-on experience with formal proof languages.
Competitive pay and flexible work arrangements are provided.
#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:
×