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 (TU/e); today published
- Eindhoven University of Technology (TU/e); yesterday published
- University of Amsterdam (UvA)
- University of Groningen; 26 Sep ’25 published
- University of Twente
- University of Twente (UT)
- University of Twente (UT); Enschede
-
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
-
data reduction and calibration techniques. These techniques must correct for numerous factors, including detector artefacts (e.g., dark current), instrumental effects (e.g., throughput variations
-
the near-term and in the fault-tolerant setting, developing new protocols in quantum error correction, finding more efficient ways to classically simulate quantum computations, or prove new foundational
-
planned for this position will explore how to achieve correct behavior and required performance (in terms of throughput, latency), while considering concerns and constraints from various engineering domains
-
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
-
Science, or a related field. Strong background in digital signal processing. Background on error correcting codes is also highly desirable Proficiency in programming languages such as MATLAB, Python, or C/C
-
, providing them with essential improvements to aspects such as performance and fault-tolerance. Due to the critical nature of many distributed systems, their correctness is of crucial importance
-
such as performance and 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
-
. Process simulation software is being developed for virtual optimization of tool design and material handling, enabling first-time-right manufacturing. The predictive quality of these tools relies