Over de functie
Ben je een expert in theoretische wiskunde en wil je de toekomst van AI vormgeven? Grote taalmodellen ontwikkelen zich snel en hun vermogen om rigoureus bewijsgebaseerd redeneren te hanteren hangt af van hoogwaardige wiskundige trainingsdata. Met jouw gevorderde expertise kan de AI van morgen abstractie, logica, maattheorie, homotopie en de diepe structuren van de moderne wiskunde beter begrijpen. Die trainingsdata begint bij jou - jouw inzicht helpt de volgende generatie AI mogelijk maken.
We zoeken specialisten met een diepgaande basis in zuivere wiskunde die zich kunnen bezighouden met geavanceerde onderwerpen binnen waarschijnlijkheidstheorie, maattheorie, reële en functionaalanalyse, optimalisatie, abstracte algebra en categorietheorie. Naast deze diepgaande basis hebben we voor elke expert een genormaliseerde vaardigheid in Lean 4 nodig, de bewijsassistent en programmeertaal.
Op een typische dag construeer en evalueer je complexe bewijzen, onderbouw je de wiskundige redenering op correctheid en rigorositeit en identificeer je subtiele conceptuele of logische fouten, en vertaal je dit materiaal om met succes in .lean-syntaxis te bouwen. Je werkt ook samen met ons team om prompts, evaluatiekaders en benchmarks voor wiskundig redeneren te verfijnen, waardoor de algehele kwaliteit van onze activiteiten verbetert.
Kandidaten die vloeiend zijn in Lean 4 met een lopende of pas behaalde PhD of huidige PostDoc-ervaring in zuivere wiskunde zijn ideaal. Een sterke beheersing van kerngebieden is vereist, en kandidaten moeten vertrouwd zijn met onderwerpen zoals de ongelijkheden van Markov en Chebyshev, Hoeffding-grenzen, convergentiestellingen, de extensiestelling van Carathéodory, de representatiestelling van Riesz, Banach–Alaoglu, Lax–Milgram, stochastische approximatie, de stelling van Van Kampen, de inbedding van Yoneda en representeerbaarheid in cohomologie. Duidelijke, metacognitieve communicatie (expliciet verwoorden van redeneer- en bewijsstrategieën) is essentieel.
Klaar om je Lean 4-vaardigheid en expertise in zuivere wiskunde om te zetten in de redeneerruggengraat van de AI van morgen? Solliciteer vandaag en help het model te trainen dat onderzoekers, wetenschappers en ingenieurs over de hele wereld zal ondersteunen.
We bieden een salarisbereik van $35 tot $65 per uur, waarbij het exacte tarief wordt bepaald na evaluatie van je ervaring, expertise en geografische locatie. Definitieve aanbodsbedragen kunnen afwijken van het hierboven vermelde salarisbereik. Als contractor zorg je voor een beveiligde computer en hogesnelheidsinternet; door het bedrijf gesponsorde voordelen zoals ziektekostenverzekering en PTO zijn niet van toepassing.
Functietitel: Specialist zuivere wiskunde en Lean 4 – Freelance AI-trainerproject Dienstverband: Contract Werkplektype: Op afstand