Über die Stelle
Gestalte die Zukunft der KI mit, indem du anspruchsvolle mathematische Probleme entwirfst, die das Reasoning modernster Modelle testen und verbessern.
- Standort: Remote
- Art: Vertrag / Teilzeit
- Umfang: 20 Stunden pro Woche
- Vergütung: Bis zu 40 USD / Stunde
- Projektdauer: 2 Monate, mit möglicher Verlängerung
- Verfügbarkeit: Sofortiger Start
Über die Rolle
Wir erstellen hochwertige STEM-Trainingsdaten für modernste KI-Modelle. Unsere Daten werden direkt in Trainings- und Evaluierungs-Pipelines führender KI-Labore eingesetzt, um das Reasoning der Modelle in technischen Domänen zu verbessern.
Wir suchen Expertinnen und Experten in Mathematik, die rigorose, deterministische Probleme entwerfen, die für moderne 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.
Deine Aufgaben
- Entwerfen fortgeschrittener mathematischer Probleme für das Training und die Evaluierung modernster KI
- Erstellen deterministischer Probleme mit genau einer richtigen Antwort
- Verfassen vollständiger, verifizierter Lösungen und klare Dokumentation des Lösungswegs
- Entwickeln von Problemen, die tiefgehendes mathematisches Reasoning testen, nicht nur Auswendiglernen
- Wo relevant, Python oder spezialisierte Tools einsetzen, um computergestützte Workflows zu erstellen
- Sicherstellen, dass alle Ergebnisse technisch präzise, reproduzierbar und gut auf Englisch formuliert sind
Was wir suchen
- Master- oder Doktorgrad in Mathematik oder einem eng verwandten Fachgebiet
- Fundierte Forschungs- oder Industrieerfahrung in mathematischer Modellierung, beweisbasiertem Reasoning, angewandter Mathematik oder computergestützter Mathematik
- Sehr gute Python-Kenntnisse; Vertrautheit mit Bibliotheken wie numpy, scipy, pandas oder ähnlichen
- Solides Verständnis von Algorithmen, numerischen Methoden und computergestützten Ansätzen
- Fähigkeit, originelle, schwierige Probleme zu entwerfen, die reale mathematische Arbeitsabläufe widerspiegeln
- Ausgeprägte Detailgenauigkeit und technische Schreibfähigkeiten auf Englisch
Wünschenswert
- Erfahrung mit symbolischen Mathematiksystemen, Theorembeweisern, Optimierungslösern oder anderer mathematischer Software
- Hintergrund im Entwerfen von Problemen auf Olympiade-, Graduierten- oder Forschungsniveau
- Erfahrung mit der Bewertung von Modell-Reasoning, Benchmarking oder der Gestaltung technischer Assessments