More jobs:
Remote Lean & Formal Proof Specialist AI Reasoning
Remote / Online - Candidates ideally in
Belfast, County Antrim, BT1, Northern Ireland, UK
Listed on 2026-07-08
Belfast, County Antrim, BT1, Northern Ireland, UK
Listing for:
Alignerr
Remote/Work from Home
position Listed on 2026-07-08
Job specializations:
-
Design & Architecture
AI Business & Operations, Mathematics
Job Description & How to Apply Below
Alignerr is seeking a Mathematical Formalization Specialist to work remotely on advanced AI reasoning. The role involves translating informal proofs into formal systems such as Lean, enhancing clarity and correctness.
Candidates must have a strong foundation in rigorous mathematics, proven experience with formal verification tools, and a passion for mechanized mathematics. This flexible contract is ideal for independent thinkers ready to push the boundaries of AI and mathematics.
#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:
×