Over de functie
Overzicht van de kans
Handshake zoekt ervaren wiskundigen en onderzoekswetenschappers om AI-onderzoek te ondersteunen via flexibel, parttime contractwerk. Dit is geen traditionele baan — je put uit je praktijkervaring in zuivere of toegepaste wiskunde om door AI gegenereerde inhoud te evalueren en feedback te geven die AI helpt te redeneren als een praktiserend wiskundige.
Dit is een doorlopende, op projecten gebaseerde kans die je naast je huidige rol kunt oppakken.
Wat je gaat doen
Gebruik je domeinexpertise om wiskundeproblemen en scenario's op expertniveau te creëren die zijn gebaseerd op echte bewijzen, formalisering en computationele workflows Beoordeel en evalueer door AI gegenereerde antwoorden op technische nauwkeurigheid, rigorositeit en aansluiting bij hoe het werk daadwerkelijk wordt gedaan Geef gestructureerde schriftelijke feedback om de prestaties van AI-modellen te helpen verbeteren Voltooi taken in je eigen tempo zonder vast schema of minimale ureneis Mogelijke kans om samen met ons onderzoeksteam te publiceren.
Kwalificaties
Ideale kandidaten voldoen aan alle drie de volgende:
Diploma — PhD in de wiskunde (zuiver of toegepast) Diepgang in subdomein — aantoonbare expertise in een van de volgende gebieden:
Bewijs en formele methoden (Lean, Coq, Isabelle) Symbolische berekening (SageMath, Mathematica), optimalisatie en numerieke analyse Een kern-deelgebied zoals algebra, topologie/meetkunde, getaltheorie, analyse of combinatoriek Kandidaten die ten minste 2 van de 3 bovenstaande kwalificaties vervullen, worden ook aangemoedigd om te solliciteren.
Aanvullende kwalificaties (niet vereist, maar versterken je sollicitatie)
Vaardigheid met theorema-bewijzers en software voor symbolische berekening Ervaring met het formaliseren van bewijzen of het werken aan problemen op de grens van wat huidige AI-modellen aankunnen
Vereist voor alle sollicitanten
Moet US-werkautorisatie hebben Sterke schriftelijke communicatie en oog voor detail Vermogen om complexe wiskundige concepten duidelijk uit te leggen Vermogen om zelfstandig te werken in een remote, asynchrone omgeving