PhD Position F/M Resource-Aware Quantum Lambda Calculi with Coherent Control

Contexte et atouts du poste

The PhD is funded by funded by PEPR EPiQ will be carried out at Inria Nancy Grand-Est within the Inria mocqua project team.

Mission confiée

Quantum programming languages with quantum control allow the execution flow of programs to depend on
quantum data, enabling superpositions of computational paths, as exemplified by the Quantum Switch [1].
While this paradigm provides a natural and expressive way to model quantum computation, it raises
fundamental challenges regarding physical implementability and computational complexity. In particular,
programs with quantum control must respect both the laws of quantum mechanics and strict resource
bounds in order to admit efficient physical realizations.

Recent work [2, 3] has shown that type systems inspired by linear logic and realizability techniques can be
used to ensure key physical properties of quantum programs, suc...