Über die Stelle
Helfen Sie, die Zukunft der KI zu gestalten, indem Sie anspruchsvolle mathematische Probleme entwerfen, die das Reasoning in modernsten Modellen testen und verbessern.
- Standort: Remote
- Art: Vertrag / Teilzeit
- Engagement: 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 MINT-Trainingsdaten für führende KI-Modelle. Unsere Daten werden direkt in Trainings- und Evaluationspipelines bei führenden KI-Labors eingesetzt, um das Reasoning der Modelle in technischen Bereichen zu verbessern.
Wir suchen Expertinnen und Experten in Mathematik, um rigorose, deterministische Probleme zu entwerfen, die für modernste KI-Systeme wirklich anspruchsvoll sind. Jedes Problem muss genau eine verifizierbare richtige Antwort haben und zusammen mit einer vollständigen, verifizierten Lösung eingereicht werden.
Was Sie tun werden
- Fortgeschrittene mathematische Probleme für das Training und die Evaluation führender KI-Modelle entwerfen
- Deterministische Probleme mit genau einer richtigen Antwort erstellen
- Vollständige, verifizierte Lösungen schreiben und den Denkprozess klar dokumentieren
- Probleme entwickeln, die tiefes mathematisches Reasoning testen, nicht nur Auswendiglernen
- Wo relevant, Python oder spezialisierte Tools einsetzen, um rechnerische Workflows aufzubauen
- Sicherstellen, dass alle Ergebnisse technisch präzise, reproduzierbar und gut auf Englisch verfasst sind
Was wir suchen
- Master oder PhD in Mathematik oder einem eng verwandten Fachgebiet
- Ausgeprägte Forschungs- oder Industrieerfahrung in mathematischer Modellierung, beweisbasiertem Reasoning, angewandter Mathematik oder numerischer Mathematik
- Starke Python-Kenntnisse; Vertrautheit mit Bibliotheken wie numpy, scipy, pandas oder ähnlichen
- Fundiertes Verständnis von Algorithmen, numerischen Methoden und rechnerischen Ansätzen
- Fähigkeit, originelle, schwierige Probleme 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 der Problemgestaltung auf Olympiaden-, Graduierten- oder Forschungsniveau
- Erfahrung mit der Bewertung von Modell-Reasoning, Benchmarking oder der Gestaltung technischer Assessments