Sort by
Refine Your Search
-
Listed
-
Category
-
Employer
- European Space Agency
- Delft University of Technology (TU Delft)
- Eindhoven University of Technology (TU/e)
- University of Groningen
- Delft University of Technology (TU Delft); Delft
- Delft University of Technology (TU Delft); today published
- Delft University of Technology (TU Delft); yesterday published
- Eindhoven University of Technology (TU/e); today published
- University of Amsterdam (UvA)
- University of Groningen; 26 Sep ’25 published
- University of Groningen; Published yesterday
- 1 more »
- « less
-
Field
-
Location ESTEC, Noordwijk, Netherlands Our team and mission The Thermal Division is responsible for the technical and strategic management in the following domains: Thermal engineering, design
-
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
-
for considering components independently. Inspired by so-called contract theories from computer science, such modular control theory will be based on the introduction of assume-guarantee contracts for control
-
into the European Space Agency’s Directorate of Navigation. More specifically, you will join the System Integration and Verification (SIV) team, collaborating closely with engineering, performance, and research and
-
at the European Space Agency (ESA). Specifically, you will work with the System Assembly, Integration, and Verification (SAIV) team, collaborating closely with engineering, performance, and test teams involved in
-
… Requirements Specific Requirements A MSc degree in Electrical Engineering or any other relevant program. Strong background in power electronics (specially AC-DC converters, grid connected and multilevel
-
Intelligence with the topic of formal verification of distributed systems. The candidate would become a member of the Fundamental Computing Group of the Computer Science Department and would work under the
-
domains at subsystem and instrument level: Optical systems: design, engineering and verification in all optical related areas, including optical component technology, micro-optics, fibre and passive
-
domains at subsystem and instrument level: Optical systems: design, engineering and verification in all optical related areas, including optical component technology, micro-optics, fibre and passive
-
security aspects, E2E systems integration/verification activities (SIV), and service preparation. To serve these functions, the Head of the End-To-End Systems Engineering Division defines and executes