Academic Jobs

Vrije Universiteit Amsterdam VU, The Netherlands - Logo

Joint PhD in Computer science, Networking and Verification – Vrije, Netherlands 2022

The Netherlands

Joint PhD in Computer science, Networking and Verification is available at the Faculty of Science- Vrije, Netherlands 2022

Support us by Sharing!

Scroll Down for Content

General Info

Position: PhD
No. of Positions: 1
Research Field: ,
Joining Date: ASAP
Contract Period: -
Salary: According to Standard Norms

Faculty of Science
Vrije Universiteit Amsterdam (VU)
Amsterdam, The Netherlands

Scroll Down for Content

Qualification Details

Candidates must have an MSc. degree to be admitted into the doctoral program. In addition, an ideal candidate will satisfy the following requirements.

  • Strong background in computer science or mathematics
  • Experience in networking or formal methods or programming languages
  • Speak and write fluently in English to communicate your ideas

The initial review deadline for applications is December 31, 2021, but we will consider applications until the position is filled.

Responsibilities/Job Description

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 ( and theory ( 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 ( and Klaus von Gleissenthall (

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

How to Apply?

Online Application through "Apply Now" Button from this page

Reference Number: -
(If any, use it in the necessary place)

Scroll Down for Content

Documents Required

Are you interested in this position? Please apply and upload the following materials until December 31, 2021.

  1. Curriculum vitae
  2. Grade transcript
  3. A writing sample, e.g., MSc. Thesis
  4. A statement of purpose (of about 2 pages) explaining your academic background, your research interests, and why you are applying to VU
  5. Contact information for two references, whom we will contact in case you are shortlisted.

Applications received by e-mail will not be processed.

About the Department

The Faculty of Science inspires researchers and students to find sustainable solutions for complex societal issues. From forest fires to big data, from obesity to medicines and from molecules to the moon: our teaching and research programmes cover the full spectrum of the natural sciences. We share knowledge and experience with leading research institutes and industries, both here in the Netherlands and abroad.

Working at the Faculty of Science means working with students, PhD candidates and researchers, all with a clear focus on their field and a broad view of the world. We employ more than 1,250 staff members, and we are home to around 6,000 students.

About the Employer: Vrije Universiteit Amsterdam (VU)

Note or Other details

A challenging position in a socially involved organization. The salary will be in accordance with university regulations for academic personnel and amounts €2,434 (PhD) per month during the first year and increases to €3,111 (PhD) per month during the fourth year, based on a full-time employment. The job profile: is based on the university job ranking system and is vacant for at least 0.8 FTE. The appointment will initially be for 18 months. After a satisfactory evaluation of the initial appointment, the contract will be extended for a total duration of 4 years. Additionally, Vrije Universiteit Amsterdam offers excellent fringe benefits and various schemes and regulations to promote a good work/life balance, such as:

  • a maximum of 41 days of annual leave based on full-time employment
  • 8% holiday allowance and 8.3% end-of-year bonus
  • solid pension scheme (ABP)
  • possibility to save holiday hours, for sabbatical leave, child daycare facilities available on campus

Scroll Down for Content

Contact details

If you have any questions regarding this vacancy, you may contact:
Name: Klaus von Gleissenthall, Balakrishnan Chandrasekaran
Position: Assistant Professor
E-mail: k.freiherrvongleissenthal@vu.nlb.chandrasekaran@vu.nl


Other Vacancies from this field , ,

Scroll Down for Content

Support us by Sharing!