Expertin/Experte für Mathematik (Master/Ph.D.)

Über Turing: Turing hat seinen Sitz in San Francisco, Kalifornien, und ist der weltweit führende Forschungsbeschleuniger für Frontier-KI-Labs sowie ein vertrauenswürdiger Partner für globale Unternehmen, die fortschrittliche KI-Systeme einsetzen. Turing unterstützt Kunden auf zwei Arten: Erstens beschleunigt Turing die Spitzenforschung mit hochwertigen Daten, fortschrittlichen Trainingspipelines sowie führenden KI-Forschenden, die sich auf Programmierung, logisches Schlussfolgern, MINT, Mehrsprachigkeit, Multimodalität und Agenten spezialisiert haben; zweitens setzt Turing dieses Know-how ein, um Unternehmen dabei zu helfen, KI vom Proof of Concept zu proprietärer Intelligenz weiterzuentwickeln – mit Systemen, die zuverlässig arbeiten, messbare an Projekten, die große Sprachmodelle durch den Einsatz von fortgeschrittenem mathematischem Denken, Problemlösung, rechnerischem Denken und klarer schriftlicher Kommunikation verbessern und bewerten, Wirkung und dauerhafte Ergebnisse in der P&L liefern.

Rollenübersicht.

• In dieser Rolle arbeiten Sie an Projekten, die große Sprachmodelle verbessern und bewerten, indem Sie fortgeschrittenes mathematisches Denken, Problemlösung, rechnerisches Denken und klare schriftliche Kommunikation einsetzen.
• Die ideale Person verfügt über ein solides Fundament in Mathematik, insbesondere auf dem Niveau, das in Aufnahmeprüfungen für Ingenieurstudiengänge erwartet wird, sowie in Master- oder PhD-Programmen.
• Sie sollten in der Lage sein, komplexe mathematische Konzepte in einfache, klare Erklärungen aufzubrechen und effizient zu arbeiten.
• Die Rolle umfasst außerdem Rechenprojekte, in denen Sie präzise, geschlossene Prompts entwerfen, zuverlässigen Python-Code schreiben, numerische Antworten überprüfen und klare Begründungen liefern.
• Die Projekte helfen Ihnen außerdem zu lernen, wie Sie KI nutzen können, um ein besserer Analyst bzw. eine bessere Analystin zu werden. Dies ist Ihre Chance, Ihre Karriere in einer KI-First-Welt zukunftssicher zu machen!

Wie sieht der Arbeitsalltag aus:

• Entwurf origineller und anspruchsvoller Mathematikaufgaben, die die Grenzen des logischen Schlussfolgerns großer Sprachmodelle testen, insbesondere in mehrstufigen, abstrakten und beweisbasierten Settings.
• Selbstständiges Lösen von Aufgaben und Verfassen detaillierter, logisch strukturierter Lösungen mit klaren Begründungen.
• Prüfung von modellgenerierten Lösungen, Identifizierung mathematischer Fehler oder fehlender Argumente sowie präzises Feedback, Annotationen und Korrekturen..
• Mitwirkung an der Definition neuer Evaluierungs-Benchmarks auf Grundlage von Mathematik-Lehrplänen, die von Themen des frühen Bachelorstudiums bis zum PhD-Niveau reichen.
• Entwicklung und Validierung von Python-basierten Lösungen für Rechenaufgaben unter Verwendung zugelassener wissenschaftlicher Bibliotheken.
• Arbeit an Theorembeweiser-Aufgaben mit Lean, einschließlich der Übersetzung mathematischer Probleme und Beweise in formale Sprache und der Überprüfung, dass formale Beweise korrekt kompilieren.

Anforderungen:

• Analytische Fähigkeiten: Gute Recherche- und Analysefähigkeiten
• Feedback-Fähigkeiten: Fähigkeit, konstruktives Feedback und detaillierte Annotationen zu geben.
• Kreatives Denken: Kreatives und laterales Denkvermögen.
• Kommunikation: Ausgezeichnete strukturierte Kommunikations- und Teamfähigkeit in einem Remote-Umfeld.
• Eigenständigkeit: Selbstmotiviert und in der Lage, in einem Remote-Umfeld selbstständig zu arbeiten.
• Technische Ausstattung: Desktop-PC/Laptop mit guter Internetverbindung.

Bevorzugte Qualifikationen:

• Kandidatinnen und Kandidaten, die ein Master-/Ph.D.-/Postdoc-Studium in Mathematik, Angewandter Mathematik, Statistik oder einem verwandten Fachgebiet absolvieren, sind teilnahmeberechtigt und ausdrücklich zur Bewerbung eingeladen.
• Fähigkeit, komplexe mathematische Aufgaben strukturiert und logisch zu analysieren und zu lösen.
• Fähigkeit, mathematische Konzepte mithilfe einfacher Sprache, Visualisierungen und Beispielen klar zu erklären.

Vorteile der freiberuflichen Tätigkeit bei Turing:

• Arbeit in einem vollständig remote geprägten Umfeld.
• Möglichkeit, an hochmodernen KI-Projekten mit führenden LLM-Unternehmen zu arbeiten.
• Möglichkeit einer Vertragsverlängerung je nach Leistung und Projektbedarf.

Angebotsdetails:

• Erforderlicher Zeitaufwand: mindestens 4 Stunden pro Tag und mindestens 20 Stunden pro Woche, mit 4 Stunden Überschneidung mit PST. (Wir bieten 3 Optionen für den Zeitaufwand: 20 Std./Woche, 30 Std./Woche oder 40 Std./Woche)
• Art der Beschäftigung: Auftragnehmer-Einsatz/Freelancer (keine Krankenversicherung/bezahlter Urlaub)