For best experience please turn on javascript and use a modern browser!

Researcher in specification and programming of adaptive cyber physical systems

Faculty of Science – Informatics Institute

Researcher in specification and programming of adaptive cyber physical systems
Publication date 31 October 2019
Closing date 12 December 2019
Level of education University
Hours 38 hours per week
Salary indication €2325 to €4,274 gross per month
Vacancy number 19-725

The Parallel Computing Systems (PCS) group at the Informatics Institute (IvI) of the University of Amsterdam (UvA) is looking for a researcher (PhD candidate or postdoctoral researcher) in the area of specifying and designing adaptive Cyber Physical Systems that are robust against both component failures and cyber-attacks. The PCS group performs research on the design, programming and run-time management of multi-core and multi-processor computer systems. The modeling, analysis and optimization of the extra-functional aspects of these systems, such as performance, power/energy consumption but also the degree of productivity to design and program these systems, play a pivotal role in our work. 

What are you going to do?

​Due to increasing performance demands mission- and safety-critical Cyber Physical Systems (CPS) exhibit a rapidly growing complexity, manifested by an increasing number of (distributed) computational cores and application components connected via complex networks. However, with the growing complexity and interconnectivity chances of hardware failures as well as disruptions due to cyber-attacks quickly increase as well. System adaptivity, foremost in terms of dynamically remapping of application components to processing cores, represents a promising technique to fuse fault- and intrusion tolerance with the increasing performance requirements of these mission- and safety-critical CPS. In the EU-funded Horizon-2020 ADMORPH project, we aim to validate this hypothesis using a novel, holistic approach to the specification, design, analysis and runtime deployment of adaptive, i.e., dynamically morphing, mission- and safety-critical CPS that are robust against both component failures and cyber-attacks. ADMORPH brings together a consortium of 4 academic and 4 industrial partners from across Europe led by the University of Amsterdam. 

This research position will address the high-level specification of adaptive CPS by developing a domain-specific coordination language (DSL) that combines functional dependencies with extra-functional requirements and expectations (e.g., fault tolerance, timing, security and quality-of-service) as well as adaptivity strategies. A proof-of-concept compilation infrastructure towards an application-specific run-time coordination layer is expected to complement the DSL. 

The position can be offered to a PhD candidate or a post-doctoral researcher depending on prior qualification and experience. 

What do we require?

  • MSc (for a PhD candidate) or PhD (for a postdoctoral researcher) in computer science or computer engineering;
  • prior expertise in (domain-specific) language design, compilation and runtime systems;
  • fluency in oral and written English as well as good presentation skills;
  • strong analytical and programming skills;
  • ability to work in an international research team. 

Our offer

This position can be filled by a PhD student or a postdoctoral researcher. Depending on skills and experience the tasks of this position can be adjusted.

Offer PhD candidate

For a PhD candidate we offer a temporary contract for 38 hours per week, preferably starting at January 2020, for the duration of 48 months. The initial employment is 18 months and after a positive evaluation, the appointment will be extended further with 30 months and should lead to a dissertation (PhD thesis). You will get a customized Training and Supervision Plan, that will be evaluated every year.
The salary will be €2,325 in the first year, up to € 2',972 in the fourth year, scale P. The salary is exclusive 8 % holiday allowance and 8.3 % end-of-year bonus. A favorable tax agreement, the ‘30% ruling’, may apply to non-Dutch applicants. The Collective Labour Agreement of Dutch Universities is applicable.

Offer Postdoctoral researcher

For a Postdoctoral researcher we offer a temporary contract for 38 hours per week, preferably starting at January 2020 for the duration of 36 months.
The salary, depending on relevant experience before the beginning of the employment contract, will be €2,709 to €4,274 (scale 10) gross per month, based on fulltime (38 hours a week), exclusive 8 % holiday allowance and 8.3 end-of-year bonus. A favorable tax agreement, the ‘30% ruling’, may apply to non-Dutch applicants. The Collective Labour Agreement of Dutch Universities is applicable.

Are you curious about our extensive package of secondary employment benefits? Then find out more about working at the Faculty of Science.

Questions?

Do you have questions about this vacancy? Or do you want to know more about our organisation? Please contact:

About the Faculty of Science

The Faculty of Science has a student body of around 6,500, as well as 1,600 members of staff working in education, research or support services. Researchers and students at the Faculty of Science are fascinated by every aspect of how the world works, be it elementary particles, the birth of the universe or the functioning of the brain.

Job application

The UvA is an equal-opportunity employer. We prioritise diversity and are committed to creating an inclusive environment for everyone. We value a spirit of enquiry and perseverance, provide the space to keep asking questions, and promote a culture of curiosity and creativity.

The Informatics Institute strives for a better gender balance in its staff. We therefore strongly encourage women to apply for this position.

Do you recognize yourself in the job profile? Then we look forward to receiving your CV and cover letter by closing date. You can apply online by using the button below.

Applications should include:

  • a motivation letter and CV, including a list of publications,
  • BSc/MSc diplomas with course/grade transcripts.

#LI-DNP

No agencies please

Apply now