7 job opportunities for mathematician in Singapore updated today
job offers found
AlignerrMathematical Formalization Specialist (Lean / Formal Proof Systems) About The Role What if your mathematical expertise could directly shape how AI reasons, verifies, and understands formal logic? We're looking for mathematicians with deep proof-writing experience to translate complex human arguments
Mathematical Formalization Specialist (Lean / Formal Proof Systems) About The Role What if your mathematical expertise could directly shape how AI reasons, verifies, and understands formal logic? We're looking for mathematicians with deep proof-writing experience to translate complex human arguments
Mathematical Formalization Specialist (Lean / Formal Proof Systems) About The Role What if your mathematical expertise could directly shape how AI reasons, verifies, and understands formal logic? We're looking for mathematicians with deep proof-writing experience to translate complex human arguments
Mathematical Formalization Specialist (Lean / Formal Proof Systems) About The Role What if your mathematical expertise could directly shape how AI reasons, verifies, and understands formal logic? We're looking for mathematicians with deep proof-writing experience to translate complex human arguments
Mathematical Formalization Specialist (Lean / Formal Proof Systems) About The Role What if your mathematical expertise could directly shape how AI reasons, verifies, and understands formal logic? We're looking for mathematicians with deep proof-writing experience to translate complex human arguments
Mathematical Formalization Specialist (Lean / Formal Proof Systems) About The Role What if your mathematical expertise could directly shape how AI reasons, verifies, and understands formal logic? We're looking for mathematicians with deep proof-writing experience to translate complex human arguments
Mathematical Formalization Specialist (Lean / Formal Proof Systems) About The Role What if your mathematical expertise could directly shape how AI reasons, verifies, and understands formal logic? We're looking for mathematicians with deep proof-writing experience to translate complex human arguments
$43,000 – $68,000per year
Estimation confidence: Low
Estimate based on market data. Actual salaries may vary depending on experience, company, and location.
View full salary data →
