Two PhD positions on the ERC-funded project "CAESAR: integrating safety and cybersecurity through stochastic model checking"

Two PhD positions on the ERC-funded project "CAESAR: integrating safety and cybersecurity through stochastic model checking"

Published Deadline Location
20 Dec 20 Feb Enschede

You cannot apply for this job anymore.

Browse the current job offers or choose an item in the top navigation above.

Job description

The Formal Methods and Tools (FMT) research group has openings for two PhD students. 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.

Specifications

University of Twente (UT)

Requirements

We are looking for enthusiastic candidates with a degree in Computer Science or Mathematics with a demonstrable interest in computer science. 

  • You have a MSc in Mathematics or Computer Science.
  • You have a thorough theoretical background, e.g. in formal methods.
  • You have experience with at least one of the fields of safety, security, stochastic model checking, uncertainty frameworks.

Are you up for the challenge to improve the world of Computer Science with your research as well as teaching in one of the most top-rated departments in the Netherlands?

INFORMATION AND APPLICATION

Please send your application before February 5, 2020 via the 'Apply now' button, including:

  • a cover letter (explaining your specific interest and qualifications)
  • your curriculum vitae
  • a list of all courses + marks and a short description of your MSc thesis
  • references (contact information) of three scientific staff members

Please note: you are required to apply via the "apply now" button below, ánd to fill in an additional questionnaire before via this link:

https://forms.gle/ahukYJcBGgdToZHU9

before we can process your application.


You are welcome to contact prof.dr. M.I.A. Stoelinga for any questions you might have: m.i.a.stoelinga@utwente.nl.

The organization

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. Our central goal is to develop formal techniques and tools to support the development of complex systems and increase the reliability of the high-tech systems that we all rely on, both as individuals and as society.

Conditions of employment

The university offers an excellent, inspiring, multidisciplinary and stimulating scientific environment with an attractive campus and lots of facilities for sports and leisure. The university provides a dynamic ecosystem with enthusiastic colleagues in which internationalization is an important part of the strategic agenda. 

We offer a PhD position for four years (38 hrs/week) in an outstanding scientific environment: our research group was ranked 1st in the last national research assessment. 

The terms of employment are in accordance with the Dutch Collective Labour Agreement for Universities (CAO) and include:

  • Full status as an employee at the University of Twente, including pension and health care benefits.
  • Gross salary ranging from € 2.325,- (1st year) to € 2.972,- (4th year) per month, plus a holiday allowance (8%) and an end-of-year bonus (8.3%).
  • A minimum of 29 leave days in case of fulltime employment based on a formal workweek of 38 hours. A fulltime employment in practice means 40 hours a week, therefore resulting in 96 extra leave hours on an annual basis.
  • Excellent facilities for professional and personal development.

Employer

The University of Twente. We stand for life sciences and technology. High tech and human touch. Education and research that matter. New technology which leads change, innovation and progress in society. The University of Twente is the only campus university of the Netherlands; divided over five faculties we provide more than fifty educational programmes. We have a strong focus on personal development and talented researchers are given scope for carrying out groundbreaking research.

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.

Specifications

  • PhD
  • Engineering
  • max. 38 hours per week
  • €2325—€2972 per month
  • University graduate
  • 1083884

Employer

University of Twente (UT)

Learn more about this employer

Location

Drienerlolaan 5, 7522 NB, Enschede

View on Google Maps