Stellenbeschreibung
Über die Rolle
Helfen Sie dabei, die Zukunft der KI zu gestalten, indem Sie anspruchsvolle mathematische Probleme entwerfen, die das logische Denken modernster Modelle testen und verbessern.
- Standort: Remote
- Typ: Vertrag / Teilzeit
- Arbeitszeit: 20 Stunden pro Woche
- Vergütung: Bis zu 40 USD / Std.
- Projektdauer: 2 Monate, mit Verlängerungsmöglichkeit
- Verfügbarkeit: Sofortiger Start
Wir erstellen hochwertige MINT-Trainingsdaten für führende KI-Modelle. Unsere Daten werden direkt in Trainings- und Evaluierungspipelines bei führenden KI-Laboren eingesetzt, um das logische Denken der Modelle in technischen Bereichen zu verbessern.
Wir suchen Experten für Mathematik, um rigorose, deterministische Probleme zu entwerfen, die für modernste KI-Systeme eine echte Herausforderung darstellen. Jedes Problem muss genau eine überprüfbare richtige Antwort haben und zusammen mit einer vollständigen, verifizierten Lösung eingereicht werden.
Ihre Aufgaben
- Entwurf fortgeschrittener mathematischer Probleme für das Training und die Evaluierung von KI-Modellen.
- Erstellung deterministischer Probleme mit genau einer richtigen Antwort.
- Verfassen vollständiger, verifizierter Lösungen und klare Dokumentation des logischen Prozesses.
- Entwicklung von Problemen, die tiefgreifendes mathematisches Denken testen, nicht nur Auswendiglernen.
- Gegebenenfalls Nutzung von Python oder spezialisierten Tools zur Erstellung rechnergestützter Workflows.
- Sicherstellung, dass alle Ergebnisse technisch präzise, reproduzierbar und in gutem Englisch verfasst sind.
Was wir suchen
- Master- oder Doktortitel in Mathematik oder einem verwandten Fachbereich.
- Fundierte Forschungs- oder Industrieerfahrung in den Bereichen mathematische Modellierung, beweisbasiertes Denken, angewandte Mathematik oder computergestützte Mathematik.
- Starke Python-Kenntnisse; Vertrautheit mit Bibliotheken wie numpy, scipy, pandas oder ähnlichen.
- Fundiertes Verständnis von Algorithmen, numerischen Methoden und computergestützten Ansätzen.
- Fähigkeit, originelle, schwierige Probleme zu entwerfen, die reale mathematische Workflows widerspiegeln.
- Ausgezeichnete Liebe zum Detail und technische Schreibfähigkeiten in Englisch.
Wünschenswert
- Erfahrung mit symbolischen Mathematiksystemen, Theorembeweisern, Optimierungslösern oder anderer mathematischer Software.
- Hintergrund im Entwurf von Problemen auf Olympiade-, Hochschul- oder Forschungsniveau.
- Erfahrung in der Bewertung von Modelllogik, Benchmarking oder dem Design technischer Assessments.
