More jobs:
Remote Formal Verification Scientist; Lean 4 & Mathlib
Remote / Online - Candidates ideally in
Birmingham, West Midlands, B1, England, UK
Listed on 2026-01-02
Birmingham, West Midlands, B1, England, UK
Listing for:
Alignerr
Remote/Work from Home
position Listed on 2026-01-02
Job specializations:
-
Science
Research Scientist
Job Description & How to Apply Below
A cutting-edge AI research company is seeking a Formal Verification Scientist to write and formalize advanced mathematical proofs using Lean. This remote position offers competitive pay and is ideal for individuals passionate about formal verification. Responsibilities include translating informal proofs into Lean and analyzing proof structures, while qualifications require a Master's degree in a relevant field and experience in proof writing.
Candidates will thrive in a collaborative environment where innovation is encouraged.
#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:
×