Über die Stelle
Überblick über die Möglichkeit
Handshake sucht erfahrene Mathematiker und Forschungswissenschaftler, die KI-Forschung durch flexible, projektbasierte Teilzeitarbeit im Rahmen von Verträgen unterstützen. Dies ist keine traditionelle Anstellung — Sie bringen Ihre praktische Erfahrung in reiner oder angewandter Mathematik ein, um von KI generierte Inhalte zu bewerten und Feedback zu geben, das der KI hilft, wie ein praktizierender Mathematiker zu denken.
Dies ist eine laufende, projektbasierte Möglichkeit, die Sie neben Ihrer aktuellen Tätigkeit wahrnehmen können.
Was Sie tun werden
Nutzen Sie Ihre Fachexpertise, um Mathematikprobleme und Szenarien auf Expertenniveau zu erstellen, die auf realen Beweisen, Formalisierung und computergestützten Arbeitsabläufen basieren Prüfen und bewerten Sie von KI generierte Antworten auf technische Genauigkeit, Strenge und Übereinstimmung mit der tatsächlichen Arbeitsweise Geben Sie strukturiertes schriftliches Feedback, um die Leistung von KI-Modellen zu verbessern Erledigen Sie Aufgaben in Ihrem eigenen Tempo ohne festen Zeitplan oder Mindeststundenzahl
Qualifikationen
Ideale Kandidaten erfüllen alle drei der folgenden Punkte:
Forschungserfahrung — Erstautor-Publikationen und die Fähigkeit, Beweise zu formalisieren, an denen KI-Modelle scheitern Abschluss — Promotion in Mathematik (rein oder angewandt) Tiefe im Teilgebiet — nachgewiesene Expertise in einem der folgenden Bereiche:
Beweise und formale Methoden (Lean, Coq, Isabelle) Symbolische Berechnung (SageMath, Mathematica), Optimierung und numerische Analysis Ein Kern-Teilgebiet wie Algebra, Topologie, Zahlentheorie oder Kombinatorik
Kandidaten, die mindestens 2 der oben genannten 3 Qualifikationen erfüllen, werden ebenfalls ermutigt, sich zu bewerben.
Zusätzliche Qualifikationen (nicht erforderlich, stärken aber Ihre Bewerbung)
Kenntnisse im Umgang mit Theorembeweisern und symbolischer Berechnungssoftware Erfahrung mit der Formalisierung von Beweisen oder der Arbeit an Problemen an der Grenze dessen, was aktuelle KI-Modelle bewältigen können
Erforderlich für alle Bewerber
Muss eine indische Arbeitserlaubnis haben Ausgeprägtes schriftliches Kommunikationsvermögen und Liebe zum Detail Fähigkeit, komplexe mathematische Konzepte klar zu erklären Fähigkeit, in einer abgelegenen, asynchronen Umgebung selbstständig zu arbeiten