More jobs:
Lean Formalization Architect
Job in
San Francisco, San Francisco County, California, 94199, USA
Listed on 2026-03-04
Listing for:
Alignerr
Full Time
position Listed on 2026-03-04
Job specializations:
-
Engineering
Mathematics
Job Description & How to Apply Below
A leading AI partner in San Francisco is seeking a Mathematical Formalization Specialist to work at the intersection of mathematics and computer science. This role focuses on translating informal mathematical proofs into formal, machine-verifiable structures using Lean and similar proof systems. Ideal candidates should have a Master's degree in a relevant field and experience with mathematical reasoning, proof writing, and formal verification tools.
Join us to advance AI reliability and formalization in groundbreaking ways.
#J-18808-Ljbffr
To 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:
×