← Volver a Trabajos
STEM Tutoring
$50 - $150 por hora
Especialista en formalización matemática (Lean / sistemas de prueba formal)
Solicitar Ahora → →SignalGigs puede recibir una comisión por recomendación si te postulas a través de este enlace.
Descripción
Especialista en formalización matemática (Lean / sistemas de prueba formal)
Día a día
- Escribe y formaliza demostraciones matemáticas avanzadas en Lean para investigación avanzada en IA
- Ideal para matemáticos/as apasionados/as por la verificación formal y por ampliar los límites
Enfoque
- Investigación avanzada en IA
Details
Empresa contratante
Category
STEM Tutoring
Ubicación
Remoto
Employment Type
Independent Contractor
Publicado
Solicitar Ahora →
SignalGigs puede recibir una comisión por recomendación si te postulas a través de este enlace.
Oportunidades Relacionadas
Pay Data
→How Much Do AI Jobs Pay?
Guide
→How to Get Started
Especialista en formalización matemática (Lean / sistemas de prueba formal)
$50 - $150 por hora