Sort by
Refine Your Search
-
Listed
-
Category
-
Program
-
Employer
- European Space Agency
- Delft University of Technology (TU Delft)
- Delft University of Technology (TU Delft); Delft
- University of Groningen
- Delft University of Technology (TU Delft); today published
- Delft University of Technology (TU Delft); yesterday published
- Eindhoven University of Technology (TU/e)
- Eindhoven University of Technology (TU/e); today published
- Maastricht University (UM)
- Maastricht University (UM); Maastricht
- University of Amsterdam (UvA)
- University of Groningen; 26 Sep ’25 published
- 2 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
-
Location ESTEC, Noordwijk, Netherlands Our team and mission The GNC, AOCS and Pointing Division is responsible for Engineering and Research and Development in the following domains: Satellite
-
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
-
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
-
computer and Data Handling (PL/PF) for space systems, including their procurement and end-to-end validation (in close collaboration with TEC-EF); Engineering of on-board software in all phases including pre
-
computational and laboratory facilities. In particular, the Division is in charge of: performing design, development and verification of spacecraft structures, mechanisms, materials and manufacturing processes by
-
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
-
computer and Data Handling (PL/PF) for space systems, including their procurement and end-to-end validation (in close collaboration with TEC-EF); Engineering of on-board software in all phases including pre
-
Location ESTEC, Noordwijk, Netherlands Our team and mission The GNC, AOCS and Pointing Division is responsible for Engineering and Research and Development in the following domains: Satellite
-
Experience or knowledge in the following domains is an asset: Human spaceflight design and development; Systems engineering analysis and verification; Spacecraft assembly, integration and testing