← Volver a Trabajos
STEM Tutoring
$170 - $200 por hora
Experto/a en formalización matemática con Lean 4
Solicitar Ahora → →SignalGigs puede recibir una comisión por recomendación si te postulas a través de este enlace.
Descripción
Experto/a en formalización matemática con Lean 4
Día a día
- Se buscan expertos/as en Lean 4 para apoyar proyectos de entrenamiento de IA centrados en razonamiento matemático, verificación y lógica formal
Enfoque
- Apoyar proyectos de entrenamiento de IA centrados en razonamiento matemático, verificación y lógica formal
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
Payer & Market Access Expert — Gross-to-Net & Formulary Strategy
$175 - $200 por horaBiotech Investment Analyst — Drug Asset & Company Assessment
$120 - $200 por horaSenior Economics Research Expert
$150 - $200 por horaEpidemiologist — Patient Population Sizing
$150 - $175 por horaMedicare Advantage Brokers Survey – Agent & Enrollment Insights
$140 pago únicoPay Data
→How Much Do AI Jobs Pay?
Guide
→How to Get Started
Experto/a en formalización matemática con Lean 4
$170 - $200 por hora