Sort by
Refine Your Search
-
-computer interfaces, audio signals for keyword spotting and artificial cochleas, and tactile signals for robot perception. Various types of bio-inspired mechanisms have been investigated in recent years
-
compute system, spanning networks-on-chip, IO chiplets/dies, scale-up and scale-out network at machine-scale, depending on the impact of emerging technologies in various application domains. You will be
-
offering state-of-the-art study programmes grounded in research in a wide range of academic fields, Ghent University is a logical choice for its staff and students. The "WAVES" research group (http
-
machine-verifiable proof (or certificate) of correctness. However, a major limitation of current techniques is that correctness is not proven relative to the human-understandable specification
-
. To achieve this ambitious objective, we will build on recent breakthroughs in proof logging, where solvers do not just output an answer, but also a machine-verifiable proof (or certificate) of correctness
-
together with other energy assets, such as electrical boilers, within a Model Predictive Control (MPC) framework that optimally balances electricity and heat production. Within FLEX-SMR, this PhD focuses
-
11 Jul 2026 Job Information Organisation/Company University of Antwerp Research Field Computer science » Other Engineering » Communication engineering Engineering » Electrical engineering
-
-scale nature, complexity, and heterogeneity of 6G networks, we use tools such as artificial intelligence/machine learning, quantum computing, graph theory, graph-signal processing, and convex/non-convex
-
3 Jul 2026 Job Information Organisation/Company Ghent University Research Field Educational sciences » Education Educational sciences » Other Engineering » Electrical engineering Engineering » Other
-
4 Jul 2026 Job Information Organisation/Company Ghent University Research Field Educational sciences » Education Educational sciences » Other Engineering » Electrical engineering Engineering » Other