Sort by
Refine Your Search
-
Listed
-
Employer
-
Field
-
of the elderly to space robotics. We are now looking for a post doc to work on developing quantum computing algorithms. Postdoctoral researcher Are you as excited about quantum computing and its future
-
an extensive array of resources: UAVs for communication protocol, edge computing and control algorithm development; THz transceivers for high-frequency communication channel measurement and sensing; Real-Time
-
an extensive array of resources: UAVs for communication protocol, edge computing and control algorithm development; THz transceivers for high-frequency communication channel measurement and sensing; Real-Time
-
Intelligence (AI) research group being one of its pillars. Within the AI research group is the special interest group which forms a strong core of Algorithmic Game Theory (AGT) research in the UK. Duties of the
-
fundamental algorithms for producing policies for rich goal structures in MDPs (e.g. risk, temporal logic, or probabilistic objectives), and modelling robot decision problems using MDPs (e.g. human-robot
-
learning methods to improve the understanding, treatment and prevention of human disease. The successful candidate will develop novel statistical and machine learning algorithms to address key challenges in
-
machine learning methods to improve the understanding, treatment and prevention of human disease. The successful candidate will develop novel statistical and machine learning algorithms to address key
-
type (iv) work with the computational biology team to transfer this information into a AI algorithm that can distinguish neurodegenerative and neuroprotective phenotypes (v) work with colleagues in
-
encouraged to adopt a creative approach to problem-solving, exploring various deep learning techniques. Verification of these models and algorithms will be conducted using benchmark datasets and real-world
-
We are seeking to recruit a motivated postdoctoral researcher in Verification and Game Theory. You will enjoy developing algorithms, lower bounds, and possibly proof-of-concept implementations