6 high-performance-quantum-computing-"https:"-"https:"-"https:" positions at Uppsala universitet
-
these areas (UPPAAL, Concuerror, Nidhugg and other tools), publishing in top conferences such as POPL, PLDI, ICALP and CAV. Project description As both private and public investment in quantum computing
-
design scalable numerical methods for quantum master equations, implement high-performance simulations, and help build open-source tools for large-scale spin-system modeling. By improving our ability
-
Programme? Not funded by a EU programme Is the Job related to staff position within a Research Infrastructure? No Offer Description Admission to Doctoral (PhD) Studies in the subject Engineering Sciences with
-
of a program or make it harder to reason about its performance. Languages like Rust offers memory safety without the additional run-time machinery, as long as programs can be expressed in its safe subset
-
programs; managed languages avoid most such problems at the cost of additional run-time machinery and checking which can increase the footprint of a program or make it harder to reason about its performance
-
neuromorphic circuits. We will also simulate high-efficiency spiking neural networks (SNN) and build neuromorphic sensory systems to validate performance and explore broad biomedical and other potential