Sort by
Refine Your Search
-
Listed
-
Category
-
Employer
- Delft University of Technology (TU Delft)
- Leiden University
- Utrecht University
- Delft University of Technology (TU Delft); yesterday published
- Eindhoven University of Technology (TU/e)
- Royal Netherlands Academy of Arts and Sciences (KNAW)
- Delft University of Technology (TU Delft); Published yesterday
- Delft University of Technology (TU Delft); today published
- University of Groningen
- Eindhoven University of Technology (TU/e); yesterday published
- Erasmus University Rotterdam
- Maastricht University (UM)
- University of Amsterdam (UvA)
- Delft University of Technology (TU Delft); Published today
- University of Twente
- Vrije Universiteit Amsterdam (VU)
- Wageningen University & Research
- Delft University of Technology (TU Delft); 17 Oct ’25 published
- Leiden University; yesterday published
- Tilburg University
- University of Amsterdam (UvA); Published today
- University of Amsterdam (UvA); yesterday published
- Vrije Universiteit Amsterdam (VU); Published today
- ARCNL
- Delft University of Technology (TU Delft); 16 Oct ’25 published
- Delft University of Technology (TU Delft); Published 31 Oct ’25
- Eindhoven University of Technology
- Eindhoven University of Technology (TU/e); Published 7 Nov ’25
- Eindhoven University of Technology (TU/e); Published today
- Eindhoven University of Technology (TU/e); Published yesterday
- Eindhoven University of Technology (TU/e); today published
- Leiden University; today published
- Maastricht University (UM); 27 Sep ’25 published
- Maastricht University (UM); 3 Oct ’25 published
- Maastricht University (UM); today published
- NIOZ Royal Netherlands Institute for Sea Research
- Naturalis; Published today
- Naturalis; Published yesterday
- Radboud University
- Radix Trading LLC
- The Open Universiteit (OU)
- The Open Universiteit (OU); today published
- Tilburg University; today published
- Universiteit van Amsterdam
- University of Amsterdam (UvA); Published yesterday
- University of Groningen; Groningen
- University of Groningen; 26 Sep ’25 published
- University of Groningen; Published yesterday
- University of Twente (UT)
- University of Twente (UT); today published
- Utrecht University; yesterday published
- Vrije Universiteit Amsterdam
- Wageningen University & Research; Published today
- Wageningen University and Research Center
- 44 more »
- « less
-
Field
-
Formal verification aims at providing strong guarantees about the behaviour of programs and systems. It relies on logic to precisely describe the system in question and check desired properties
-
Job related to staff position within a Research Infrastructure? No Offer Description Formal verification aims at providing strong guarantees about the behaviour of programs and systems. It relies
-
Organisation Job description Formal verification aims at providing strong guarantees about the behaviour of programs and systems. It relies on logic to precisely describe the system in question and
-
Programme? Not funded by a EU programme Is the Job related to staff position within a Research Infrastructure? No Offer Description Want to rethink the future of software engineering at scale? Join
-
Programme? Not funded by a EU programme Is the Job related to staff position within a Research Infrastructure? No Offer Description Want to rethink the future of software engineering at scale? Join
-
Description Want to rethink the future of software engineering at scale? Join researchers from TU Delft and Meta Platforms as a PhD student in the newly established FUSE Lab! Job description As generative
-
limitations —driven to explore solutions that go beyond what verification alone can achieve. This PhD project focuses on developing analysis and program repair techniques that enhance software interoperability
-
motivated candidate eager to work at the intersection of cybersecurity, software engineering, and artificial intelligence. About the project Vulnerabilities in software products continue to be a major
-
We are offering a fully funded PhD position with a duration of four years for a motivated candidate eager to work at the intersection of cybersecurity, software engineering, and artificial
-
Description Want to rethink the future of software engineering at scale? Join researchers from TU Delft and Meta Platforms as a PhD student in the newly established FUSE Lab! Job description As generative