Über die Stelle
Setzen Sie Ihre mathematische Expertise an der Spitze der KI ein. Formalisieren Sie fortgeschrittene Beweise in Lean 4, gestalten Sie die Zukunft der mechanisierten Mathematik mit – vollständig...
Die Plattform liefert eine kurze Zusammenfassung. Lesen Sie alle Anforderungen in der Originalanzeige.