← Voltar aos Trabalhos
Descrição
Mathematician (Foundations / Formalization)
Day-to-day
- Join the platform to formalize advanced mathematical arguments in Lean 4, contributing to frontier AI research and large-the team formal libraries like mathl
Focus
- Formalize advanced mathematical arguments in Lean 4, contributing to frontier AI research and large-the team formal libraries like mathl
Details
Category
STEM Tutoring
Location
Remote
Employment Type
Freelance
Posted
03/04/2026
Oportunidades Relacionadas
Professores/Investigadores da área de STEM
$300 - $500 per hourProfissional da área nuclear
$180 - $300 per hourEspecialista em Engenharia Elétrica (Programa Super Star)
$100 - $300 per hourArquiteto de Sistemas de Segurança (Programa Super Star)
$100 - $300 per hourEspecialista em Biologia Translacional
$110 - $135 per hourReview
→Is Alignerr Legit?
Pay Data
→How Much Do AI Jobs Pay?
Guide
→How to Get Started