Sort by
Refine Your Search
-
Listed
-
Category
-
Program
-
Employer
- European Space Agency
- Eindhoven University of Technology (TU/e)
- University of Groningen
- Eindhoven University of Technology
- Eindhoven University of Technology (TU/e); today published
- Eindhoven University of Technology (TU/e); yesterday published
- Leiden University
- University of Amsterdam (UvA)
- University of Groningen; 26 Sep ’25 published
- University of Twente
-
Field
-
. These key generation methods offer greatly enhanced levels of security but rely on the use of error-correcting codes. Compared to their use in classic communication channels, the needed codes have stricter
-
., physically unclonable functions or PUFs, and quantum channels. These key generation methods offer greatly enhanced levels of security but rely on the use of error-correcting codes. Compared to their use in
-
solvers, finding better error correction protocols using combinatorial reasoning, processing quantum information using knowledge compilation approaches, and exploring the potential of satisfiability
-
, and quantum error correction. Candidates whose work expands one or more of these directions through new methodologies and mathematical frameworks are especially encouraged to apply. You will strengthen
-
, and quantum error correction. Candidates whose work expands one or more of these directions through new methodologies and mathematical frameworks are especially encouraged to apply. You will strengthen
-
-entry, formation flying and drag-free systems. Special emphasis is placed on the following areas: autonomous and fault-tolerant systems (including health monitoring systems), advanced guidance, control
-
. Participation in the setup and execution of quality and reliability analysis of Integrated Circuits as fault localization on electronics devices: lock-in thermography, photon emission microscopy, electron beam
-
modelling, including Star tracker Field Of View error with non-inertial pointing, dynamic stellar estimator, and tachometer stellar estimator); to model uncertainties and apply robust control for optimised
-
include: check of data for any errors, evaluation of point target responses, evaluation of the interferometric products, analysis if the acquired data meet the requirements and comparisons between altimeter
-
fault-tolerance. Due to the critical nature of many distributed systems, their correctness is of crucial importance. The verification of distributed systems, however, is notoriously difficult. This PhD