Sort by
Refine Your Search
-
Listed
-
Category
-
Program
-
Employer
-
Field
-
also to encode information in the basis of error-correctable quantum states to mitigate the effect of unwanted errors on communication channels. Non-Gaussian bosonic quantum states are particularly
-
software (e.g. in security), there is an urgent need for verifying the trustworthiness of quantum programs at scale. Features of modern quantum programs such as Quantum Error Correction lead to hybrid
-
efforts to move the technology’s capabilities towards that of conventional digital data storage by developing and adopting existing bioinformatics tools for data encoding, decoding and error correction in
-
widely in e.g. safety-critical (embedded) systems, data analysis, weather forecasting, physics, and engineering. Verifying that such programs are correct is challenging because of rounding errors due
-
analysis, weather forecasting, physics, and engineering. Verifying that such programs are correct is challenging because of rounding errors due to floating-point arithmetic. Possible research directions
-
, topology‑correct 3D city models from multi‑modal geospatial data. The position is hosted at the Department of Mathematical Sciences at Chalmers University of Technology and the University of Gothenburg. You