Sort by
Refine Your Search
-
Listed
-
Category
-
Program
-
Field
-
: Equivalence checking of quantum circuits. This task will include the identification of suitable metrics for approximate equivalence and algorithms to efficiently compute approximation distances. A potential
-
candidate will develop and test novel user interfaces that integrate state-of-the-art Large Language Models (LLMs) with novel logic-based multi-robot planning algorithms. This work will be evaluated through
-
of this PhD project is to develop machine learning algorithms that perform efficiently and coherently across both classical and quantum computing platforms. The PhD project falls under the collaboration between
-
to design adaptive, efficient, and intelligent algorithms for hearing assistive devices. Key objectives include improving speech perception in noisy and unpredictable environments, reducing listening effort