Sort by
Refine Your Search
-
Listed
-
Category
-
Program
-
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
-
of teaching hours per subject per calendar year, as well as any related examination work, for the past three years. Additionally, you should provide an overview of the amount of supervisions, distributed by
-
limited degree. The faculty determines the distribution of the various assignments. The weighting of the different assignments may vary over time. The successful applicant will be employed in accordance
-
, theorem provers, type systems, categories, etc.), concurrent programming languages (choreographic programming, session types, etc.), distributed computing (cloud computing, microservices, etc.), Dev(Sec)Ops
-
that include symbolic AI and formal methods (logic, theorem provers, type systems, categories, etc.), concurrent programming languages (choreographic programming, session types, etc.), distributed computing