Ingegnere Lean, Matematica Formale (Lean 4, Mathlib, Teoremi di Dimostrazione)
Compenso: da 90 USD a 110 USD / ora
- Contratto: Part time
- Chi può candidarsi: Aperta in tutto il mondo
Tutte le offerte di lavoro da remoto, aggiornate ogni giorno.
Compenso: da 90 USD a 110 USD / ora
Compenso: 100 USD / ora
Compenso: 70 USD / ora
Compenso: da 100 USD a 120 USD / ora
Compenso: da 100 USD a 120 USD / ora
Compenso: da 100 USD a 120 USD / ora
Compenso: da 100 USD a 120 USD / ora
Compenso: da 80 USD a 110 USD / ora
Compenso: da 80 USD a 110 USD / ora
Compenso: da 80 USD a 110 USD / ora
Compenso: da 80 USD a 110 USD / ora
Compenso: da 80 USD a 110 USD / ora
Compenso: da 80 USD a 110 USD / ora
Compenso: da 80 USD a 110 USD / ora
Compenso: da 80 USD a 110 USD / ora
Compenso: da 80 USD a 110 USD / ora
Compenso: da 50 USD a 100 USD / ora
Compenso: da 70 USD a 110 USD / ora
Compenso: da 100 USD a 200 USD / ora
Compenso: da 45 USD a 60 USD / ora
Compenso: da 100 USD a 140 USD / ora