Sort by
Refine Your Search
-
Listed
-
Employer
- University of Oxford
- ;
- DURHAM UNIVERSITY
- Durham University
- AALTO UNIVERSITY
- University of Cambridge
- KINGS COLLEGE LONDON
- King's College London
- University of Liverpool
- ; Durham University
- ; University of Reading
- City University London
- Heriot Watt University
- Imperial College London
- UNIVERSITY OF VIENNA
- University of Reading
- 6 more »
- « less
-
Field
-
research in neuro-symbolic AI, with a focus on using generative AI and prompt engineering as a method to engineer knowledge graphs one can trust. This includes the design of algorithms and architectures, but
-
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
-
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
-
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
-
developing new algorithmic approaches for TAPS data, interpreting the results in the context of phenotypic observations, and communicating these findings clearly to the broader team. You will prepare the
-
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
-
, estimation, and identification algorithms that directly interface with physical hardware. We work closely with industry partners. Our research has led to several methods now used in commercial products. We