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
-
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
-
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
-
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
-
dynamics, solid mechanics, soft matter or active matter. • To become familiar with simulation algorithms as needed, assist in the development of new ones, test and document any newly developed
-
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