Principal Research Scientist (Informatica / Computationele natuurkunde)

Functietitel: Principal Research Scientist (Informatica / Computationele natuurkunde)

Type functie: Contractor (flexibel, parttime of fulltime)

Locatie: Op afstand

micro1 schakelt Principal Research Scientists (Informatica / Computationele natuurkunde) in om bij te dragen aan een geavanceerd klantproject op het snijvlak van computationele theorie en AI. In deze rol past u uw expertise toe om de volgende generatie AI-systemen te helpen trainen. Uw werk bepaalt hoe modellen leren, redeneren en presteren, dankzij hoogwaardige input uit de praktijk. Eerdere ervaring met AI is niet vereist — uw domeinkennis is wat telt. U werkt met frontier-AI-modellen en agents om open problemen aan te pakken, de onderzoeksrichting te bepalen en normen vast te stellen voor wetenschappelijke doorbraken. Uw inzichten en rigoureuze aanpak zijn van doorslaggevend belang bij het bepalen wat binnen uw deelgebied als echte vooruitgang geldt.

Werkzaamheden

• Identificeer, formuleer en verwoord fundamentele open problemen, theoretische grenzen of simulatie-uitdagingen waarbij verifieerbare vooruitgang kan worden aangetoond.
• Begeleid AI-modellen en agents bij onderzoeksprocessen uit meerdere stappen — variërend van bewijzen en algoritmen tot numerieke experimenten en high-performance-simulaties.
• Beoordeel en valideer resultaten kritisch, met behulp van bewijscontroles, computationele reproductie en formele methoden om de grenzen van door modellen gegenereerde redeneringen vast te stellen.
• Evalueer en documenteer de nieuwheid, juistheid en betekenis van onderzoeksresultaten ten opzichte van de huidige literatuur en gevestigde resultaten.
• Schrijf duidelijke, beknopte onderzoeksmemo's waarin onderzoekspogingen, gedeeltelijke oplossingen en waargenomen modelbeperkingen of faalpatronen worden beschreven.
• Adviseer over onderzoeksrichtingen en beveel veelbelovende deelgebieden en open problemen aan die zich lenen voor vooruitgang met behulp van AI-modellen en computationele tools.

Gewenste kwalificaties

• 7 - 10+ jaar actief onderzoek in de informatica of wiskundige/computationele natuurkunde, met een sterke staat van dienst op het gebied van wetenschappelijke bijdragen.
• Erkenning op vakgebiedniveau — zoals belangrijke prijzen, fellowships van wetenschappelijke genootschappen of plenaire/uitgenodigde lezingen op toonaangevende wetenschappelijke evenementen.
• Een consistente publicatiehistorie in toonaangevende tijdschriften en conferenties binnen uw domein, met recente resultaten die in het afgelopen jaar zijn gepubliceerd.
• Aantoonbaar succes bij het oplossen van benoemde open problemen of het introduceren van invloedrijke concepten die door vakgenoten zijn overgenomen.
• Diepgaande, praktische ervaring met computationele onderzoeksmethoden: simulatie, numerieke analyse, algoritmische implementatie en/of high-performance-computingomgevingen.
• Bewezen vermogen om technisch werk buiten uw directe vakgebied rigoureus te onderzoeken.
• Ervaring in programmacommissies, redactieraden of met formele onderzoekstools (bijv. Lean, Coq, SAT/SMT-solvers) is een sterk pluspunt, evenals een openbaar overzicht van het schetsen van open problemen of het presenteren van onderzoek met geavanceerde AI-systemen.