In één oogopslag
- Taken: Doe onderzoek naar categorie theorie en ontwikkel software voor bewijsassistenten en algebra systemen.
- Bedrijf: TU Delft, een toonaangevende internationale universiteit met een innovatieve cultuur.
- Voordelen: Competitief salaris, uitstekende pensioenregeling, en mogelijkheden voor professionele ontwikkeling.
- Overige informatie: Dynamische omgeving met kansen voor persoonlijke groei en samenwerking met studenten.
- Waarom deze baan: Werk aan baanbrekend onderzoek en maak impact in de wereld van wiskunde en computerwetenschappen.
- Kwalificaties: PhD in wiskunde of computerwetenschappen en ervaring met formele bewijsvoering of algebra.
Het verwachte salaris ligt tussen 41850 - 51150 € 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 ingewikkelde 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 doelwit 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 functie van 32-40 uur per week. Salaris en voordelen zijn in overeenstemming met de Collectieve Arbeidsovereenkomst 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. 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. Gedeeltelijk betaald ouderschapsverlof. Aandacht voor gezond en energiek werken met het vitaliteitsprogramma.
Als je naar Nederland moet verhuizen voor deze functie, is de TU Delft toegewijd om je verhuizing zo soepel mogelijk te maken! De HR-eenheid, Coming to Delft Service, biedt informatie op hun website om je te helpen je verhuizing voor te bereiden. 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.
Extra informatie
Als je meer informatie wilt over deze vacature of de selectieprocedure, neem dan contact op met Benedikt Ahrens via B.P.Ahrens@tudelft.nl.
Postdoc Category Theory, Computer Proof Assistants and Computer Algebra Systems in Delft werkgever: TU Delft, NL
TU Delft biedt een dynamische werkomgeving waar medewerkers en studenten kunnen bijdragen aan baanbrekend onderzoek en technologische ontwikkelingen. De organisatie stimuleert professionele groei door samenwerking met diverse teams en het ondersteunen van innovatieve projecten. Medewerkers profiteren van een collegiale sfeer en de mogelijkheid om hun vaardigheden verder te ontwikkelen in een academische setting.
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 TU Delft, NL!
✨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 TU Delft, NL.
✨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 TU Delft, NL. 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 TU Delft, NL 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 TU Delft, NL
✨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 TU Delft, NL 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.
