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)
- Delft University of Technology (TU Delft); Published yesterday
- Royal Netherlands Academy of Arts and Sciences (KNAW)
- Wageningen University & Research
- Delft University of Technology (TU Delft); today published
- Delft University of Technology (TU Delft); Published today
- Eindhoven University of Technology (TU/e); yesterday published
- Erasmus University Rotterdam
- University of Amsterdam (UvA)
- University of Groningen
- Vrije Universiteit Amsterdam (VU)
- Delft University of Technology (TU Delft); 17 Oct ’25 published
- Leiden University; yesterday published
- Maastricht University (UM)
- Tilburg University
- University of Amsterdam (UvA); Published today
- University of Twente
- Vrije Universiteit Amsterdam (VU); Published today
- 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
- Maastricht University (UM); today published
- NIOZ Royal Netherlands Institute for Sea Research
- Naturalis; Published today
- Naturalis; Published yesterday
- Princess Máxima Center for Pediatric Oncology
- Radix Trading LLC
- University of Amsterdam (UvA); Published yesterday
- University of Amsterdam (UvA); yesterday published
- University of Groningen; Published yesterday
- Utrecht University; yesterday published
- Vrije Universiteit Amsterdam
- Wageningen University & Research; Published today
- Wageningen University and Research Center
- 31 more »
- « less
-
Field
-
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
-
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
-
source programme code (preferably as a software package) Exchange within the VIDI project to embed the results in flood prediction You will work here We are the Hydrology and Environmental Hydraulics Group
-
stakeholders Development of open source programme code (preferably as a software package) Exchange within the VIDI project to embed the results in flood prediction You will work here We are the Hydrology and
-
mechanics, electronics and computing. The Nikhef ATLAS group consists of a total of 15 scientific staff, typically 5 postdocs and 15 PhD students. As a founding member of the ATLAS collaboration, the group
-
5 postdocs and 15 PhD students. As a founding member of the ATLAS collaboration, the group has a long-term involvement in detector construction (the semiconductor tracker, barrel muon chambers