Sort by
Refine Your Search
-
Category
-
Program
-
Employer
-
Field
-
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