PhD (Candidate) Software Verification for Programmable 6G Networks

27 Feb 2024
Job Information

Organisation/Company

University of Amsterdam (UvA)

Research Field

Physics

Researcher Profile

First Stage Researcher (R1)

Country

Netherlands

Application Deadline

31 Mar 2024 - 22:59 (UTC)

Type of Contract

Temporary

Job Status

Not Applicable

Hours Per Week

38.0

Is the job funded through the EU Research Framework Programme?

Not funded by an EU programme

Is the Job related to staff position within a Research Infrastructure?

No

Offer Description

Software-defined and programmable networking is a key enabling technology to support 6G in achieving their promises of increased scalability and flexibility at a lower cost. Deep network programmability, that is the ability to program the network fabric both vertically (control and data plane) and horizontally (end to end), is expected to characterize the new generation of mobile networks (6G), currently under development, towards supporting extreme performance requirements and service-specific operations.

The objective of the PhD project is to develop a framework consisting of a set of programming language methodologies and tools for the specification, verification and generation of software and configurations for programmable data planes. Making data-planes programmable (e.g., using the P4 language) enables unprecedented network flexibility, often at the cost of robustness and security.

These challenges require domain-specific, formally verified, and empirically tested solutions that curtail the underlying complexity through the introduction of layers of abstraction. The candidate will contribute to the design and evolution of domain-specific languages, software verification techniques and programming environments that enable network operators to deploy verified programs with CI/CD pipelines for programmable data planes. To achieve this, the candidate will study, develop and apply programming language techniques such as static and runtime verification, formal specification, and language design, translation and implementation.

The research is conducted within the scope of the Future Network Services (FNS - https://futurenetworkservices.nl/ ): the 6G flagship project for the Netherlands where 60 leading ICT businesses, mobile operators, semiconductor manufacturers and research institutions, have united to spearhead the development of specific aspects of 6G: Software antennas, AI-driven network software, and groundbreaking 6G applications.

You will be embedded in the MNS group. The group focuses its research on the fundamental architectural problems that arise from the interconnection of systems and of data flows. We look at the emerging architectures that can support the operations of the future Internet. More information can be found at: https://mns-research.nl/ .

You will be collaborating closely with the CCI research group. The CCI group focuses on the complexity of man-made systems on all scales. The challenges of such systems are addressed by research into distributed data processing, programmable networks, policy reasoning and normative control, hardware and cryptographic security, and programming languages and software language engineering. More information can be found at: https://cci-research.nl/

Tasks and responsibilities:

• Evaluate and further develop of domain-specific languages for programmable data planes (such as P4) and formal verification techniques for network configurations, software and protocols;
• develop and evaluate CI/CD environments and pipelines for deeply programmable networks, generating fast, correct, secure and debug-able network software;
• empirically validate the proposed approaches by developing and demonstrating proof of concepts;
• access a unique state-of-the-art testbed to also put theory to practice and be at the forefront of the Dutch 6G national ecosystem.;
• become active in the research community and collaborate with other institutes and/or companies that are part of the project;
• publish and present work regularly at international conferences, workshops, and journals;
• assist in teaching activities (labs) and in supervising bachelor and master students.

Requirements
Specific Requirements

Your experience and profile:

• Master's degree or equivalent program (completed or near completion: see below) in a relevant discipline, such as computer science, software engineering, security and network engineering;
• excellent programming skills in a variety of languages, including functional languages;
• familiarity with programming language techniques such as compilers and type systems;
• prior experience with software verification is a plus, such as operational semantics, model checking, symbolic execution, and dependently typed programming;
• prior experience in programmable networking technologies and domain-specific languages is a plus, especially languages such as eBPF and P4;
• the willingness to be part of an international research team;
• fluency in oral and written English and good presentation skills;
• commitment to maintaining an inclusive, collaborative, diverse, supportive work environment.

Additional Information
Benefits

A temporary contract for 38 hours per week for the duration of 4 years (the initial contract will be for a period of 18 months and after satisfactory evaluation it will be extended for a total duration of 4 years). The preferred starting date is as soon as possible. This should lead to a dissertation (PhD thesis). We will draft an educational plan that includes attendance of courses and (international) meetings. We also expect you to assist in teaching undergraduates and master students.

The gross monthly salary, based on 38 hours per week and dependent on relevant experience, ranges between € 2,770 in the first year to € 3,539 in the last year (scale P). UvA additionally offers an extensive package of secondary benefits, including 8% holiday allowance and a year-end bonus of 8.3%. The UFO profile PhD Candidate is applicable. A favourable tax agreement, the ‘30% ruling’, may apply to non-Dutch applicants. The Collective Labour Agreement of Universities of the Netherlands is applicable.

Besides the salary and a vibrant and challenging environment at Science Park we offer you multiple fringe benefits:

• 232 holiday hours per year (based on fulltime) and extra holidays between Christmas and 1 January;
• Multiple courses to follow from our Teaching and Learning Centre;
• A complete educational program for PhD students;
• Multiple courses on topics such as leadership for academic staff;
• Multiple courses on topics such as time management, handling stress and an online learning platform with 100+ different courses;
• 7 weeks birth leave (partner leave) with 100% salary;
• Partly paid parental leave;
• The possibility to set up a workplace at home;
• A pension at ABP for which UvA pays two third part of the contribution;
• The possibility to follow courses to learn Dutch;
• Help with housing for a studio or small apartment when you’re moving from abroad.

Are you curious to read more about our extensive package of secondary employment benefits, take a look here .

Selection process

If you feel the profile fits you, and you are interested in the job, we look forward to receiving your application. You can apply online via the button below. We accept applications until and including 31 March 2024.

Applications should include the following information (all files besides your CV should be submitted in one single pdf file):

• a detailed CV including the months (not just years) when referring to your education and work experience;
• a letter of motivation;
• a written sample in English, e.g., (a draft of) your master thesis or a paper;
• a complete record of your Bachelor and Master courses, included grades and explanation of the grading system;
• Names, affiliations, and email addresses of two academic referees who can provide details about your academic profile in relation to this position (please do not include any reference letters in your application).

Please make sure to provide ALL requested documents mentioned above.

You can use the CV field to upload your resume as a separate pdf document. Use the Cover Letter field to upload the other requested documents, including the motivation letter, as one single pdf file.

Only complete applications received within the response period via the link below will be considered. Please don’t send any applications by email.

We will invite potential candidates for interviews soon after the expiration of the vacancy.

Additional comments

Do you have any questions or do you require additional information? Please contact:

• Dr. Chrysa Papagianni, Assistant Professor
• E: [email protected]
• T: +31 634569510

Website for additional job details

https://www.academictransfer.com/338261/

Work Location(s)

Number of offers available

1

Company/Institute

Faculty of Science

Country

Netherlands

City

Amsterdam

Postal Code

1098XH

Street

Science Park 904

Geofield

Where to apply

Website

https://www.academictransfer.com/en/338261/phd-candidate-software-verification-…

Contact

City

Amsterdam

Website

http://www.uva.nl/

Street

Spui 21

Postal Code

1012 WX

STATUS: EXPIRED