30 algorithm-"Multiple"-"Prof"-"U.S" "NTNU Norwegian University of Science and Technology" PhD positions in Denmark
Sort by
Refine Your Search
-
Listed
-
Category
-
Employer
-
Field
-
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 neural and symbolic
-
of solvers for stochastic optimization problems, and test the methods on real-life data. As part of the PhD you will be following advanced courses to extend your skills, implement and test algorithms, and
-
expertise in autonomous marine systems. The research focus will be on development, implementation and verification of novel algorithms for motion planning and control of autonomous underwater vehicles. You
-
(entities) given the rules and the rules given the molecules. The aim of this project is to develop a theory and accompanying algorithms to decide if an abstract system can be instantiated by a concrete
-
degradation modes. Evaluating suitable sensor technologies and data sources for acquiring relevant metrics. Developing tools and algorithms to automatically analyse sensor data, assess asset condition, and
-
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
-
(entities) given the rules and the rules given the molecules. The aim of this project is to develop a theory and accompanying algorithms to decide if an abstract system can be instantiated by a concrete
-
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
-
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
-
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