Centrum Wiskunde & Informatica (CWI) has a vacancy in the Computer Security research group for a talented
on the subject of Internet architecture renovation.
As part of the European Next Generation Internet project, the job is to work on a new architecture for communication over the Internet. This project is a rip-and-replace effort of the BSD-style socket by an innovative abstraction: connectors. Connectors are based on decades of research performed at the CWI. Over the course of at least two years, building further on an existing reference implementation, we will research & develop a distributed and fault-tolerant version of the connector communication mechanism, and will work together with the Internet community on standardization. The development is fully public and open source (EUPL). There is lots of freedom to experiment and do independent research, that could result in the development of compiler optimizations, protocol language extensions, or security features.
Candidates are required to have a completed Master degree in the area of Computer Science or a related discipline. Candidates are specialized in foundations, Internet architecture, compilers, programming languages or a related subfield. Needed qualifications for candidates include proven systems programming talent and good (academic) writing and presentation skills. Candidates are expected to have an excellent command of English. Desired, but optional, qualifications are: proven kernel programming experience, and/or proven Internet architecture contributions.
Terms and conditions
The terms of employment are in accordance with the Dutch Collective Labour Agreement for Research Centres ("CAO-onderzoeksinstellingen"). The gross monthly salary for an employee on a full time basis, depending on relevant work experience, ranges from € 2,939 to € 4,452. The appointment will be for a period of two years. Employees are also entitled to a holiday allowance of 8% of the gross annual salary and a year-end bonus of 8.33%. CWI offers attractive working conditions, including flexible scheduling.
Please visit our website for more information about our terms of employment: https://www.cwi.nl/jobs/terms-of-employment
Applications can be sent before November 1, 2020 to email@example.com. All applications should include a detailed resume and motivation letter/video. For residents outside the EER-area, a Toefl English language test might be required.
For more information about the vacancy, please contact Hans-Dieter Hiep, email firstname.lastname@example.org, phone +31 20 592 4146.
CWI encourages a diverse workforce: we endeavour to develop talent and creativity by bringing people from different backgrounds and cultures together. We recruit and select based on capabilities and talent. We strongly encourage everyone with the appropriate qualifications to apply for the vacancy, regardless of age, gender, origin, sexual orientation or physical abilities.
About Centrum Wiskunde & Informatica
Centrum Wiskunde & Informatica (CWI) is the Dutch national research institute for mathematics and computer science and is part of the Institutes Organisation of the Dutch Research Council (NWO). The mission of CWI is to conduct pioneering research in mathematics and computer science, generating new knowledge in these fields and conveying it to trade, industry, and society at large.
CWI is an internationally oriented institute, with 160 scientists from approximately 27 countries. The facilities are first-rate and include excellent IT support, career planning, training, and courses.
CWI is located at Science Park Amsterdam, the home of AMS-IX, that is presently developing into a major location of research in the physical sciences in the Netherlands, housing the sciences of the University of Amsterdam as well as several other national research institutes next to CWI.
The Computer Security group contributes to making our society a safe place with digital and physical infrastructures that can be trusted to have the best interest of citizens and industry in mind. Our work constructively contributes new mechanisms and solutions to security problems.
We are committed to bringing rigorous cryptographic style thinking to security engineering. We study, analyze, and design secure computing environments from various perspectives such as secure processor architectures and cyber physical system security but also secure machine learning functionalities. We provide a holistic approach and use various techniques for reasoning about security, safety, and resilience ranging from formal methods to cryptographic proofs.
Watch our video about the Formal Methods subgroup of the Computer Security group.