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.
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:
- A cover letter (maximum 2 pages A4), emphasizing your motivation to apply for a Ph.D. trajectory in general as well as for this specific position.
- A Curriculum Vitae, including a list of all courses attended and grades obtained, and, if applicable, a list of publications.
- A PDF version of your Master’s thesis or comparable work of your own.
- The names of 2-3 references who can be contacted for additional information about you.
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.