More jobs:
Remote Lean Proof Specialist AI Reasoning
Remote / Online - Candidates ideally in
Singapore
Listed on 2026-06-13
Singapore
Listing for:
Alignerr
Remote/Work from Home
position Listed on 2026-06-13
Job specializations:
-
Design & Architecture
Artificial Intelligence, Mathematics
Job Description & How to Apply Below
Alignerr is seeking a Mathematical Formalization Specialist to work on formalizing mathematical proofs into machine-verifiable formats. This role offers the flexibility of remote work, allowing you to engage in intellectually stimulating projects within AI and proof systems.
The ideal candidate will have a Master's degree or higher in Mathematics or a related field and a strong foundation in rigorous proof writing. Experience with Lean and related formal systems is essential. Join us to contribute to cutting-edge AI research!
#J-18808-LjbffrTo View & Apply for jobs on this site that accept applications from your location or country, tap the button below to make a Search.
(If this job is in fact in your jurisdiction, then you may be using a Proxy or VPN to access this site, and to progress further, you should change your connectivity to another mobile device or PC).
(If this job is in fact in your jurisdiction, then you may be using a Proxy or VPN to access this site, and to progress further, you should change your connectivity to another mobile device or PC).
Search for further Jobs Here:
×