Mathematik-Experte (Master / Ph.D.)

Über Turing:
Turing mit Sitz in San Francisco, Kalifornien, ist der weltweit führende Forschungsbeschleuniger für wegweisende KI-Labore und ein zuverlässiger Partner für globale Unternehmen, die fortschrittliche KI-Systeme einsetzen. Turing unterstützt Kunden auf zwei Arten: Erstens durch die Beschleunigung der Spitzenforschung mit hochwertigen Daten, fortschrittlichen Trainings-Pipelines sowie erstklassigen KI-Forschern, die auf Programmierung, Logik, STEM, Mehrsprachigkeit, Multimodalität und Agenten spezialisiert sind; und zweitens durch die Anwendung dieses Fachwissens, um Unternehmen dabei zu helfen, KI von Machbarkeitsnachweisen in proprietäre Intelligenz zu verwandeln, mit Systemen, die zuverlässig arbeiten, messbare Auswirkungen auf Projekte zur Verbesserung und Evaluierung von Large Language Models durch Anwendung von fortgeschrittenem mathematischem Denken, Problemlösungskompetenz, computational thinking und klarer schriftlicher Kommunikation liefern und nachhaltige Ergebnisse auf der Gewinn- und Verlustrechnung erzielen.

Rollenübersicht.

• In dieser Rolle arbeiten Sie an Projekten zur Verbesserung und Evaluierung von Large Language Models, indem Sie fortgeschrittenes mathematisches Denken, Problemlösungskompetenz, computational thinking und klare schriftliche Kommunikation anwenden.
• Der ideale Kandidat sollte über ein solides Fundament in Mathematik verfügen, insbesondere auf dem Niveau von Aufnahmeprüfungen für Ingenieurstudiengänge sowie von Master- oder PhD-Programmen.
• Sie sollten in der Lage sein, komplexe mathematische Konzepte in einfache, klare Erklärungen herunterzubrechen und effizient zu arbeiten.
• Die Rolle umfasst auch rechnerische Projekte, bei denen Sie präzise, geschlossene Prompts entwerfen, zuverlässigen Python-Code schreiben, numerische Antworten verifizieren und klare Begründungen liefern.
• Die Projekte helfen Ihnen zudem zu lernen, wie Sie KI nutzen können, um ein besserer Analyst zu werden. Dies ist Ihre Chance, Ihre Karriere in einer von KI dominiertem Welt zukunftssicher zu machen!

Wie der Arbeitsalltag aussieht:

• Entwerfen Sie originelle und anspruchsvolle mathematische Aufgaben, die die Grenzen der Logik von Large Language Models testen, insbesondere in mehrstufigen, abstrakten und auf Beweisen basierenden Szenarien.
• Lösen Sie Probleme eigenständig und schreiben Sie detaillierte, logisch strukturierte Lösungen mit klaren Begründungen.
• Überprüfen Sie vom Modell generierte Lösungen, identifizieren Sie mathematische Fehler oder fehlende Argumente und geben Sie präzises Feedback, Anmerkungen und Korrekturen.
• Tragen Sie zur Definition neuer Evaluierungs-Benchmarks bei, die auf Mathematiklehrplänen basieren, die von den ersten Bachelor-Semestern bis hin zu PhD-Themen reichen.
• Entwickeln und validieren Sie Python-basierte Lösungen für Berechnungsaufgaben unter Verwendung zugelassener wissenschaftlicher Bibliotheken.
• Arbeiten Sie an Theorem-Prover-Aufgaben mit Lean, einschließlich der Übersetzung mathematischer Probleme und Beweise in eine formale Sprache und der Überprüfung, dass formale Beweise korrekt kompiliert werden.

Anforderungen:

• Analytische Fähigkeiten: Gute Recherche- und Analysefähigkeiten.
• Feedback-Fähigkeiten: Fähigkeit, konstruktives Feedback und detaillierte Anmerkungen zu geben.
• Kreatives Denken: Kreative und Querdenker-Fähigkeiten.
• Kommunikation: Hervorragende strukturierte Kommunikations- und Kollaborationsfähigkeiten in einer Remote-Umgebung.
• Selbstständigkeit: Motiviert und fähig, in einer Remote-Umgebung eigenständig zu arbeiten.
• Technische Ausstattung: Desktop/Laptop mit einer guten Internetverbindung eingerichtet.

Bevorzugte Qualifikationen:

• Kandidaten, die einen Master-, PhD- oder Postdoktortitel in Mathematik, Angewandter Mathematik, Statistik oder einem verwandten Bereich anstreben, sind berechtigt und werden ermutigt, sich zu bewerben.
• Fähigkeit, komplexe mathematische Probleme mit einem strukturierten und logischen Ansatz zu analysieren und zu lösen.
• Fähigkeit, mathematische Konzepte klar zu erklären, unter Verwendung einfacher Sprache, visueller Darstellungen und Beispiele.

Vorteile der Freelance-Tätigkeit bei Turing:

• Arbeiten in einer vollständig ortsunabhängigen Umgebung (Remote).
• Möglichkeit, an hochmodernen KI-Projekten mit führenden LLM-Unternehmen zu arbeiten.
• Potenzial für Vertragsverlängerungen basierend auf Leistung und Projektbedarf.

Angebotdetails:

• Erforderliche Verfügbarkeit: mindestens 4 Stunden pro Tag und mindestens 20 Stunden pro Woche, mit 4 Stunden Überschneidung mit PST. (Wir haben 3 Optionen für den zeitlichen Aufwand: 20 Std./Woche, 30 Std./Woche oder 40 Std./Woche)
• Art des Engagements: Auftragnehmer-Mandat / Freelancer (kein Anspruch auf medizinische Versorgung / bezahlten Urlaub)