Please note that this newsitem has been archived, and may contain outdated information or links.
PhD Candidate: Formal Methods (Radboud Universiteit)
Are you an aspiring researcher, fascinated by theoretical computer science? And would you like to conduct research at the intersection of algebraic and logical methods in computer science? Then start your academic career off right as a PhD candidate at Radboud University.
You will contribute to algebraic and logical theories and formal methods for specifying and verifying systems and software. Topics we study are Kleene algebra, automata theory, logics and foundations of monitorability. The latter topic is in the area of runtime verification, and we are in particular interested in the logical foundations of monitoring multiple traces at the same time. All studied topics can be applied to analyse and verify software through the development of specification languages from an algebraic/logical perspective. As a PhD candidate, you will help to further develop these theories and methods, where a focus can be chosen depending on your own interest and background.
Your teaching load may be up to 10% of your working time. For further details, feel free to contact us with any questions about the position. You will be supervised by dr Jana Wagemaker.
Profile
- You should hold an MSc or equivalent degree in Computer Science, Mathematics or a closely related field, or expect to obtain such a degree in this academic year.
- You are able to work both independently and as part of a team.
- You are proficient in English. (Dutch is not required.)
- Prior knowledge of algebraic methods in computer science is appreciated but not required.
If you have not yet fully completed your Master's degree but are excited about this position, please do not hesitate to apply or to contact us.
We are
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 and analysis of software, bridging the gap between theory and applications. The Software Science group has extensive expertise in model learning and testing and theoretical computer science in general.
The Faculty of Science is a complete science faculty where research and education are closely related. The faculty aims to be an academic community with an international character, where staff members from different backgrounds combine their talents with the common goal of being a leading faculty of science in Europe.
Radboud University
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.
If you want to learn more about working at Radboud University, follow our Instagram account and read stories from our colleagues.
For more information visit https://www.ru.nl/en/working-at/job-opportunities/phd-candidate-formal-methods.
Please note that this newsitem has been archived, and may contain outdated information or links.