PhD Position F/M Reasoning with and optimising Quantum Circuits.

Inria Mocqua team at Centre Inria de l'Université de Lorraine and Loria.  

Quantum circuits are fundamental to quantum computing, providing a low-level representation of quantum programs and serving as the primary means of depicting quantum algorithms. Indeed, most quantum programming languages are essentially languages for describing quantum circuits.

Transforming circuits is crucial for optimizing code, tailoring algorithms to specific constraints (like qubit layout in a quantum computer's memory), or verifying algorithms. In this setting, an equational theory that facilitates the transformation of circuits into equivalent ones is essential.

In recent years, the Mocqua team has contributed to the first complete equational theory for quantum circuits, and refined it to make it provably minimal.

The objectives of the PhD thesis are:
- to extend these results to more general settings, including qudit quantum circuits;
- to develop optimisation techniques for quantum circuits;
- to contribute to developing tools and software for quantum circuit reasoning and optimisation.

To this end, the candidate will develop new techniques and make connections with existing languages like the LOv- and ZX-calculi.

• Subsidized meals
• Partial reimbursement of public transport costs
• Leave: 7 weeks of annual leave + 10 extra days off due to RTT (statutory reduction in working hours) + possibility of exceptional leave (sick children, moving home, etc.)
• Possibility of teleworking (after 6 months of employment) and flexible organization of working hours
• Professional equipment available (videoconferencing, loan of computer equipment, etc.)
• Social, cultural and sports events and activities
• Access to vocational training
• Social security coverage

2100€ gross/month the 1st year