Sort by
Refine Your Search
-
Category
-
Program
-
Employer
-
Field
-
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
-
against the space environment (including radiation), reliability assessment, Data Systems, Microelectronics and Flight Software domains. Candidates interested are encouraged to visit the ESA website: http
-
, and innovation for performance, robustness and process improvements. Candidates interested are encouraged to visit the ESA website: http://www.esa.int and websites of the main conferences (co
-
interested are encouraged to visit the ESA website: http://www.esa.int Field(s) of activity for the internship Topic of the internship: Analysis of CRISTALair Functional Flight Campaign Data Due to climate
-
). Candidates interested are encouraged to visit the ESA website: http://www.esa.int Field(s) of activity for the internship Topic of the internship: Exploring the data reduction pipeline for the Ariel exoplanet
-
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
-
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