Diese Anzeige wurde automatisch übersetzt. Die Originalplattform bearbeitet Bewerbungen; prüfen Sie vor der Bewerbung deren ursprüngliche Anforderungen. Originalseite ansehen
Polens erstklassige mathematische Tradition gehört an die Spitze der KI – formalisieren Sie fortgeschrittene Beweise in Lean 4, vollständig remote und nach Ihrem eigenen Zeitplan...
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.