More jobs:
Remote Formal Verification Scientist; Lean 4 & Mathlib
Remote / Online - Candidates ideally in
City of Edinburgh, Edinburgh, City of Edinburgh Area, EH1, Scotland, UK
Listed on 2026-01-04
City of Edinburgh, Edinburgh, City of Edinburgh Area, EH1, Scotland, UK
Listing for:
Alignerr
Remote/Work from Home
position Listed on 2026-01-04
Job specializations:
-
IT/Tech
Mathematics
Job Description & How to Apply Below
Location: City of Edinburgh
A technology-focused company is seeking a Formal Verification Scientist to translate informal mathematical proofs into formal contexts, especially using Lean. Ideal candidates will have a Master’s degree in Mathematics or related fields and experience with proof languages. Responsibilities include analyzing mathematical proofs and collaborating on formal verification projects.
This role offers competitive hourly pay and flexible remote work options, fostering an environment for innovation in 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:
×