We have changed our domainWe have changed servers and operate Career|edu under a different domain. Our services will remain unchanged and we will continue to post the best career openings for the academic world at our new domain.
Go back to the Job List
Two Postdoc position on the ERC-funded project CAESAR: “integrating safety and cybersecurity through stochastic model checking”Posted by: University of Twente
Posted date: 2019-Dec-20
The Formal Methods and Tools (FMT) research group has openings for two Postdocs. You will be working on the ERC-funded project CAESAR: integrating safety and cybersecurity through stochastic model checking.
The main objective of CAESAR is to marry the historically separated fields of safety (no disruption due to unintended failures) and security (no malicious attacks). Despite their historic separation, safety and security are heavily intertwined. A simple example: locking your door at night, is great for security against burglars, but bad for safety in case of fire.
The goal of the CAESAR project is to develop an effective framework for the joint analysis of safety and security risks. In this way, safety-security decision making will become more accountable, i.e., more systematic, transparent and quantitative.
The core scientific objectives are concerned with integral safety-security modelling; analysis via stochastic model checking; and risk quantification under uncertainty via fuzzy logic, Bayesian reasoning and Dempster-Schafer theory.
In total, we are hiring five members for the CAESAR team: two PhD students, two postdocs and one scientific programmer.
Please send your application before February 5, 2020 via the 'Apply now' button, including:
The FMT group (https://www.utwente.nl/en/eemcs/fmt/) is part of the Faculty of Electrical Engineering, Mathematics and Computer Science (EEMCS) at the University of Twente. The FMT group also participates in the research institute DSI.
Conditions of Employment
The terms of employment are in accordance with the Dutch Collective Labour Agreement for Universities (CAO) and include:
We are an equal opportunity employer and value diversity at our company. We do not discriminate on the basis of race, religion, color, national origin, gender, sexual orientation, age, marital status or disability status. Because of our diversity values we do particularly support women to apply.
The faculty of Electrical Engineering, Mathematics and Computer Science (EEMCS) comprises three disciplines that shape Information and Communication Technology. ICT is more than communication. In almost every product we use mathematics, electronics and computer technology and ICT now contributes to all of societies' activities. The faculty works together intensively with industrial partners and researchers in the Netherlands and abroad and conducts extensive research for external commissioning parties and funders. The research which enjoys a high profile both at home and internationally, has been accommodated in the multidisciplinary research institutes: Mesa+ Institute, TechMed Centra and Digital Society Institute.