3 formal-verification PhD positions in United Kingdom

PhD Studentship: Formalizing Software Reliability: Theoretical Foundations and Practical Methods

; The University of Manchester | Manchester, England | United Kingdom | 3 days ago

Research theme: Formal Methods How many positions: 1 This 3.5 year PhD is funded by the Department of Computer Science at The University of Manchester. The successful candidate will receive

PhD Studentship: Learning Caching Strategies for Dynamic Workloads on Graph Databases

; University of Surrey | Guildford, England | United Kingdom | 3 months ago

leader in graph data base technology. The supervisory team has a strong publication record in systems, distributed systems and concurrency, programming languages, and formal verification, including

Funded PhD Studentship: Cyber Security

; UWE, Bristol | Bristol, England | United Kingdom | 2 months ago

Compromised Digital Infrastructures Adaptive Lightweight Encryption with Formal Verification for Secure and Energy-Efficient Internet of Drones Communications Privacy-Preservation Techniques for Securing Large