More jobs:
Lean Formal Methods Researcher - Remote
Remote / Online - Candidates ideally in
Birmingham, West Midlands, B1, England, UK
Listed on 2026-02-28
Birmingham, West Midlands, B1, England, UK
Listing for:
Alignerr
Remote/Work from Home
position Listed on 2026-02-28
Job specializations:
-
Research/Development
Research Analyst, Data Scientist -
IT/Tech
Data Scientist
Job Description & How to Apply Below
A research-focused organization is looking for an Applied Formal Methods Researcher to enhance formal verification processes. The ideal candidate will have a Master's degree in Mathematics or a related field and deep knowledge of proof writing, especially with Lean. Responsibilities include translating informal proofs into structured formalizations and analyzing proofs for gaps. Enjoy competitive pay, flexible remote work, and the chance to collaborate on advanced AI projects.
#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:
×