Joint PhD in Networking and Verification

This Ph.D. student position is an opportunity to combine the latest advancements in networking with state-of-the-art techniques from programming languages and formal verification. Your research will advance the state-of-the-art in testing and verifying the safety and correctness of today's highly dynamic and complex networks. There are ample opportunities, covering a wide spectrum from purely theoretical to practical applications, to carve out a research project that best fits your skills and interests.

The position is based in Amsterdam, The Netherlands. A successful candidate will be embedded in the VUSec (https://www.vusec.net/ ) and theory (https://www.cs.vu.nl/~tcs/ ) groups. VU offers a dynamic, open, and international working environment, where students can focus on becoming leading experts in their fields. The working language at VU is English.

If you have any further questions, feel free to contact Balakrishnan Chandrasekaran ([email protected] ) and Klaus von Gleissenthall ([email protected] ).

Your duties

• Learn and review the state-of-the-art on verification techniques for programmable networks as well as automatic repair
• Analyze state-of-the-art network deployments to derive dependencies and (performance as well as security) invariants between services running at different layers of the network
• Develop "correct-by-construction" designs leveraging the programmability available across the entire network stack
• Mentor bachelor and master students in related projects
• Support courses relevant to your field of study, such as Network Security and Verification for Security