Fully-funded PhD Position for 4-years Available at Radboud University, Nijmegen, the Netherlands
We are looking for a highly motivated PhD candidate to join our project on the formal model-based analysis of partially observable Markov models. Your main responsibilities will be to conduct cutting-edge research leading to the development of faster and more scalable techniques for the analysis of safety-critical systems that operate based on limited information about their environment. The project allows to freely explore connections between runtime verification, model checking, automata learning and reinforcement learning, depending of the joint interests of the principal investigator and you. While previous knowledge in model checking, Markov decision processes or automata theory, and programming skills in C++ or Python are beneficial, the willingness to learn and extend your knowledge in these areas is more crucial. 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 do top research on the use of models for 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. In 2021, we published our research in top conferences such as CAV, TACAS, (formal methods) AAAI (artificial intelligence) and RSS (robotics). Furthermore, our group actively contributes to the development of the state-of-the-art probabilistic model checker Storm. 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. For more information, please contact Sebastian Junges or visit - sjunges.github.io<http://sjunges.github.io> - cs.ru.nl<http://cs.ru.nl> - stormchecker.org<http://stormchecker.org> To apply, please visit: https://www.ru.nl/werken-bij/vacature/details-vacature/?recid=1171682&doel=embed
_______________________________________________ uai mailing list uai@engr.orst.edu https://it.engineering.oregonstate.edu/mailman/listinfo/uai
