Sort by
Refine Your Search
-
Listed
-
Category
-
Employer
-
Field
-
logics for behavioural and security properties; - efficient algorithms for model checking, learning and synthesis; - improved explainability and safety of machine learning models, e.g. by integrating
-
Department of Computer Science at Aarhus University (Denmark) invites applications for a 2-year Postdoctoral Research Fellow position with focus on Algorithmic Verification of Database Systems. Role
-
on developing machine learning algorithms to support the use of complex urban simulators in decision-making under uncertainty. This PhD project shifts the focus from optimality to relevance in urban land-use and
-
involves the use of quantum chemistry, machine learning, and genetic algorithms to search for new homogeneous chemical catalysts. Who are we looking for? We are looking for candidates within the field
-
an optimal molecular representation (including data procurement) and integrating generative model and binding oracles. Propose an algorithm to bias the generative models towards desirable properties, such as
-
algorithm. Design methods: Develop novel control methods for power electronic converters feeding electric machine Simulation: Learn advanced simulation tools such as Ansys to simulate and analyze the effect
-
. Our research You will join our small team of scientists studying how microbe-host-drug interactions affect host health, in an interdisciplinary evolutionary medicine framework. We focus on Helicobacter
-
interface, and all the way to quantum algorithms and applications. The long-term mission of the programme is to develop fault-tolerant quantum computing hardware and quantum algorithms that solve life
-
better and faster decisions when assessing funding applications, ensuring the efficient and unbiased elimination of poor applications? This question can be addressed through training algorithms on past
-
electricity price signals, demand-response mechanisms, and time-of-use optimization. AI-Driven Optimization using Reinforcement Learning: Apply RL algorithms to develop and train agents that optimize power