13 distributed-algorithm-"Meta"-"Meta"-"Meta" uni jobs at University of Southern Denmark
Sort by
Refine Your Search
-
Listed
-
Field
-
Job Description We seek candidates to join the Algorithms Section. The focus of the call is both to expand at the new Vejle campus and to strengthen the Odense campus. We have several openings, and
-
Statistics section, include: Algorithms , focusing on online and approximation algorithms, graph and parameterized algorithms, string algorithms, data structures, combinatorial optimization, algorithmic
-
methods (logic, theorem provers, type systems, categories, etc.), concurrent programming languages (choreographic programming, session types, etc.), distributed computing (cloud computing, microservices
-
programming, including embedded systems, programming of critical software and infrastructure, high-performance computing, and distributed systems. Model-driven Software Engineering Cybersecurity, including
-
.), 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
-
, 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
-
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
-
that include symbolic AI and formal methods (logic, theorem provers, type systems, categories, etc.), concurrent programming languages (choreographic programming, session types, etc.), distributed computing