Über die Stelle
Helfen Sie mit, zu definieren, wie hochmoderne KI-Modelle über Mathematik schlussfolgern.
1\. Überblick
Wir suchen erfahrene Mathematikerinnen und Mathematiker, um zu verbessern, wie hochmoderne KI-Modelle über reale mathematische Forschung schlussfolgern.
Ihr mathematisches Urteilsvermögen ist der Kern dieser Rolle. Sie prüfen die Qualität mathematischer Aufgaben zum logischen Schlussfolgern und von Modellausgaben, verfassen die Aufgabenspezifikationen sowie die Referenzlösungen und Beweise, die festlegen, was „korrekt“ bedeutet, und entwerfen Benchmarks, die zeigen, ob sich ein Modell tatsächlich verbessert. Wir suchen eine praktizierende Spezialistin bzw. einen praktizierenden Spezialisten und keine Generalisten.
Diese Rolle ist vollständig remote.
2\. Hauptaufgaben
- Expertenprüfung: Mathematische Aufgaben und Modellausgaben beurteilen und dabei Lücken in Beweisen, unbegründete Schritte, falsche Verallgemeinerungen und Argumentationen erkennen, die gut klingen, aber einem Peer-Review nicht standhalten würden.
- Aufgabenspezifikationen und Referenzlösungen: Präzise Aufgabenstellungen sowie rigorose Referenzlösungen und Beweise verfassen, die widerspiegeln, wie Forschungsmathematik tatsächlich betrieben wird.
- Benchmarks: Anspruchsvolle Aufgaben auf Forschungsniveau und Evaluierungssets in Ihrem Spezialgebiet entwerfen.
- Kalibrierung: Mit anderen Forschenden und Experten aus angrenzenden Fachgebieten zusammenarbeiten, um implizites Expertenurteil in explizite, vermittelbare Kriterien zu überführen.
3\. Kernqualifikationen
- Ausbildung: Promotion (PhD) in Mathematik, angewandter Mathematik, Statistik, Operations Research oder einem eng verwandten Fach.
- Seniorität: Eine Professur, Position als Principal Investigator, Staff oder Senior Scientist oder eine gleichwertige leitende Forschungsrolle an einer Universität, einem nationalen Labor oder einer Forschungsorganisation.
- Fachliche Tiefe: Echte Spezialisierung in mindestens einem Gebiet, zum Beispiel Analysis und partielle Differentialgleichungen, Algebra und Zahlentheorie, Geometrie und Topologie, Wahrscheinlichkeitstheorie und Statistik oder angewandte Mathematik und Optimierung.
- Forschungsbilanz: Eine starke Bilanz an begutachteten Veröffentlichungen. Auszeichnungen wie kompetitive Stipendien oder Preise sind ein Plus.
- KI-Kompetenz: Praktische Nutzung großer Sprachmodelle in Ihrer Arbeit und das Urteilsvermögen, ein stichhaltiges Argument von einem plausibel klingenden, aber falschen zu unterscheiden.
- Kommunikation: Ausgezeichnete schriftliche Kommunikation und die Fähigkeit, präzises, gut strukturiertes Feedback zu geben.
- Standort: Wohnhaft in den Vereinigten Staaten.