Über die Stelle
Hilf mit, die Zukunft der KI zu gestalten, indem du anspruchsvolle Mathematikaufgaben entwickelst, die das Reasoning modernster Modelle testen und verbessern.
- Standort: Remote
- Art: Vertrag / Teilzeit
- Umfang: 20 Stunden pro Woche
- Vergütung: Bis zu 40 USD / Std.
- Projektdauer: 2 Monate, mit möglicher Verlängerung
- Verfügbarkeit: Sofortiger Start
Über die Rolle
Wir erstellen hochwertige STEM-Trainingsdaten für Frontier-KI-Modelle. Unsere Daten fließen direkt in Trainings- und Evaluationspipelines führender KI-Labore ein, um das Reasoning der Modelle in technischen Domänen zu verbessern.
Wir suchen Expertinnen und Experten in Mathematik, die rigorose, deterministische Aufgaben entwickeln, die für modernste KI-Systeme wirklich herausfordernd sind. Jede Aufgabe muss genau eine verifizierbare richtige Antwort haben und zusammen mit einer vollständigen, verifizierten Lösung eingereicht werden.
Was du machst
- Entwickle fortgeschrittene mathematische Aufgaben für Training und Evaluation von Frontier-KI
- Erstelle deterministische Aufgaben mit genau einer richtigen Antwort
- Schreibe vollständige, verifizierte Lösungen und dokumentiere den Denkprozess klar
- Entwickle Aufgaben, die tiefes mathematisches Reasoning testen, nicht nur Auswendiglernen
- Nutze bei Bedarf Python oder spezialisierte Tools, um computergestützte Workflows zu erstellen
- Stelle sicher, dass alle Ergebnisse technisch präzise, reproduzierbar und gut auf Englisch formuliert sind
Was wir suchen
- Master oder PhD in Mathematik oder einem eng verwandten Fach
- Fundierte Forschungs- oder Industrieerfahrung in mathematischer Modellierung, beweisbasiertem Reasoning, angewandter Mathematik oder computergestützter Mathematik
- Ausgeprägte Python-Kenntnisse; sicherer Umgang mit Bibliotheken wie numpy, scipy, pandas oder ähnlichen
- Solides Verständnis von Algorithmen, numerischen Methoden und computergestützten Ansätzen
- Fähigkeit, originelle, schwierige Aufgaben zu entwerfen, die reale mathematische Workflows widerspiegeln
- Ausgezeichnete Detailgenauigkeit und technische Schreibfähigkeiten auf Englisch
Wünschenswert
- Erfahrung mit symbolischen Mathematiksystemen, Theorembeweisern, Optimierungslösern oder anderer mathematischer Software
- Hintergrund in Aufgabenentwicklung auf Olympiade-, Graduierten- oder Forschungsniveau
- Erfahrung mit der Bewertung von Modell-Reasoning, Benchmarking oder der Gestaltung technischer Assessments