2 software-formal-method-phd PhD positions in Netherlands

PhD Position in Formal Methods for Concurrent Cryptographic Protocols

Vrije Universiteit Amsterdam (VU) | Netherlands | about 19 hours ago

of Computer Science in both research and education. It comprises approximately 230 staff members and is organised around strongly connected themes: AI & Data, Systems & Infrastructure, Software, Security & Privacy and

PhD Position Learning and Control for Complex Large-Scale Systems with Applications in Greenhouses

Delft University of Technology (TU Delft) | Netherlands | 2 months ago

in all these approaches. This PhD position aims at developing methods for learning and control in complex large-scale systems. This will be carried out as part of the GreenControl project, whose