28 distributed-algorithm-"Meta"-"Meta"-"Meta" positions at University of Southern Denmark
Sort by
Refine Your Search
-
Listed
-
Category
-
Program
-
Field
-
, theorem provers, type systems, categories, etc.), concurrent programming languages (choreographic programming, session types, etc.), distributed computing (cloud computing, microservices, etc.), Dev(Sec)Ops
-
of its core areas: research cloud services. We seek an expert in the following areas: Distributed and concurrent systems SQL databases Software development for HPC environments Experience with Slurm
-
Job Description A two-year postdoc position is available in the research group of Algorithmic Cheminformatics at the University of Southern Denmark (SDU). The position is in an exciting 6-year
-
currently one of the important technologies in the field of LAIs. The common approach to manipulate the performance of LAI suspensions release rate relies on changing particle size distribution
-
are looking for a candidate to support our research activities within the areas of medical and surgical robotics, industrial (dis)assembly and (re)manufacturing, artificial intelligence, control, AI algorithms
-
vision to reduce algorithmic complexity by orders of magnitude, e.g. by tracing paths of trees and extraction from knowledge bases (KBs), as opposed to pure DL Defining specific CSK-premises (in
-
that include symbolic AI and formal methods (logic, theorem provers, type systems, categories, etc.), concurrent programming languages (choreographic programming, session types, etc.), distributed computing
-
workplace and educational institution, where all employees and students have equal opportunities and rights. The university has around 21.000 students and 4.200 employees distributed over six campus cities
-
implementing AI algorithms to control robot systems Investigating and implementing Bayesian ML methods to quantify decision-making uncertainty Applying the above to industrial assembly and medical diagnostic use
-
modeling tools and HDL simulators to validate functionality. Collaborate closely with algorithm designers to co-optimize architecture. Publish results in high-impact journals and conferences. Qualifications