1. Vacancies
  2. PhD Candidate on Software Reliability for Critical Water Infrastructures

PhD Candidate on Software Reliability for Critical Water Infrastructures

Are you interested in a PhD position on Software Reliability for Critical Water Infrastructures? Apply now!

Apply now
  • Hi! Are you my
    new colleague?
    Ying Wang
  • Hi! Are you my
    new colleague?
    Kuan Chen
  • Hi! Are you my
    new colleague?
    Stefano Stramigioli
  • Hi! Are you my
    new colleague?
    Eline Meijerink
  • Hi! Are you my
    new colleague?
    Clara Stegehuis
  • Hi! Are you my
    new colleague?
    Britt Büter
  • Hi! Are you my
    new colleague?
    Stephan Maathuis
  • Hi! Are you my
    new colleague?
    Jeroen Blok

Key takeaways

  • Hours
    40 hr.
  • Salary indication
    Salary gross/monthly
    based on full-time
    € 2,770 - € 3,539
  • Deadline
    29 Feb 2024

The reliability of software systems in critical infrastructures is more crucial than ever in times of escalating climate change impacts. The STORM_SAFE project aims to advance software resilience in vital water structures like storm surge barriers. You will contribute by developing and implementing algorithms and tools that focus on quantitative verification and validation. This will enhance the dependability and reliability of these systems and addresses critical challenges posed by aging software and the increasing frequency of extreme weather events. Your work will be instrumental in safeguarding communities and reducing potential socio-economic damages caused by infrastructure failures.

In an era where climate change is escalating, the robustness and resilience of software systems in critical water infrastructures have become increasingly essential. The STORM_SAFE project, a European consortium centred around the North Sea region and coordinated by Rijkswaterstaat – the Dutch authority for public works and water management – aims to bolster the software resilience of essential infrastructures such as storm surge barriers, locks, and sluices.

In this project, you will develop algorithms and tools in quantitative modelling and verification – that in turn help create more reliable water infrastructure software that can withstand the unpredictability of climate change. You will build and analyse formal mathematical models of the infrastructures and their software to enhance performance and dependability, ensuring that these key assets remain robust in the face of environmental threats.

As the successful candidate in the STORM_SAFE project, you will play a pivotal role in building a safer, more resilient future. You will work alongside a diverse, international team of academic and industrial experts, on a mission to protect communities and preserve key economic infrastructures. This role offers a rich, hands-on experience, placing you at the intersection of software engineering and mathematics with societal needs. Your contributions will add valuable insights to the field, aiding in the ongoing efforts to enhance climate resilience strategies.

Join our team at the University of Twente and contribute to an innovative approach in safeguarding critical water infrastructures. Be a part of an initiative that is not just about technological advancement but also about fostering a more secure and sustainable future.

Your profile

  • You are an enthusiastic and highly motivated researcher.
  • You have, or will shortly, acquire a master's degree in the field of Computer Science, Mathematics, or comparable.
  • You have a demonstrable interest in formal specification and verification.
  • You have strong software engineering and programming skills and enjoy pushing the limits of algorithms and data structures.
  • You are interested in working at the intersection of computer science and mathematics, with a particular emphasis on probability theory.
  • You have a good team spirit and like to work in an interdisciplinary and internationally oriented environment.
  • You are proficient in English.

Our offer

  • As a PhD candidate at UT, you will be appointed to a full-time position for four years, with a qualifier in the first year, within a very stimulating and exciting scientific environment.
  • You will be a member of the Formal Methods and Tools research group, a strong research group on formal verification with an open and welcoming atmosphere.
  • The University offers a dynamic ecosystem with enthusiastic colleagues.
  • Your salary and associated conditions are in accordance with the collective labour agreement for Dutch universities (CAO-NU). 
  • You will receive a gross monthly salary ranging from € 2.770,- (first year) to € 3.539,- (fourth year).
  • There are excellent benefits including a holiday allowance of 8% of the gross annual salary, an end-of-year bonus of 8.3%, and a solid pension scheme.
  • The flexibility to work (partially) from home.
  •  A minimum of 232 leave hours in case of full-time employment based on a formal workweek of 38 hours. A full-time employment in practice means 40 hours a week, therefore resulting in 96 extra leave hours on an annual basis.
  • Free access to sports facilities on a green campus.
  • A family-friendly institution that offers parental leave (both paid and unpaid).
  • You will have a training programme as part of the Twente Graduate School where you and your supervisors will determine a plan for a suitable education and supervision.
  • We encourage a high degree of responsibility and independence, while collaborating with close colleagues, researchers and other staff.

Information and application

Are you interested in this position? Please send your application via the 'Apply now' button below before 29 of February, and include:

Share this vacancy

About the department

The Formal Methods and Tools group is part of the Computer Science department of the University of Twente. Our mission is to develop mathematical methods, high-performance data structures and algorithms, and suitable programming languages for the design of reliable software- and data-intensive control systems.

The group consists of approximately 40 researchers with a very diverse background. We have an open and inclusive atmosphere, with many group activities (both work-related and fun).

About the organisation

The faculty of Electrical Engineering, Mathematics and Computer Science (EEMCS) uses mathematics, electronics and computer technology to contribute to the development of Information and Communication Technology (ICT). With ICT present in almost every device and product we use nowadays, we embrace our role as contributors to a broad range of societal activities and as pioneers of tomorrow's digital society. As part of a people-first tech university that aims to shape society, individuals and connections, our faculty works together intensively with industrial partners and researchers in the Netherlands and abroad, and conducts extensive research for external commissioning parties and funders. Our research has a high profile both in the Netherlands and internationally. It has been accommodated in three multidisciplinary UT research institutes: Mesa+ Institute, TechMed Centre and Digital Society Institute.

Want to know more?

Gerhold, M. (Marcus)

Gerhold, M. (Marcus)
Assistant Professor

Gerhold, M. (Marcus)
Assistant Professor

Do you have questions about this vacancy? Then you can contact Marcus for all substantive questions about this position and the application procedure. For general questions about working for the UT, please refer to the chatbot.

How to apply

Step 1

When you see a vacancy that appeals to you, you can apply online. We ask you to upload a CV and motivation letter and/or list of publications. You will receive a confirmation of receipt by e-mail.

Apply now

Step 2

The selection committee will review your application and you will receive a response within 2 weeks after the vacancy has been closed.

Step 3

1st interview.
The 1st (online or in person) meeting serves as an introduction where we introduce ourselves to you and you to us. You may be asked to give a short presentation. This will be further explained in the invitation.

Step 4

2nd interview.
In the second interview, we will further discuss the job content, your skills and your talents.

Step 5

The offer.
If the conversations are positive, you will be made a suitable offer.

Your Colleagues

About the faculty EEMCS

Curious about what the faculty of Electrical Engineering, Mathematics and Computer Science (EEMCS) stands for? Check out the EEMCS website for more information.

A job that matters

Create new opportunities for yourself, your colleagues and our society. Scientist or teacher, administrator or facilitator, thinker or doer, energetic leader or silent support – your work at the University of Twente matters. And you too!

  • Our mission
    Human Touch

    At the UT it’s all about people, in line with our university’s High Tech Human Touch philosophy. In everything we do, the well-being and future of our students and staff are paramount. From research and teaching to personnel management, campus management and the use of new technologies.

  • Our mission
    We are a university of technology

    Our university is a public institution that serves society. We are accountable to society for the ways in which we use our academic freedom. We are responsible for ensuring that the power of science and technology is harnessed to achieve the best possible impact in a changing world. We cherish our rich tradition of combining technical and social sciences in our five profiling themes: Improving healthcare by personalized technologies; Creating intelligent manufacturing systems; Shaping our world with smart materials; Engineering our digital society; and Engineering for a resilient world.

  • Our mission
    We help to strengthen society

    We help society meet the challenges of today and tomorrow. But we are also transparent about what science and technology can and cannot do in finding sustainable solutions. And help translate these solutions into everyday life.

  • Our mission
    We are sustainable

    We want our communities to flourish and show resilience, so we seize opportunities for innovation. We are knowledgeable and have an eye for what society needs. Our students and staff receive all the guidance they need in their quest for ecological, social and economic sustainability.
    “The University of Twente is all about people. Our sustainable technologies help to strengthen society.”

Browse all jobs