Sort by
Refine Your Search
-
Category
-
Employer
-
Field
-
, and communicate with external stakeholders. You are motivated to fully engage in research that is formally owned by others. Practical experience in the development of biochemical methods, cell culture
-
Infection Biology at the Department of Biology. Qualification requirements Applicants must have: A PhD in ecology or another relevant field Very good oral and written proficiency in English Formal training in
-
This is a broad call for five fully-funded PhD positions in computer science and engineering to work on machine learning, autonomous systems, software engineering, formal methods, and network
-
to statistical security notions and formal methods is possible. One or two extended research visits are encouraged during the doctoral study. Project overview In Bounded Space Cryptography we are working with
-
. Of particular interest is the investigation of compositional methods for constructing runtime monitors. The candidate will build on the latest advances in formal methods and learning theory, to develop methods