In één oogopslag
- Taken: Werk aan theoretische en praktische implementatie van categorie theorie voor bewijsassistenten.
- Bedrijf: TU Delft, een toonaangevende universiteit in technologie en innovatie.
- Voordelen: Uitstekende arbeidsvoorwaarden, mogelijkheden voor onderzoek en samenwerking.
- Overige informatie: Dynamische omgeving met kansen om studenten te onderwijzen en begeleiden.
- Waarom deze baan: Bijdragen aan open-source projecten en impact maken in de academische wereld.
- Kwalificaties: Ervaring met programmeertalen en interesse in wiskundige theorieën.
Het verwachte salaris ligt tussen 49500 - 60500 € per jaar.
TU Delft invites applications for a postdoctoral position in the Programming Languages group within the Department of Software Technology.
The project connects a proof assistant with CAP for computational category theory, implemented in GAP, with collaboration across TU Delft and Universität Siegen.
The role involves both theoretical formalisation and practical implementation, publishing results, and contributing to open‑source libraries while potentially teaching and supervising students.
#J-18808-Ljbffr
Postdoc: Category Theory for Proof Assistants & CAS 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 for Proof Assistants & CAS 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 for Proof Assistants & CAS 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.
