Über die Stelle
Überblick über die Opportunity
Handshake sucht erfahrene Mathematiker und Forschungs-Wissenschaftler, um die KI-Forschung durch flexible, projektbasierte Teilzeit-Auftragsarbeit zu unterstützen. Dies ist keine traditionelle Anstellung — du greifst auf deine praktische Erfahrung in reiner oder angewandter Mathematik zurück, um KI-generierte Inhalte zu bewerten und Feedback zu geben, das der KI hilft, wie ein praktizierender Mathematiker zu denken.
Dies ist eine laufende, projektbasierte Opportunity, die du neben deiner aktuellen Rolle übernehmen kannst.
Was du tun wirst
Nutze deine Fachkenntnis, um Mathematikprobleme und Szenarien auf Expertenniveau zu erstellen, die auf echten Beweisen, Formalisierung und rechnerischen Workflows basieren Prüfe und bewerte KI-generierte Antworten auf technische Genauigkeit, Rigorosität und Übereinstimmung damit, wie die Arbeit tatsächlich ausgeführt wird Gib strukturiertes schriftliches Feedback, um die Leistung der KI-Modelle zu verbessern Erledige Aufgaben in deinem eigenen Tempo ohne festen Zeitplan oder Mindeststundenzahl Mögliche Gelegenheit zur Veröffentlichung zusammen mit unserem Forschungsteam.
Qualifikationen
Ideale Kandidaten erfüllen alle drei der folgenden Punkte:
Abschluss — PhD in Mathematik (rein oder angewandt) Tiefe im Teilbereich — nachgewiesene Expertise in einem der folgenden Bereiche:
Beweis und formale Methoden (Lean, Coq, Isabelle) Symbolische Berechnung (SageMath, Mathematica), Optimierung und numerische Analysis Ein Kern-Teilgebiet wie Algebra, Topologie/Geometrie, Zahlentheorie, Analysis oder Kombinatorik Kandidaten, die mindestens 2 der oben genannten 3 Qualifikationen erfüllen, sind ebenfalls eingeladen, sich zu bewerben.
Zusätzliche Qualifikationen (nicht erforderlich, aber stärken deine 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 US-Arbeitsgenehmigung haben Starke schriftliche Kommunikation und Aufmerksamkeit für Details Fähigkeit, komplexe mathematische Konzepte klar zu erklären Fähigkeit, unabhängig in einer remote, asynchronen Umgebung zu arbeiten