Bilingual Malay Psychiatrist
micro1
$100–200 / hr
Science
Malay
Posted 2 days agoWe may earn a referral fee if you're hired. It never costs you anything.
Lean Engineer, Formal Mathematics (Lean 4, Mathlib, Theorem Proving)
MercorPosted 2 days ago
- Pay
- $90–110 / hr
- Domain
- Science
- Languages
- Not specified
- Open to
- No country limits listed
A leading AI lab is looking for Lean engineers, formal mathematicians and proof engineers to help its AI models state and prove mathematics correctly.
Full details and the application are on Mercor's site.
How joining Mercor works
Apply to individual listings; many include an AI interview.
About Mercor