Sort by
Refine Your Search
-
Listed
-
Category
-
Program
-
Employer
-
Field
-
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 Computer Science, fully
-
, 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 Department of Mathematics and Computer Science (IMADA) at the University of Southern Denmark (SDU), Campus Odense, invites applications for one PhD candidate position in
-
Postdoc position to support international research and capacity-building projects employing elect...
of large-scale EM data for groundwater mapping. Teaching and training of Ethiopian partners and students in EM methods, data processing workflows, inversion software, and geological interpretation
-
, 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
-
Assistant Professor (tenure-track) and Associate Professor (tenured) Positions in Computer Scienc...
, 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 methods (logic, theorem
-
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
-
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
-
Validation ; Data Engineering, Science, and Systems ; Distributed Sustainable Software and Systems ; Formal Methods for Security and Privacy ; Foundations for Interacting and Computing Systems ; Human
-
Assistant Professor (tenure-track) and Associate Professor (tenured) Positions in Computer Scienc...
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 methods (logic