Lean-Ingenieur für formale Mathematik (Lean 4, Mathlib, Theorem Proving)
Vergütung: 90 $ bis 110 $ / Stunde
- Vertrag: Teilzeit
- Wer sich bewerben kann: Weltweit offen
Alle Remote-Jobangebote, täglich aktualisiert.
Vergütung: 90 $ bis 110 $ / Stunde
Vergütung: 100 $ / Stunde
Vergütung: 70 $ / Stunde
Vergütung: 100 $ bis 120 $ / Stunde
Vergütung: 100 $ bis 120 $ / Stunde
Vergütung: 100 $ bis 120 $ / Stunde
Vergütung: 100 $ bis 120 $ / Stunde
Vergütung: 80 $ bis 110 $ / Stunde
Vergütung: 80 $ bis 110 $ / Stunde
Vergütung: 80 $ bis 110 $ / Stunde
Vergütung: 80 $ bis 110 $ / Stunde
Vergütung: 80 $ bis 110 $ / Stunde
Vergütung: 80 $ bis 110 $ / Stunde
Vergütung: 80 $ bis 110 $ / Stunde
Vergütung: 80 $ bis 110 $ / Stunde
Vergütung: 80 $ bis 110 $ / Stunde
Vergütung: 50 $ bis 100 $ / Stunde
Vergütung: 70 $ bis 110 $ / Stunde
Vergütung: 100 $ bis 200 $ / Stunde
Vergütung: 45 $ bis 60 $ / Stunde
Vergütung: 100 $ bis 140 $ / Stunde