Sort by
Refine Your Search
-
, 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
-
cryptographic notions, and similar topics in foundational cryptography. Exploring connections to statistical security notions and formal methods is possible. One or two extended research visits are encouraged
-
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
-
) at Region Stockholm. NASP is also a WHO collaborating center for research, method development, and education in suicide prevention. The unit has a total of 51 employees of which currently five are PhD
-
. 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