Sort by
Refine Your Search
-
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
-
. 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