Über die Stelle
Lassen Sie sich dafür bezahlen, die Grenzen der formalen Mathematik zu erweitern – schreiben Sie Lean-Beweise, die herausfordern, was KI verifizieren kann. Vollständig remote, hochspezialisiert....
Die Plattform liefert eine kurze Zusammenfassung. Lesen Sie alle Anforderungen in der Originalanzeige.