Over de functie
Over Turing:
Turing is een van de snelstgroeiende AI-bedrijven ter wereld en versnelt de ontwikkeling en inzet van krachtige AI-systemen.
Turing helpt klanten op twee manieren: door samen te werken met 's werelds toonaangevende AI-labs om de mogelijkheden van frontiermodellen te vergroten op het gebied van denken, redeneren, coderen, agentisch gedrag, multimodaliteit, meertaligheid, STEM en frontierkennis; en door dat werk te benutten om AI-systemen voor de praktijk te bouwen die bedrijfskritische prioriteiten van bedrijven oplossen.
Functieoverzicht
Wij zoeken een ervaren expert in de wiskunde om een pod van 5–10 trainers te leiden die realistische, terminalgebaseerde wetenschappelijke en technische taken ontwikkelen voor Terminal Bench Science.
U beoordeelt door trainers gemaakte taken op wiskundige juistheid, reproduceerbaarheid, moeilijkheidsgraad en betrouwbaarheid van de grader. U begeleidt ook trainers, bewaakt kwaliteit en doorvoer en zorgt ervoor dat taken authentiek wiskundig onderzoek en rekenkundige workflows weerspiegelen.
De functie omvat numerieke en toegepaste wiskunde, wetenschappelijk rekenen, optimalisatie, statistiek, wiskundige modellering, computationele algebra en formele verificatie.
Wat u gaat doen
- Taken van begin tot eind beoordelen, inclusief probleemstellingen, datasets, omgevingen, referentieoplossingen en geautomatiseerde tests.
- Wiskundige juistheid, welgesteldheid, convergentie, stabiliteit, conditionering, discretisatiefout en de omgang met randgevallen verifiëren.
- Ervoor zorgen dat taken echte redenering in meerdere stappen vereisen in plaats van opzoeken of één bibliotheekaanroep.
- Valideren dat exacte, symbolische, willekeurig nauwkeurige of floating-point-berekeningen op de juiste manier worden gebruikt.
- Controleren dat toleranties passen bij de numerieke conditionering van het probleem.
- Graders ontwerpen en beoordelen op basis van wiskundige eigenschappen zoals residuen, haalbaarheid, optimaliteitscertificaten, invarianten, foutgrenzen of bewijscontrole.
- Ervoor zorgen dat taken reproduceerbaar zijn door vastgezette tools, bibliotheken, solverversies en afhankelijkheden.
- Hardgecodeerde oplossingen, lekkage van testbestanden en andere methoden om de beoogde berekening te omzeilen identificeren en voorkomen.
- Nauwkeurige, bruikbare feedback geven en revisies van trainers volgen tot afsluiting.
- Trainers begeleiden en inwerken op het gebied van wiskundige rigoureusheid, taakontwerp, codeerpraktijken en evaluatienormen.
- Werk toewijzen, kwaliteit en doorvoer bewaken en blokkades escaleren.
- Poddocumentatie bijhouden over richtlijnen, terugkerende problemen en voorbeeldige taken.
- Samenwerken met de Mathematics Team Lead en andere technische stakeholders om de kwaliteit van de benchmark te verbeteren.
Wat wij zoeken
- Doctoraat (Ph.D.), postdoctorale ervaring of gelijkwaardige geavanceerde ervaring in de wiskunde, toegepaste wiskunde, statistiek of een verwant vakgebied.
- Sterke programmeervaardigheden in Python, Julia, C/C++, MATLAB/Octave of een computeralgebrasysteem.
- Sterke vaardigheid in Linux en de terminal.
- Praktische ervaring met numerieke methoden, wetenschappelijk rekenen, symbolisch rekenen, optimalisatie, computationele statistiek of wiskundige modellering.
- Vermogen om wiskundige afleidingen, algoritmen, bewijzen en rekenresultaten rigoureus te evalueren.
- Ervaring met het beoordelen van onderzoeksresultaten, code, wiskundig werk of wetenschappelijke workflows.
- Ervaring met het begeleiden of leiden van kleine technische of onderzoeksteams.
- Sterke schriftelijke communicatie en het vermogen om nauwkeurige, constructieve feedback te geven.
- Vermogen om reproduceerbaarheid, testbetrouwbaarheid en de wetenschappelijke geldigheid van rekenkundige taken te beoordelen.
Pluspunten
- Ervaring met NumPy, SciPy, SymPy, mpmath, SageMath, PARI/GP, GAP, Macaulay2 of Mathematica-achtige workflows.
- Ervaring met FEniCS, Firedrake, DifferentialEquations.jl, PETSc of vergelijkbare ODE/PDE-tools.
- Ervaring met CVXPY, JuMP, Pyomo, HiGHS of andere optimalisatieframeworks.
- Bekendheid met Lean/mathlib, Coq/Rocq, Isabelle of andere bewijsassistenten.
- Ervaring met Docker, Git, CI-systemen en geautomatiseerd testen.
- Ervaring met het ontwerpen van benchmarks, wedstrijdproblemen of rekenkundige evaluaties.
- Ervaring met het evalueren van AI-codeer-, redeneer- of terminalagents.
- Ervaring met het opstellen of beoordelen van problemen voor wiskundeolympiades of wiskundewedstrijden.
- Publicaties of open-sourcebijdragen in computationele wiskunde, numerieke software of geformaliseerde wiskunde.
- Eerdere ervaring met AI-training, datageneratie of modelevaluatieprogramma's.
Details van het aanbod:
- Vereiste inzet: ten minste 4 uur per dag en minimaal 40 uur per week, met 4 uur overlap met PST.
- Type dienstverband : Opdracht als contractor (geen ziekteverlof of betaald verlof)
- Duur van het contract : 4 week [verwachte startdatum is volgende week]