31 distributed-algorithm-"Meta"-"Meta"-"Meta" positions at University of Southern Denmark in Denmark
Sort by
Refine Your Search
-
Listed
-
Category
-
Program
-
Field
-
.), distributed computing (cloud computing, microservices, etc.), Dev(Sec)Ops, software engineering (software product lines), human factors in security and privacy, post-quantum and embedded cryptography, and
-
, number theory, mathematical aspects of quantum field theory, mathematical aspects of string theory, general mathematical physics or quantum algorithms and quantum software development. We stress
-
, theorem provers, type systems, categories, etc.), concurrent programming languages (choreographic programming, session types, etc.), distributed computing (cloud computing, microservices, etc.), Dev(Sec)Ops
-
faculty determines the distribution of the various assignments. The weighting of the different assignments may vary over time. Employment as a postdoc requires scientific qualifications at PhD level at
-
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
-
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
-
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