Über die Stelle
Verdienen Sie bis zu $150/Std. für die Formalisierung modernster mathematischer Beweise in Lean – helfen Sie, die Grenzen des KI-Denkens zu erweitern. Remote und flexibel....
Die Plattform liefert eine kurze Zusammenfassung. Lesen Sie alle Anforderungen in der Originalanzeige.