PhD-TA on Probabilistic Model Checking for Safety-Critical Systems
Eindhoven University of Technology
Job descriptionAre you eager to improve the reliability of complex, safety-critical systems through formal methods? This PhD position offers the opportunity to develop new analysis techniques for reliability models and algorithms for probabilistic model checking, implement them in tools and apply them in industrial settings.We offer a 5-year long PhD-TA (PhD-Teaching Assistant) position to work on probabilistic model checking techniques for safety-critical systems.Our research goal is to improve the safety and reliability of complex, safety-critical systems using formal methods. Certifying that systems, such as autonomous vehicles, storm surge barriers, trains, and robotic systems, operate safely and reliably is a major challenge today. In our research, we develop rigorous, automated techniques for modelling and analysing safety-critical systems. We implement our solutions in tools such as the model checkers and , and apply our techniques in industrial settings.We are looking for a highly motivated candidate to develop new analysis techniques to ensure safe and reliable operation of complex systems. Within the PhD position, you will develop new analysis techniques for reliability models and create and improve algorithms for probabilistic model checking. You will implement these techniques in tools such as the Storm model checker, and apply and evaluate them in industrial context. The specific research topic can be influenced by your personal interests. Possible research directions include:
You will contribute to the research of the . We offer an exciting research environment in our group with national and international collaborators and industrial contacts. Our research combines theoretical contributions with tool implementations and industrial applications.This is a Teaching PhD position with a 25% teaching load. Throughout your PhD, you will spend some time helping with the teaching of relevant courses, for example running instruction sessions and correcting student homework. You will also have the opportunity to obtain teaching qualifications.Job requirements
Conditions of employmentA meaningful job in a dynamic and ambitious university, in an interdisciplinary setting and within an international network. You will work on a beautiful, green campus within walking distance of the central train station. In addition, we offer you:
. * An excellent technical infrastructure, on-campus children’s day care and sports facilities.
.Information and applicationAbout usEindhoven University of Technology is an internationally top-ranking university in the Netherlands that combines scientific curiosity with a hands-on attitude. Our spirit of collaboration translates into an open culture and a top-five position in collaborating with advanced industries. Fundamental knowledge enables us to design solutions for the highly complex problems of today and tomorrow.Curious to hear more about what it’s like as a PhD candidate at TU/e? Please view the .InformationDo you recognize yourself in this profile and would you like to know more?
Please contact Matthias Volk at .Visit our website for more information about the or the You can also contact for questions related to the application process.Are you inspired and would like to know more about working at TU/e? Please visit .ApplicationWe invite you to submit a complete application by using the apply button.
The application should include a:
We look forward to receiving your application and will screen it as soon as possible. The vacancy will remain open until the position is filled.
€2770 – 3539 per month
Eindhoven, Noord-Brabant
Sat, 13 Jul 2024 00:46:07 GMT
To help us track our recruitment effort, please indicate in your email/cover letter where (vacanciesineu.com) you saw this job posting.
vacanciesineu.com Stato candidato Chi sei Stato candidato • Hai conseguito un titolo di studi in…
vacanciesineu.com Stato candidato Sei pronto per diventare Leader di domani in IKEA? CHI SEI Condividi…
vacanciesineu.com Company Description At Turner & Townsend we’re passionate about making the difference. That means…
vacanciesineu.com ENGIM sta selezionando un/a Operatore/trice part-time per le attività di educazione alla cittadinanza globale…
vacanciesineu.com With a passion for life Join our diverse teams of passionate people and a…
vacanciesineu.com About the Role As a Sales Associate at Claire's, you will be responsible for:Supporting…