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 praktische ervaring in zuivere of toegepaste wiskunde om door AI gegenereerde inhoud te beoordelen en feedback te geven die AI helpt redeneren als een praktiserend wiskundige.
Dit is een doorlopende, projectmatige 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, gebaseerd op echte bewijzen, formalisering en computationele workflows Beoordeel en evalueer door AI gegenereerde antwoorden op technische nauwkeurigheid, rigorousheid en aansluiting bij hoe het werk daadwerkelijk wordt uitgevoerd Geef gestructureerde schriftelijke feedback om de prestaties van AI-modellen te helpen verbeteren Voltooi taken in je eigen tempo, zonder vast schema of minimale urennorm
Kwalificaties
Ideale kandidaten voldoen aan alle drie het volgende:
Onderzoekservaring — publicaties als eerste auteur en het vermogen om bewijzen te formaliseren waar AI-modellen op falen Opleiding — PhD in de wiskunde (zuiver of toegepast) Diepgang in een subdomein — aantoonbare expertise op een van de volgende gebieden:
Bewijzen en formele methoden (Lean, Coq, Isabelle) Symbolische berekening (SageMath, Mathematica), optimalisatie en numerieke analyse Een kern-deelgebied zoals algebra, topologie, getaltheorie 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 Indiase werkautorisatie hebben Sterke schriftelijke communicatie en aandacht voor detail Vermogen om complexe wiskundige concepten duidelijk uit te leggen Vermogen om zelfstandig te werken in een remote, asynchrone omgeving