Magnet.me - Het slimme netwerk waarop hbo‑ en wo‑studenten hun baan of stage vinden.
Het slimme netwerk waarop hbo‑ en wo‑studenten hun baan of stage vinden.
Je carrière begint op Magnet.me
Maak een profiel aan en ontvang slimme aanbevelingen op basis van je gelikete vacatures.
Do you want to carry out a PhD in program verification and proof assistants? And help to scale it up to the verification of realistic systems software?
You will be working on the semantics and verification of systems software (libraries for concurrency, efficient data structures, compilers, and/or operating systems) using type systems, separation logic, and proof assistants. As part of this PhD project, you will contribute to one or more topics:
As a PhD candidate you will use and contribute to the Iris and Coq projects. You will be supervised by Robbert Krebbers.
As a PhD candidate you will spend 10% of your time on contributing to teaching, and you will have the opportunity to develop yourself by taking courses, visiting summer schools, etc.
The start of the project is flexible, preferably in autumn 2024. If you have not fully completed your Master's studies but are excited about this position, please do not hesitate to apply or to contact us.
The position is available in the Software Science group of the Institute for Computing and Information Sciences (iCIS) at Radboud University. Our mission is to conduct top research on the use of models for design, verification and analysis of software, bridging the gap between theory and applications. The Software Science group has extensive expertise in formal methods, semantics, proof assistants and theoretical computer science in general, providing an excellent embedding for this project.
At Radboud University, we aim to make an impact through our work. We achieve this by conducting groundbreaking research, providing high-quality education, offering excellent support, and fostering collaborations within and outside the university. In doing so, we contribute indispensably to a healthy, free world with equal opportunities for all. To accomplish this, we need even more colleagues who, based on their expertise, are willing to search for answers. We advocate for an inclusive community and welcome employees with diverse backgrounds, cultures, and perspectives. Will you also contribute to making the world a little better? You have a part to play.
Faculty of Science
The Faculty of Science (FNWI), part of Radboud University, engages in groundbreaking research and excellent education. In doing so, we push the boundaries of scientific knowledge and pass that knowledge on to the next generation.
We seek solutions to major societal challenges, such as cybercrime and climate change and work on major scientific challenges, such as those in the quantum world. At the same time, we prepare our students for careers both within and outside the scientific field.
Currently, more than 1,300 colleagues contribute to research and education, some as researchers and lecturers, others as technical and administrative support officers. The faculty has a strong international character with staff from more than 70 countries. Together, we work in an informal, accessible and welcoming environment, with attention and space for personal and professional development for all.
Work and science require good employment practices. Radboud University's primary and secondary employment conditions reflect this. You can make arrangements for the best possible work-life balance with flexible working hours, various leave arrangements and working from home. You are also able to compose part of your employment conditions yourself. For example, exchange income for extra leave days and receive a reimbursement for your sports membership. And, of course, we offer a good pension plan. We also give you plenty of room and responsibility to develop your talents and realise your ambitions. Therefore, we provide various training and development schemes.
De Radboud Universiteit in Nijmegen is een van de beste brede, klassieke universiteiten van Nederland. Gelegen op een groene campus ten zuiden van het stadscentrum van Nijmegen. Onze universiteit wil bijdragen aan een gezonde, vrije wereld met gelijke kansen voor iedereen.
Deze bedrijfspagina is automatisch gegenereerd en bevat daarom nog weinig informatie. Je vindt meer informatie over ‘bedrijfsnaam’ op hun website: ‘’Carrierewebsite’’
Resources:
Change language to: English
Deze pagina is geoptimaliseerd voor mensen uit Nederland. Bekijk de versie geoptimaliseerd voor mensen uit het Verenigd Koninkrijk.