Über die Stelle
Verdienen Sie bis zu $200/Std. für die Formalisierung fortgeschrittener Mathematik in Lean 4 – arbeiten Sie an der Spitze der formalen Verifikation und gestalten Sie die Zukunft des KI-Denkens mit....
Die Plattform liefert eine kurze Zusammenfassung. Lesen Sie alle Anforderungen in der Originalanzeige.