Sort by
Refine Your Search
-
Category
-
Program
-
Field
-
Job Description The Centre for Formal Methods and Future Computing (FORM) and the Danish Institute for Advanced Study (DIAS) at the University of Southern Denmark (SDU, Campus Odense and Vejle
-
Job Description The Department of Mathematics and Computer Science (IMADA) at the University of Southern Denmark (SDU), Campus Odense, invites applications for one PhD candidate position in
-
, 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
-
transition. Upscaling of processes and methods from laboratory to industrial scale. Qualifications We are looking for a dynamic researcher who holds a Ph.D. in Chemical Engineering, worked some years as
-
areas and topics that include symbolic AI and formal methods (logic, theorem provers, type systems, categories, etc.), concurrent programming languages (choreographic programming, session types, etc
-
-driven methods, applied both to empirical research and to methodological innovation in economics and the social sciences. The successful candidate will employ advanced AI tools to analyze, model, and
-
opportunities for collaboration, personal growth, and mentoring for starting independent research groups. The section’s current research covers a wide range of areas and topics that include symbolic AI and formal
-
of extension for the project SECUREAM: Advancing Cybersecurity in Additive Manufacturing in the intersection of blockchain, cryptography, software engineering, and applied formal methods, starting February 1
-
your 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