Quantum Software Engineering
[Closed]
Work description
The position is thus centred on a research agenda for Quantum Software Engineering to be developed at two levels: foundations and algorithmics, with a specific emphasis on concrete applications, and building on INESC TEC previous work: at foundational level the focus is placed on i) how (quantum) systems are modelled, ii) how models are composed, and finally, iii) how properties of their behaviours are anticipated, expressed and verified. The development of an algorithmic calculus, for the systematic derivation of quantum programs in a compositional way; and new families of dynamic logics to support the formulation of contracts for quantum algorithms and their compositional verification, are highlighted. At the algorithmics level, the candidate will be expected to contribute to two or more of the following current, cross-cutting research lines: i) quantum machine learning (following up very recent group results on quantum reinforcement learning, particularly policy based approaches, highly scarce in the literature); ii) combinatorial optimization (through adaptive, iterative (quantum/classical hybrid algorithm)); iii) numerical (Monte Carlo) integration (exploring a multitude of real-world applications to finances and healthcare); and iv) quantum Walks (namely continuous and staggered, as a universal quantum computing model and across several applications).
Academic Qualifications
National, foreign, and stateless candidates holding a PhD in Informatics, and who hold a scientific and professional CV that showcases a profile suitable for the position of Assistant Researcher and the position with reference 2023.14760.TENURE.010, described above.
Application Period
Since 18 Jul 2025 to 31 Jul 2025
[Closed]
Centre
High-Assurance Software