Diese Anzeige wurde automatisch übersetzt. Die Originalplattform bearbeitet Bewerbungen; prüfen Sie vor der Bewerbung deren ursprüngliche Anforderungen. Originalseite ansehen
Setzen Sie Ihre Expertise in fortgeschrittener Mathematik an der Spitze der KI-Forschung ein – formalisieren Sie Beweise in Lean 4, vollständig remote und außergewöhnlich gut bezahlt....
Die Plattform liefert eine kurze Zusammenfassung. Lesen Sie alle Anforderungen in der Originalanzeige.
Die Quelle gibt nicht an, in welchen Ländern Bewerber leben oder arbeiten dürfen. Prüfen Sie die Originalanzeige. Remote-Arbeit und der angegebene Arbeitsort belegen keine Bewerbungsberechtigung.