Sort by
Refine Your Search
-
. The postdoctoral fellow will conduct research on Algorithmic Verification of Concurrent Systems within the Programming Languages, Logic, and Software Security Research Group at Aarhus University. The focus
-
Communication sciences Information science Engineering » Communication engineering Engineering » Electronic engineering Mathematics » Applied mathematics Mathematics » Probability theory Mathematics » Algorithms
-
exploited by intelligent physical systems, such as robots, vehicles, and distributed autonomous agents, to perceive and interpret their environment and support timely physical action. A central objective will
-
these connected directions. Research will emphasise new learning algorithms and rigorous evaluation using public datasets, simulation and, where available, robotic and edge-computing platforms. Evaluation will
-
of quantum information – e.g. the no-cloning principle – to provide improved privacy in distributed computation settings. As part of the position, you will be expected to collaborate with other researchers
-
diagnostics; the resulting algorithm is targeted to be at least 25% more accurate than conventional impedance-based estimation and at least 50% less energy demanding than traditional diagnostic approaches
-
analysis and optimization (e.g., power flow and optimal power flow), as well as experience with quantum computing methods and algorithms (e.g., HHL or variational quantum linear solvers for linear system
-
in Python with the ability to implement and prototype research ideas. • A mathematical foundation to support the design and analysis of algorithms. • Curiosity, motivation, and strong
-
capacity to detect changes in species distributions and the arrival of new species. Your profile Applicants must hold a PhD in biology or a closely related field. Documented experience with Arctic marine
-
and corrective feedback. You will apply advanced algorithms for machine learning, multimodal biosignal processing, and human-state inference, working with shared-control strategies and electrotactile