Huidige banen gerelateerd aan PhD Candidate on Software Reliability for Critical Water Infrastructures - Enschede - University of Twente
-
Enschede, Overijssel, Nederland University of Twente VoltijdAbout the RoleWe are seeking a highly motivated PhD candidate to join our research team at the University of Twente. As a PhD candidate, you will be part of a dynamic and interdisciplinary research group focused on software reliability and verification for critical water infrastructures.Key ResponsibilitiesDevelop and implement algorithms and tools for...
-
Enschede, Overijssel, Nederland University of Twente VoltijdAbout the RoleThe University of Twente is seeking a highly motivated PhD candidate to join the Formal Methods and Tools research group. As a PhD candidate, you will contribute to the STORM_SAFE project, which aims to advance software resilience in critical water infrastructures.Key ResponsibilitiesDevelop and implement algorithms and tools for quantitative...
-
Enschede, Overijssel, Nederland University of Twente VoltijdAbout the RoleThe University of Twente is seeking a highly motivated PhD candidate to join our research team in the STORM_SAFE project. As a PhD candidate, you will contribute to advancing software resilience in critical water infrastructures, specifically storm surge barriers, locks, and sluices.Key ResponsibilitiesDevelop and implement algorithms and tools...
-
Enschede, Overijssel, Nederland University of Twente VoltijdAbout the RoleThe University of Twente is seeking a highly motivated PhD candidate to join the Formal Methods and Tools research group. As a PhD candidate, you will contribute to the STORM_SAFE project, which aims to advance software resilience in critical water infrastructures.Key ResponsibilitiesDevelop and implement algorithms and tools for quantitative...
-
PhD Candidate in Software Reliability for Critical Water Systems
6 dagen geleden
Enschede, Overijssel, Nederland University of Twente VoltijdAbout the RoleThe University of Twente is seeking a highly motivated PhD candidate to join the Formal Methods and Tools research group. As a PhD candidate, you will contribute to the STORM_SAFE project, which aims to advance software resilience in critical water infrastructures.Key ResponsibilitiesDevelop and implement algorithms and tools for quantitative...
-
PhD Candidate in Software Reliability for Critical Water Systems
3 dagen geleden
Enschede, Overijssel, Nederland University of Twente VoltijdAbout the RoleThe University of Twente is seeking a highly motivated PhD candidate to join our research group on formal methods and tools. As a PhD candidate, you will contribute to the STORM_SAFE project, which aims to advance software resilience in critical water infrastructures.Key ResponsibilitiesDevelop and implement algorithms and tools for...
-
Software Reliability Expert for Water Infrastructure
3 weken geleden
Enschede, Overijssel, Nederland University of Twente VoltijdThe STORM_SAFE project is a research initiative focused on enhancing software resilience in vital water structures like storm surge barriers. This project aims to address the 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...
-
PhD Researcher in Radio Systems
7 dagen geleden
Enschede, Overijssel, Nederland University of Twente VoltijdJob DescriptionThe University of Twente is seeking a highly motivated PhD candidate to join the Radio Systems group. The successful candidate will focus on defining system-level requirements for joint communication and sensing (JCAS) in future 6G networks.About the ProjectThe JCAS project aims to integrate high-resolution radar sensing with high-speed...
-
Phd Position On Model-driven Testing for
1 maand geleden
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...
-
Constitutive Modelling Expert for Press Forming Simulations
3 weken geleden
Enschede, Overijssel, Nederland University of Twente VoltijdJob Title: PhD Position in Modelling of Press Forming Process in Thermoplastic CompositesAbout the Position:We are seeking a highly motivated PhD candidate to contribute to our research team at the University of Twente. The successful candidate will be part of the National research program Aviation in Transition, focusing on the development of novel...
-
PhD Position in Radio Systems for Future 6G Networks
3 weken geleden
Enschede, Overijssel, Nederland University of Twente VoltijdJob Title:PhD Candidate in Radio Systems for Future 6G NetworksAbout the Opportunity:The Radio Systems group at the University of Twente is seeking a highly motivated PhD candidate to contribute to the development of future 6G networks. This position is part of a larger research program focused on intelligent components, funded by the Dutch national growth...
-
PhD position on Radio Systems
4 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 in Radio Systems Research
2 weken geleden
Enschede, Overijssel, Nederland University of Twente VoltijdAbout the PositionThe University of Twente is seeking a highly motivated and enthusiastic PhD candidate to join the Radio Systems group. The successful candidate will be part of a dynamic and international research environment, working on the development of novel dual-scenario beamforming concepts for joint communication and sensing (JCAS) in future 6G...
-
PhD Researcher in Joint Communication and Sensing
3 weken geleden
Enschede, Overijssel, Nederland University of Twente VoltijdJob Title:PhD Candidate in Radio Systems for Future 6G NetworksAbout the Opportunity:The Radio Systems group at the University of Twente is seeking a highly motivated PhD candidate to contribute to the development of future 6G networks. This position is part of a larger research program focused on intelligent components, funded by the Dutch national growth...
-
Enschede, Overijssel, Nederland University of Twente VoltijdPhD Position in Thermoplastic Composite T-Joint Welding Process SimulationsWe are seeking a highly motivated PhD candidate to join our research team at the University of Twente. As part of the Dutch National research program Aviation in Transition, this PhD position focuses on the simulation of a novel assembly technique for thermoplastic composites in a...
-
PhD Candidate in Biomedical Engineering and Microfluidics
3 weken geleden
Enschede, Overijssel, Nederland University of Twente VoltijdAbout the JobWe are seeking a highly motivated and skilled PhD researcher to join our team at the University of Twente. The successful candidate will be part of a multidisciplinary consortium working on the development of a disruptive technology for decentralized and small-scale production of high-quality and affordable nucleic acid nanomedicines.Key...
-
PhD Researcher in Laser-Assisted Manipulation for Photonic Chips
6 dagen geleden
Enschede, Overijssel, Nederland University of Twente VoltijdJob DescriptionWe are seeking a highly motivated PhD candidate to join our research team at the University of Twente. The successful candidate will work on laser-assisted techniques for manipulating optical elements on a microscopic scale, with a focus on the assembly of photonic chips.BackgroundCoupling light from optical fibers to integrated waveguides, as...
-
PhD position in Constitutive Modelling for Press Forming Simulations
4 maanden geleden
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, Overijssel, Nederland University of Twente VoltijdJob DescriptionWe are seeking a highly motivated PhD candidate to join our research team at the University of Twente. The successful candidate will work on laser-assisted techniques to manipulate optical elements on a microscopic scale, helping in the assembly of photonic chips.BackgroundCoupling light from optical fibers to integrated waveguides, as well as...
-
Phd Position On Hardware Security and Fpga Design
4 weken geleden
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....
PhD Candidate on Software Reliability for Critical Water Infrastructures
5 maanden 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.