More jobs:
Researcher — Lean 4 & Formal Proof Systems; Remote
Remote / Online - Candidates ideally in
Birmingham, West Midlands, B1, England, UK
Listed on 2026-01-04
Birmingham, West Midlands, B1, England, UK
Listing for:
Alignerr
Remote/Work from Home
position Listed on 2026-01-04
Job specializations:
-
IT/Tech
Data Scientist
Job Description & How to Apply Below
A leading technology company is seeking a Researcher specializing in Lean 4 and formal proof systems. This remote role involves translating informal mathematical proofs, maintaining proof libraries, and collaborating with researchers. Candidates should have a Master’s degree in Mathematics or a similar field, along with hands-on experience with proof languages like Lean. Competitive pay and flexibility in hours are offered, along with opportunities for collaboration with advanced AI research teams.
#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:
×