Sort by
Refine Your Search
-
Listed
-
Employer
- Leiden University
- Delft University of Technology (TU Delft)
- Leiden University; Leiden
- University of Groningen
- Utrecht University
- Eindhoven University of Technology (TU/e)
- Maastricht University (UM)
- Delft University of Technology (TU Delft); Delft
- Delft University of Technology (TU Delft); yesterday published
- Maastricht University (UM); Maastricht
- Radboud University
- Eindhoven University of Technology (TU/e); Eindhoven
- Leiden University; today published
- University of Twente
- University of Twente (UT)
- Delft University of Technology (TU Delft); 3 Oct ’25 published
- Eindhoven University of Technology (TU/e); today published
- Eindhoven University of Technology (TU/e); yesterday published
- Maastricht University (UM); 26 Sep ’25 published
- Maastricht University (UM); today published
- Radboud Universiteit
- University of Amsterdam (UvA)
- University of Amsterdam (UvA); Amsterdam
- University of Groningen; Groningen
- University of Groningen; 26 Sep ’25 published
- Utrecht University; Utrecht
- Utrecht University; today published
- Vrije Universiteit Amsterdam (VU)
- 18 more »
- « less
-
Field
-
Engineering, a 4-years PhD position is available at the Bernoulli Institute for Mathematics, Computer Science and Artificial Intelligence with the topic of formal verification of distributed systems
-
implementations of these new techniques (e.g., by leveraging data-parallel functional array programming techniques); giving mathematical proofs of their correctness and efficiency, as well as robust evaluations
-
science departments at Radboud University, where two additional PhD students will work on the Find2Fix project. Together with the rest of the team, you will build demonstators for the Find2Fix technology at
-
one more PhD works on this project, and the digital security and software science departments at Radboud University, where two additional PhD students will work on the Find2Fix project. Together
-
Systems Technology (CST) section of the Department of Mechanical Engineering. The members of this group conduct research on model- and synthesis-based engineering of supervisory controllers, mostly using
-
the area of Actuarial Sciences, Econometrics, Mathematical Economics and Game Theory, and Operations Research. Members of the department teach in the BSc and MSc programme in Econometrics & Operations
-
period of 4 years at the Eindhoven University of Technology, Department of Mathematics and Computer Science. The student’s working locations will be at Eindhoven University where the PhD candidate will be
-
both the flexibility and explainability of the system. To this end you will work closely with other PhDs and researchers in the project both at the Computer Science Department (Dr. Sebastijan Dumančić
-
departments: Biology, Pharmaceutical Sciences, Information & Computing Sciences, Physics, Chemistry and Mathematics. Together, we external link work on excellent research and inspiring education. We do so
-
both the flexibility and explainability of the system. To this end you will work closely with other PhDs and researchers in the project both at the Computer Science Department (Dr. Sebastijan Dumančić