More jobs:
Remote Lean Formal Methods Researcher
Remote / Online - Candidates ideally in
Greater London, London, Greater London, W1B, England, UK
Listed on 2026-06-06
Greater London, London, Greater London, W1B, England, UK
Listing for:
Alignerr
Remote/Work from Home
position Listed on 2026-06-06
Job specializations:
-
Research/Development
Research Analyst, Academic, Artificial Intelligence
Job Description & How to Apply Below
Location: Greater London
Alignerr is seeking Applied Formal Methods Researchers to transform informal mathematical proofs into formal Lean 4 representations. This role offers the chance to work at the forefront of mathematics and AI research, in a fully remote and flexible environment.
The ideal candidate holds a Master's degree and has extensive experience with formal verification tools. The position requires translating informal arguments into structured proofs while collaborating with research teams.
#J-18808-LjbffrNote 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:
×