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
Similar Positions
-
Prestigious Industrial Ph D Student Position On “Precise Positioning With Rf”, Eindhoven University of Technology, Netherlands, about 21 hours ago
Irène Curie Fellowship No Department(s) Electrical Engineering Reference number V36.7388 Job description This position will be in the program line PL1 “Intelligent Components’ of the Dutch Growthf...
-
Ph D Position Advanced Calibration And De Embedding Approaches For Sub Mm Wave Up To 500 G Hz, Delft University of Technology, Netherlands, about 19 hours ago
Technology is evolving so fast that 5G and 6G will be obsolete soon. We better start working on the Next Generation (XG) communication and sensing applications. Join the XG research group at TU De...
-
Ph D Candidate: Visual Perception And Decision Making , Radboud University, Netherlands, about 23 hours ago
Employment 1.0 FTE Gross monthly salary € 2,770 - € 3,539 Required background Research University Degree Organizational unit Donders Centre for Cognitive Neuroimaging Application deadline 15 May 2...
-
Ph D Position On Software Security, University of Twente, Netherlands, about 17 hours ago
Key takeaways The Semantics, Cybersecurity and Services (SCS) group at the University of Twente is looking for a full-time PhD to join the research team, working on Software Security. The position...
-
Ph D Position For The Project: Organizations And Misinformation: The Role Of Trust And Corrections , University of Amsterdam, Netherlands, 3 days ago
Are you interested in the reciprocal relationships between mis- and disinformation and trust in organizations and institutions? Do you want to know more about how mis- and disinformation impact or...
-
Ph D Position On Calibration In Deep Learning For Zero Downtime In Cyber Physical Systems, University of Twente, Netherlands, about 17 hours ago
Vacancies PhD position on Calibration in Deep Learning for Zero Downtime in Cyber-Physical Systems Key takeaways The vacancy is focused on calibration in deep learning . Deep Neural Networks (DNNs...