Sort by
Refine Your Search
-
Listed
-
Employer
- Leiden University
- Delft University of Technology (TU Delft)
- Leiden University; Leiden
- University of Groningen
- Delft University of Technology (TU Delft); yesterday published
- Utrecht University
- Eindhoven University of Technology (TU/e)
- Leiden University; yesterday published
- Maastricht University (UM)
- Delft University of Technology (TU Delft); Delft
- Maastricht University (UM); Maastricht
- Radboud University
- Eindhoven University of Technology (TU/e); Eindhoven
- Leiden University; today published
- University of Twente
- University of Twente (UT)
- CWI
- Centrum Wiskunde en Informatica (CWI); today published
- 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)
- 21 more »
- « less
-
Field
-
culture of mutual support and collaboration between researchers. CML has two Departments: Industrial Ecology (CML-IE) and Environmental Biology (CML-EB). Presently, about 150 fte (including postdocs and
-
work will focus on identifying the mathematical knowledge and properties to guide hardware optimizations tailored to different environments. The optimizations range from algebraic optimizations (e.g
-
. Your work will focus on identifying the mathematical knowledge and properties to guide hardware optimizations tailored to different environments. The optimizations range from algebraic optimizations (e.g
-
(TOEFL-iBT) showing a score of at least 90, or a Cambridge CAE-C (CPE). Screening is part of the selection proces. About the department The successful candidate will join the Robotics and Mechatronics (RaM
-
supervision of Prof. Martin van Hecke and Prof. Daniela Kraft, whose groups are embedded in the Smart Living Active Matter Center at the physics department of Leiden University (link: https://slam-leiden.nl
-
, Department of Mathematics and Computer Science. The student’s working locations will be at Eindhoven University where the PhD candidate will be supervised by experts in combinatorial optimization, machine
-
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