Über die Stelle
Verdienen Sie bis zu $200/Std. für die Formalisierung fortgeschrittener mathematischer Beweise in Lean 4 für hochmoderne KI-Forschung. Remote, flexibel und ausgelegt auf ernsthafte Mathematiker...
Die Plattform liefert eine kurze Zusammenfassung. Lesen Sie alle Anforderungen in der Originalanzeige.