Over de functie
Functietitel: Onderzoekswetenschapper - Informatica en computationele natuurkunde
Type functie: Contractor (flexibel, deeltijd of voltijd)
Locatie: Op afstand
micro1 zoekt onderzoekswetenschappers in informatica en computationele natuurkunde om het onderzoeksproject met grote impact van een klant vooruit te helpen. 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. Voorafgaande ervaring met AI is niet vereist — uw vakkennis is wat telt.
Werkzaamheden
- Identificeer en stel openstaande problemen, nieuwe grenzen of hanteerbare onderzoeksuitdagingen binnen uw deelgebied voor ter grondig onderzoek.
- Voer gestructureerd onderzoek uit met frontier-AI-modellen en -agents om bewijzen te beproeven, algoritmen te ontwikkelen of computationele simulaties uit te voeren.
- Verifieer onderzoeksresultaten systematisch door bewijzen te controleren, numerieke resultaten te reproduceren of formele tools in te zetten.
- Beoordeel bevindingen op nieuwheid en juistheid in directe vergelijking met recente literatuur en gepubliceerde resultaten.
- Documenteer methodologieën, deelresultaten en ondervonden uitdagingen in duidelijke en uitgebreide schriftelijke rapporten.
- Wijs op veelbelovende nieuwe richtingen en ontdekkingen voor diepgaandere verkenning door senior onderzoeksprofessionals.
Gewenste kwalificaties
- Gevorderde onderzoekspositie: promovendus in een gevorderd stadium, postdoctoraal onderzoeker of academicus aan het begin van de loopbaan (0–5 jaar na de PhD) in informatica of wiskundige/computationele natuurkunde.
- Erkend door de vakgemeenschap voor onderzoeksexcellentie, zoals best paper- of proefschriftprijzen bij toonaangevende evenementen (bijv. STOC, FOCS, SODA, PLDI, SC).
- Sterke publicatiehistorie van de afgelopen drie jaar, waaronder meerdere papers bij topevenementen en recente resultaten die benoemde openstaande problemen aanpakken of nieuwe concepten introduceren.
- Praktische expertise in computationele methoden, waaronder simulatie, numerieke analyse en algoritmische implementatie.
- Ervaring met het beoordelen of sub-beoordelen voor vooraanstaande conferenties in uw specialisme is een pluspunt.
- Achtergrond in het inzetten van frontier-modellen, agents of formele computationele tools (bijv. Lean, SAT/SMT-solvers) in wetenschappelijk werk.
- Openbaar gedeelde onderzoeksverklaring of homepage waarin specifieke openstaande problemen worden beschreven waaraan momenteel wordt gewerkt.