PhD Candidate on Software Reliability for Critical Water Infrastructures
4 weken geleden
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, Overijssel, Nederland University of Twente VoltijdThe STORM_SAFE project focuses on enhancing software resilience in vital water structures like storm surge barriers, aiming to address challenges posed by aging software and increasing extreme weather events.This project offers the opportunity to contribute to the development and implementation of algorithms and tools that improve the dependability and...
-
PhD Candidate
2 weken geleden
Enschede, Overijssel, Nederland Saxion VoltijdAre you ready to make a groundbreaking contribution to forensic science? As a PhD Candidate in our prestigious DaVinciQD 2.0 project, you'll have the opportunity to apply advanced Proteomics and Functionalized Nanoparticles for the Analysis of Traces. The results of your research will be used to develop a new tool for forensic researchers at crime scenes to...
-
PhD Candidate
2 weken geleden
Enschede, Overijssel, Nederland Werkenbijhogescholen VoltijdFunctie-inhoud Are you ready to make a groundbreaking contribution to forensic science? As a PhD Candidate in our prestigious DaVinciQD 2.0 project, you'll have the opportunity to apply advanced Proteomics and Functionalized Nanoparticles for the Analysis of Traces. The results of your research will be used to develop a new tool for forensic researchers...
-
PhD position on Radio Systems
2 weken geleden
Enschede, Overijssel, Nederland University of Twente VoltijdJob Title: PhD Candidate in Radio Systems for Future 6G Networks at the University of TwenteThe Radio Systems (RS) group at the University of Twente (UT) is seeking a passionate PhD candidate to define the system-level requirements for joint communication and sensing (JCAS) in future 6G networks. This opportunity is part of Program Line 1 (Intelligent...
-
Enschede, Overijssel, Nederland University of Twente VoltijdSoftware Development Teams - Ethical Software Development Job Offer Software development teams are required to create software that meets technical requirements, including functionality and reliability. Additionally, in fields like education and healthcare, adherence to ethical principles such as transparency, fairness, non-maleficence, responsibility, and...
-
Phd Candidate On Laser-assisted Manipulation for
3 weken geleden
Enschede, Nederland Universiteit Twente Voltijd**Key takeaways**: - Hours- 38 - 40 hr.- - Salary indicationSalary gross/monthly based on full-time - € 2,770 - € 3,539- - Deadline- 7 Jul 2024**The Background** Coupling light from optical fibres to integrated waveguides, as well as coupling light from optical chip to optical chip, is a challenge in the mass-production of photonic integrated circuitry....
-
PhD position on Radio Systems
2 maanden geleden
Enschede, Nederland University of Twente VoltijdThe 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...
-
PhD position on Radio Systems
4 weken geleden
Enschede, Nederland University of Twente VoltijdThe 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...
-
Phd Candidate On Laser-assisted Manipulation for
2 weken geleden
Enschede, Overijssel, Nederland Universiteit Twente VoltijdKey takeaways: Hours hr. Salary indicationSalary gross/monthlybased on full-time- € 2,770 - € 3,539 Deadline 7 Jul 2024The BackgroundCoupling light from optical fibres to integrated waveguides, as well as coupling light from optical chip to optical chip, is a challenge in the mass-production of photonic integrated circuitry. In the project,...
-
Enschede, Nederland University of Twente VoltijdAs 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, Nederland University of Twente VoltijdAs 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...
-
Phd Position in “game-based Approaches for
3 weken geleden
Enschede, Nederland Universiteit Twente Voltijd**Key takeaways**: - Hours- 38 hr.- - Salary indicationSalary gross/monthly based on full-time - € 2,770 - € 3,539- - Deadline- 9 Jun 2024The hypothesis that underlies this PhD position is that these and other questions are underdeveloped, both from a scientific point of view and towards practical implementation of measures set to build local drought...
-
Enschede, Overijssel, Nederland University of Twente VoltijdThe statistics research group at the University of Twente is looking for candidates to join their team. They have openings for **one PhD** (four years) and **two postdoc positions** (up to 3 years) as part of an ERC consolidator grant focusing on generalizing statistical theory from artificial to biological neural networks. This project aims to provide...
-
Enschede, Nederland University of Twente VoltijdThe 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 University of Twente VoltijdThe 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...
-
Phd Position in "game-based Approaches for
2 weken geleden
Enschede, Overijssel, Nederland Universiteit Twente VoltijdKey takeaways: Hours 38 hr. Salary indicationSalary gross/monthlybased on full-time- € 2,770 - € 3,539 Deadline 9 Jun 2024The hypothesis that underlies this PhD position is that these and other questions are underdeveloped, both from a scientific point of view and towards practical implementation of measures set to build local drought resilience, and...
-
Phd Positions On Industry 5.0 in Manufacturing
3 dagen geleden
Enschede, Nederland Universiteit Twente Voltijd**Key takeaways**: - Hours- 40 hr.- - Salary indicationSalary gross/monthly based on full-time - € 2,770 - € 3,539- - Deadline- 24 May 2024**The Challenge** In this role, you will work closely with academic and industry partners to develop innovative digital enabled technologies and methods for the design and operation of future manufacturing. In line...
-
Phd Position On Algebraic Techniques for Risk
1 week geleden
Enschede, Nederland Universiteit Twente Voltijd**Key takeaways**: - Hours- 40 hr.- - Salary indicationSalary gross/monthly based on full-time - € 2,770 - € 3,539- - Deadline- 24 Jun 2024Do you want to do research on the intersection of mathematics and computer science, using algebra to create fast and widely applicable algorithms? We have the following offer: **_ The challenge_** The safety and...
-
Enschede, Overijssel, Nederland University of Twente VoltijdJob Title: PhD Position in Modelling of Press Forming Process in Thermoplastic CompositesWelcome to the University of Twente's Production Technology group, part of the National research program Aviation in Transition. We are currently seeking a highly motivated PhD candidate to join our team.The focus of this position is on the modelling of the press forming...
-
Enschede, Overijssel, Nederland University of Twente VoltijdYou 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...
