PhD research project on secure and verifiable distributed quantum compilation

The project aims to optimally allocate available quantum and classical resources a developer needs for a specific algorithm, by breaking larger circuits into smaller pieces that are distributed to different quantum processing units in parallel, with few quantum connectives between them, and then recombining the results.