Would you like to develop algorithms that help engineer safer systems? In this PhD position, you will enhance and integrate various formal methods towards practical impact.
Your main responsibilities as a PhD Candidate will be to conduct cutting-edge research within the FuRoRe project on robust runtime monitoring under uncertainty. We expect that this research will lead to the development of faster and more scalable techniques for the formal analysis of safety-critical systems that operate based on limited information about their environment. In particular, we aim to develop novel algorithms for the analysis of Markov decision processes and partially observable Markov decision processes (and extensions thereof), motivated by a series of applications in the dependability and security domains. The project explores connections between runtime verification, model checking, automata learning, planning and reinforcement learning.
As a PhD Candidate, you will join a vibrant research group. Like the other PhD Candidates on the project, you will have a limited teaching task (10%).
While previous knowledge of model checking, Markov decision processes or automata theory is beneficial, the willingness to learn and extend your knowledge in these areas is more important.
Fixed-term contract: You will be employed for an initial period of 18 months, after which your performance will be evaluated. If the evaluation is positive, the contract will be extended by 2.5 years (4 year contract) or 3.5 years (5 year contract).
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 enhance model-driven approaches for the design and analysis of software, bridging the gap between theory and applications. We offer joining a fun and diverse group that maintains a range of international cooperations. We publish our research in international flagship conferences such as CAV, TACAS, AAAI, and IJCAI. Furthermore, our group actively contributes to the development of Storm, the state-of-the-art probabilistic model checker
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 is an equal opportunity employer, committed to building a culturally diverse intellectual community, and as such encourages applications from women and minorities. The university offers customised facilities to better align work and private life. Parents are entitled to partly paid parental leave and RU employees enjoy flexibility in the way they structure their work. The university highly values the career development of its staff, which is facilitated by a variety of programmes.
Houtlaan 4, 6525 XZ, Nijmegen
This application process is managed by the employer (Radboud University). Please contact the employer for questions regarding your application.
Please contact the employer for questions regarding your application.
Tip: save this job as favorite in your AcademicTransfer account. This gives you an immediate overview and makes it easy to find the job later on. No account yet? Create it now and take advantage of other useful functionalities too!
Make sure to apply no later than 15 Mar 2024 23:59 (Europe/Amsterdam).
We like to make it easy for you, sign in for these and other useful features: