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
-
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
Searches related to formal method
Enter an email to receive alerts for formal-method positions