PhD Candidate on Software Reliability for Critical Water Infrastructures

7 maanden geleden


Enschede, Nederland University of Twente Voltijd

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.

  • Enschede, Nederland Universiteit Twente Voltijd

    **Key takeaways**: - Hours- 32 - 40 hr.- - Salary indication- Salary gross/monthly based on full-time - € 2,872 - € 3,670- - Deadline- 6 Oct 2024Nowadays so much new and complex software is being developed that there are by far not enough specialists to test this software properly. As a result, companies need more time/resources to develop software, and...

  • PhD position on Radio Systems

    7 maanden geleden


    Enschede, Nederland University of Twente Voltijd

    The Radio Systems (RS) group of the University of Twente (UT) has a vacancy for a PhD candidate with the aim to define the system-level requirements for joint communication and sensing (JCAS) for future 6G networks . This position is embedded in Program Line 1 (Intelligent Components), within the framework of the Dutch national growth fund for FNS (Future...


  • Enschede, Nederland Universiteit Twente Voltijd

    **Key takeaways**: - Hours- 40 hr.- - Salary indication- Salary gross/monthly based on full-time - € 2,872 - € 3,670- - Deadline- 29 Sep 2024Public-key cryptography is vulnerable to mathematical attacks by quantum computers. Governments are encouraging organizations to adopt new post-quantum cryptography algorithms to secure critical infrastructure....


  • Enschede, Nederland University of Twente Voltijd

    As part of the National research program Aviation in Transition, the Production Technology group at the University of Twente has a PhD position on the modelling of the press forming process of thermoplastic composites. Thermoplastic composite materials are considered a prime candidate for the next generation of commercial aircraft. Compared to thermoset...


  • Enschede, Overijssel, Nederland University of Twente Voltijd

    Job DescriptionThe University of Twente is seeking a highly skilled postdoctoral researcher to join our team. As a lubrication expert, you will be responsible for developing a remaining grease life model for rolling bearings.This 2-year project aims to create a predictive model that determines the remaining grease life based on oil content, bleed properties,...


  • Enschede, Nederland University of Twente Voltijd

    Due to climate change, process water is becoming increasingly scarce, while (waste) salt solutions containing water and valuable salts are often discharged. Although technical solutions for the recovery of water and salts are available, these technologies are not cost-effective and sustainable. To secure industrial water availability and at the same time...


  • Enschede, Nederland University of Twente Voltijd

    The statistics research group at the University of Twente invites applications for one PhD (four years) and two postdoc positions (up to 3 years). These positions are part of an ERC consolidator grant. The aim of the research program is to generalize the recent statistical theory from artificial neural networks to biological neural networks. While deep...


  • Enschede, Nederland University of Twente Voltijd

    You will be part of the highly multidisciplinary consortium NANOSPRESSO-NL (8 M€). We aim to study, develop, and implement a disruptive technology for decentralized and small-scale bedside production of high quality and affordable nucleic acid nanomedicines for the treatment of orphan (rare) diseases. The technology is based on the microfluidic formation...


  • Enschede, Nederland University of Twente Voltijd

    The goal of this 2-year project is to develop a model that makes it possible to determine the remaining grease life based on oil content, bleed properties, oxidation and rheology of grease samples taken from bearings that have been running in test rigs at SKF. This requires a thorough understanding of Elasto-Hydrodynamic Lubrication (EHL), thin film...


  • Enschede, Nederland Universiteit Twente Voltijd

    **Key takeaways**: - Hours- 38 - 40 hr.- - Salary indication- Salary gross/monthly based on full-time - € 4,020 - € 5,278- - Deadline- 15 Dec 2024As the need for more sustainable computing and communication infrastructures becomes more urgent and evident, in this project seven Dutch partners (the University of Twente and six private partners)...


  • Enschede, Nederland Universiteit Twente Voltijd

    **Key takeaways**: - Hours - 40 hr.- Salary indication- Salary gross/monthly based on full-time- € 2,901 - € 3,707- Deadline - 20 Jan 2025 **The Project** The projects’ goal is to create versatile basic models that can be used in larger scale models to model optimal material composition and find better process parameters to produce the new green...


  • Enschede, Overijssel, Nederland g2g Voltijd

    At g2g, we're working towards a sustainable future by developing innovative applications that provide insight and predictability based on real-time data. As a Senior Software Engineer, you'll be part of our agile development team, where you can propose new technology or software architectures to accelerate and improve the quality of our applications and...


  • Enschede, Nederland University of Twente Voltijd

    We are seeking a full time PhD researcher with interests in granular physics, computer modelling and Machine Learning techniques to join University of Twente (Netherlands), and work on a novel high-performance multi-phase material point method for modelling submarine landslides . This project is part of the EU funded Marie Curie Doctoral Network POSEIDON...


  • Enschede, Nederland Universiteit Twente Voltijd

    **Key takeaways**: - Hours- 40 hr.- - Salary indication- Salary gross/monthly based on full-time - € 2,872 - € 3,670- - Deadline- 15 Dec 2024Natural hazards such as earthquakes, floods, and landslides pose significant risks to human populations, infrastructure, and ecosystems. These hazards rarely occur in isolation; they often trigger or interact with...


  • Enschede, Nederland Universiteit Twente Voltijd

    **Key takeaways**: - Hours- 40 hr.- - Salary indication- Salary gross/monthly based on full-time - € 2,872 - € 3,670- - Deadline- 30 Sep 2024This project aims at effective up **HeatcraftHP Project Summary** The specialized craft of installing, maintaining, and optimizing heat pumps demands extensive knowledge and skills to attain peak performance and...


  • Enschede, Nederland University of Twente Voltijd

    As part of the Dutch National research program Aviation in Transition, the Production Technology group at the University of Twente has a PhD position on the simulation of a novel assembly technique for thermoplastic composites in a T-joint configuration. Thermoplastic composite materials are considered a prime candidate for the next generation of...


  • Enschede, Nederland Universiteit Twente Voltijd

    **Key takeaways**: - Hours- 38 - 40 hr.- - Salary indication- Salary gross/monthly based on full-time - € 2,872 - € 3,670- - Deadline- 1 Dec 2024Currently, there is a high demand for increased accessibility of mental healthcare. Capacity management, and more personalized diagnosis and treatment, are seen as important solutions. However, the...


  • Enschede, Nederland University of Twente Voltijd

    In recent years, machine learning (ML) solutions are increasingly being deployed in Security Operations Centres (SOCs) to enhance security coverage, and to reduce the number of missed attacks. Not only do these ML systems create many false positives, it is often very difficult to understand how they work in the first place. Moreover, the forensic analysis...


  • Enschede, Nederland Universiteit Twente Voltijd

    **Key takeaways**: - Hours- 40 hr.- - Salary indication- Salary gross/monthly based on full-time - € 2,872 - € 3,760- - Deadline- 14 Jan 2025Are you an emerging scientist driven by scientific curiosity to discover and learn? Are you interested in unravelling the intricate nexus between climate change stressors and biodiversity? Are you passionate about...


  • Enschede, Nederland University of Twente Voltijd

    We invite applications for two PhD positions, one with Prof. Claudia Filippi at the University of Twente and one with Dr. Remco Havenith at the University of Groningen in the Netherlands. We are looking for talented and highly motivated candidates to work on a collaborative project between the two groups on the combined development of advanced valence bond...