18 cloud-computing-"https:" "https:" "https:" "https:" "https:" "https:" positions in Denmark
Sort by
Refine Your Search
-
methods (logic, theorem provers, type systems, categories, etc.), concurrent programming languages (choreographic programming, session types, etc.), distributed computing (cloud computing, microservices
-
languages (choreographic programming, session types, etc.), distributed computing (cloud computing, microservices, etc.), Dev(Sec)Ops, software engineering (software product lines), human factors in security
-
.), 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
-
), University of Southern Denmark in Odense, you will be part of the Robotic Intercropping (https://roboticintercropping.eu ) team working to break new ground at the absolute forefront of what is possible in safe
-
, theorem provers, type systems, categories, etc.), concurrent programming languages (choreographic programming, session types, etc.), distributed computing (cloud computing, microservices, etc.), Dev(Sec)Ops
-
, climate solutions and energy efficiency. Learn more about our institute at https://www.sdu.dk/en/mmmi and the centre at https://www.sdu.dk/cis . The Centre is autonomous but will collaborate closely with
-
(cloud computing, microservices, etc.), Dev(Sec)Ops, software engineering (software product lines), human factors in security and privacy, post-quantum and embedded cryptography, and quantum programming