More jobs:
Remote Lean Formalization Architect
Remote / Online - Candidates ideally in
Birmingham, West Midlands, B1, England, UK
Listed on 2026-06-01
Birmingham, West Midlands, B1, England, UK
Listing for:
Alignerr
Remote/Work from Home
position Listed on 2026-06-01
Job specializations:
-
Engineering
Artificial Intelligence, Mathematics
Job Description & How to Apply Below
Alignerr is seeking Applied Formal Methods Researchers to translate mathematical arguments into machine-verifiable Lean 4 formalizations. This fully remote role offers flexible hours and engages with cutting-edge AI research.
The ideal candidate will hold a Master’s degree in Mathematics or related fields and have experience with formal proof systems like Lean
4. Join us to redefine the boundaries of mathematical reasoning and AI capability.
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:
×