Über die Stelle
Setzen Sie Ihre Beherrschung formaler Beweise an der Spitze der KI ein. Formalisieren Sie fortgeschrittene Mathematik in Lean 4 – remote, flexibel und außergewöhnlich gut b...
Die Plattform liefert eine kurze Zusammenfassung. Lesen Sie alle Anforderungen in der Originalanzeige.