Sort by
Refine Your Search
-
Listed
-
Employer
-
Field
-
developing mathematical algorithms and simulations in MATLAB, in particular with Semidefinite Programming and Sum of Squares and of the analysis and design of feedback control systems using these approaches
-
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
-
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
-
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
-
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
-
developed goal-sequence generalization task. The project will integrate high-density silicon probe recordings, optogenetics, pharmacology and advanced computational tools to analyse neural algorithms
-
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
-
endoscopists through a quantitative and qualitative assessment of the mucosal microstructure. You will be responsible for the algorithm development and implementation of the overall system. It is expected
-
endoscopists through a quantitative and qualitative assessment of the mucosal microstructure. You will be responsible for the algorithm development and implementation of the overall system. It is expected