Programming languages
[Closed]
Work description
The overarching goal of this grant is to study the impact of concurrency in the mitigation of noise in quantum programming. The idea is that reordering of instructions may help to prioritise less noise-prone operations and to reduce the superposition times of qubits (which usually cannot exceed a few milliseconds). To this effect, the task associated to the grant is to develop a concurrent language with quantum operations, a corresponding semantics, and then a subsequent implementation in Haskell. The implementation will be used as an experimentation device for testing how concurrency (and suitably selected schedulers) may help mitigate noise in famous quantum algorithms.
Academic Qualifications
M.Sc. student in Physics, Computer Science or similar.
Minimum profile required
Basic knowledge of quantum physics, quantum programming, and Haskell.
Preference factors
Good academic performance; Experience with the language Haskell, parsers, monads and quantum programming.
Application Period
Since 01 Feb 2023 to 14 Feb 2023
[Closed]
Centre
High-Assurance Software