Sort by
Refine Your Search
-
Listed
-
Category
-
Program
-
Employer
-
Field
-
, current methods are either static, rely on heavy offline training, or fail to adapt to changing environments. This PhD project will develop intelligent software agents capable of autonomously optimizing
-
Job Description The Centre for Formal Methods and Future Computing (FORM) at the Department of Mathematics and Computer Science, University of Southern Denmark (SDU, Campus Odense or Vejle) invites
-
Postdoc position to support international research and capacity-building projects employing elect...
ground-based transient electromagnetic (TEM) methods. The position is part of a Danish Ministry of Foreign Affairs funded project titled “Scaling Up Electromagnetics Surveys for Large-Scale Hydrogeological
-
be working primarily with scientific machine learning methods, including symbolic regression and neural networks. You will apply the algorithms to the discovery of new models in different fields
-
, microservices), Dev(Sec)Ops, information security, formal methods (concurrency theory, theorem proving, type systems, etc.), logic and knowledge representation, optimisation, and post-quantum and embedded
-
particular niche will be part of the position. The group has a very strong infrastructure and internal teaching program and covers multiple areas of pharmacoepidemiology, including method development
-
The Department of Computer Science at The Technical Faculty of IT and Design invites applications for PhD stipends on one of the topics of Digital Twins and Hierarchical Multi-Agent Safe
-
SGS modeling) and RANS. This includes proposals of new methodologies, implementation and validation of the methods using the simulation and experimental data, reporting of the results, and dissemination
-
Validation ; Data Engineering, Science, and Systems ; Distributed Sustainable Software and Systems ; Formal Methods for Security and Privacy ; Foundations for Interacting and Computing Systems ; Human
-
in the biomechanical engineering specialization in particular. The candidate must have completed the university’s formal pedagogical training by the end of the assistant professorship at the latest