In één oogopslag
- Taken: Ontwikkel en verbind software voor categorie theorie en computer algebra systemen.
- Bedrijf: TU Delft, een toonaangevende internationale universiteit met een innovatieve cultuur.
- Voordelen: Flexibele werkuren, uitstekende pensioenregeling en mogelijkheden voor professionele ontwikkeling.
- Overige informatie: Mogelijkheid om studenten te begeleiden en bij te dragen aan open-source projecten.
- Waarom deze baan: Werk aan baanbrekend onderzoek dat de toekomst van technologie vormgeeft.
- Kwalificaties: PhD in wiskunde of informatica en ervaring met formele verificatie of computer algebra.
Het verwachte salaris ligt tussen 42750 - 52250 € per jaar.
Postdoctorale onderzoekspositie op het gebied van categorietheorie, computer proof assistants en computer algebra systemen. Computer proof assistants en computer algebra systemen hebben complementaire sterke punten. Een proof assistant controleert elke stap van een wiskundig argument tegen een formele basis, maar is niet ontworpen voor berekeningen; een computer algebra systeem rekent efficiënt met grote en complexe algebraïsche structuren, maar de resultaten zijn afhankelijk van code die niet formeel is geverifieerd. Categorietheorie is een goede plek om de twee te verbinden.
CAP (Categories, Algorithms, Programming) is een softwaresysteem voor computationele categorietheorie, geïmplementeerd in GAP en maakt deel uit van het homalg-project. Omdat het categorische constructies rechtstreeks als algoritmen uitdrukt, is het een geschikt doel voor formalisatie. Het doel van het project is om de twee soorten systemen samen te brengen, zodat categorische berekeningen kunnen worden uitgevoerd met de efficiëntie van een computer algebra systeem en gecontroleerd met de garanties van een proof assistant.
De postdoctorale onderzoeker zal deze verbinding ontwerpen en bouwen tussen een proof assistant — Rocq, Lean of Agda, te beslissen aan het begin van het project — en CAP. Het werk is deels conceptueel en deels praktisch: het preciseren van de categorische doctrines die ten grondslag liggen aan CAP, het kiezen van een formele behandeling die trouw is aan de constructieve inhoud van CAP's algoritmen, en het implementeren van het resultaat als gedocumenteerde, openbaar beschikbare software. De onderzoeker zal de resultaten publiceren, ze presenteren op conferenties en workshops, en bijdragen aan de open-source bibliotheken van beide projecten.
Er is ruimte om de richting van het werk vorm te geven volgens hun eigen interesses en expertise, en om hun eigen onderzoeksagenda naast het project te ontwikkelen. De positie is gebaseerd in de groep Programmeertalen, Afdeling Softwaretechnologie, aan de TU Delft, waar de onderzoeker zal samenwerken met Benedikt Ahrens, en in samenwerking met Mohamed Barakat aan de Universität Siegen, met regelmatige uitwisseling tussen de twee groepen. Dit verbindt de onderzoeker met beide relevante gemeenschappen: formalisatie en univalente fundamenten in Delft, computationele categorietheorie en het homalg/CAP-ecosysteem in Siegen.
De rol omvat ook het bijdragen aan de supervisie van BSc- en MSc-studenten die aan gerelateerde projecten werken, en mogelijk wat lesgeven.
Functie-eisen
- PhD (toegekend voor de startdatum, of ingediend met een verdediging gepland) in wiskunde, informatica of een nauw verwant vakgebied.
- Onderzoekservaring in ten minste een van de volgende gebieden: interactieve stellingbewijzen/formalisatie, computer algebra of categorietheorie — aangetoond door publicaties, een proefschrift of een substantiële softwarebijdrage.
- Aantoonbare interesse in de andere twee, en bereidheid om deze tot werkdiepte te leren.
- Praktische programmeervaardigheid en comfort met het werken met een substantiële bestaande codebase.
- Vermogen om zelfstandig te werken en samen te werken over de grens van wiskunde/informatica; goede schriftelijke en gesproken Engelse vaardigheden.
- Ervaring in, en bereidheid om bij te dragen aan, studentensupervisie en onderwijs.
Arbeidsvoorwaarden
- Duur van het contract is 1 jaar, verlengbaar tot maximaal 3 jaar.
- Een baan van 32-40 uur per week.
- Salaris en voordelen zijn in overeenstemming met de CAO voor Nederlandse Universiteiten.
- Een uitstekende pensioenregeling via het ABP.
- De mogelijkheid om elk jaar een individueel arbeidsvoorwaardenpakket samen te stellen.
- Korting bij zorgverzekeraars op aanvullende pakketten.
- Flexibele werkweek.
- Elk jaar 232 verlofuren (bij 38 uur).
- Je kunt ook extra verlofuren kopen of verkopen via het individuele keuze budget.
- Veel mogelijkheden voor onderwijs, training en cursussen.
- Deeltijd betaald ouderschapsverlof.
- Aandacht voor gezond en energiek werken met het vitaliteitsprogramma.
Heb je hulp nodig bij het verhuizen naar Nederland voor deze functie? TU Delft zet zich in om je verhuizing zo soepel mogelijk te laten verlopen! De HR-eenheid, Coming to Delft Service, biedt informatie op hun website om je te helpen bij het voorbereiden van je verhuizing. Bovendien organiseert Coming to Delft Service evenementen om je te helpen je in Nederland te vestigen en je (sociale) netwerk in Delft uit te breiden. Een Dual Career Programma is beschikbaar om je partner te ondersteunen bij hun zoektocht naar een baan in Nederland.
Postdoc Category Theory, Computer Proof Assistants and Computer Algebra Systems in Delft werkgever: 1000scholars
Tilburg University is een uitstekende werkgever die zich inzet voor een rechtvaardige, inclusieve en duurzame samenleving. Met een focus op persoonlijke ontwikkeling en een warme werkomgeving biedt de universiteit volop kansen voor groei en samenwerking binnen een interdisciplinair team. Werken aan Tilburg University betekent bijdragen aan betekenisvolle maatschappelijke vraagstukken in een inspirerende en betrokken gemeenschap.
Hupjob Expertadvies🤫
Zo denken wij dat je Postdoc Category Theory, Computer Proof Assistants and Computer Algebra Systems in Delft kunt binnenhalen
✨Duik in de wetenschappelijke community
Kijk naar evenementen zoals conferenties en symposia binnen je vakgebied. Deze bijeenkomsten zijn een geweldige kans om in contact te komen met professionals en onderzoekers in het veld. En wie weet, misschien ontmoet je daar wel iemand van 1000scholars!
✨Toon je passie voor onderzoek
Zorg ervoor dat je zichtbaar bent in online platformen zoals ResearchGate of Academia.edu. Deel je onderzoeksprojecten en publicaties. Dit helpt niet alleen om je passie te tonen, maar kan ook opvallen bij bedrijven die actief kijken naar bruggenbouwers in de wetenschap, zoals 1000scholars.
✨Netwerk, maar doe het slim!
Neem deel aan lokale onderzoeksnetwerken of onderzoekersgroepen. Maak verbinding met mensen die vergelijkbare interesses hebben. Een directe aanbeveling vanuit je netwerk kan wonderen doen bij fulltime functies in wetenschappelijk onderzoek.
✨Pas je sollicitatie aan op de organisatie
Bij het solliciteren naar een fulltime functie is het belangrijk om je motivatiebrief en CV te personaliseren voor 1000scholars. Benadruk specifieke projecten of waarden van de organisatie die aansluiten bij je eigen ervaring. Laat zien waarom jij de perfecte aanwinst bent!
Wij denken dat je deze vaardigheden nodig hebt om als Postdoc Category Theory, Computer Proof Assistants and Computer Algebra Systems in Delft te schitteren
Een paar tips voor je sollicitatie 🫡
Versterk je onderzoeksvaardigheden:Zorg ervoor dat je CV duidelijk je onderzoekservaring en relevante vaardigheden laat zien. Benadruk projecten waar je aan hebt gewerkt, je methoden en technieken, en gebruik concrete resultaten om je impact te onderstrepen. Dit zijn exacte vaardigheden die bij wetenschappelijk onderzoek belangrijk zijn.
Publicaties en presentaties als bewijs:Heb je artikelen gepubliceerd of conferenties bezocht? Vermeld dit dan! Het toont je betrokkenheid bij de academische wereld en je vermogen om je bevindingen te delen. Voeg een sectie toe aan je CV waarin je deze prestaties opsomt, dat kan je onderscheiden van andere kandidaten.
Persoonlijke motivatie in je motivatiebrief:Bij een fulltime rol in wetenschappelijk onderzoek willen we niet alleen je ervaring zien, maar ook je passie voor het vak. Vertel ons waarom je geïnteresseerd bent in de specifieke onderzoeksgebieden die 1000scholars aanbiedt, en hoe je je carrière hierin ziet groeien. Dit maakt je brief veel meeslepender.
Informatie over je vaardigheden:Vergeet niet om relevante vaardigheden en tools, zoals statistische software of laboratoriumtechnieken, in je sollicitatie te vermelden. We willen een goed beeld krijgen van hoe je kunt bijdragen aan ons team, dus wees specifiek over je opleidingsniveau en eventuele certificaten die je hebt behaald binnen het wetenschappelijk onderzoek.
Zo bereid je je voor op een sollicitatiegesprek bij 1000scholars
✨Bereid je voor op technische vragen
In wetenschappelijk onderzoek moet je vaak diepgaand inzicht hebben in je vakgebied. Verwacht technische vragen over je eerdere onderzoeken of methoden. Zorg dat je je bevindingen en vaardigheden goed kunt uitleggen zodat je kunt laten zien dat je niet alleen kennis hebt, maar ook kunt toepassen.
✨Neem je onderzoeksportfolio mee
Een fulltime functie in wetenschappelijk onderzoek vraagt om concrete voorbeelden van je werk. Zorg ervoor dat je een degelijk portfolio hebt dat je projecten, publicaties en data-analyse toont. Dit laat je aanpak en vaardigheid zien, en helpt om gesprekken concreet en relevant te maken.
✨Blijf flexibel en leergierig
Wetenschappelijk onderzoek is vaak dynamisch. Toon tijdens je interview dat je openstaat voor feedback en bereid bent om nieuwe vaardigheden of technieken te leren. Dit is cruciaal voor een fulltime rol, waar je misschien met nieuwe methodes of samenwerkingen te maken krijgt.
✨Bereid je voor op ethische discussies
Ethische overwegingen zijn enorm belangrijk in wetenschappelijk onderzoek. Tijdens het interview bij 1000scholars kunnen ze vragen stellen over hoe jij situaties benadert waarin ethiek op het spel staat. Denk na over je eigen principes en hoe deze zich verhouden tot je onderzoek en werkethiek.
