Sort by
Refine Your Search
-
Listed
-
Employer
-
Field
-
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
-
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
-
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
-
, 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
-
handling, enabling first-time-right manufacturing. The predictive quality of these tools relies on accurate constitutive models that describe the behavior of the molten material during forming. With
-
design and material handling, enabling first-time-right manufacturing. The predictive quality of these tools relies on accurate constitutive models that describe the behavior of the molten material during