1. Vacatures
  2. Universiteit van Amsterdam (UvA)
  3. Researcher in specification and programming of adaptive cyber physical systems

Researcher in specification and programming of adaptive cyber physical systems

The Parallel Computing Systems (PCS) group at the Informatics Institute (IvI) of the University of Amsterdam (UvA) is looking …

14 dagen geleden

Arbeidsvoorwaarden

Standplaats:
Science Park, Amsterdam, Noord-Holland
Dienstverband:
Tijdelijk contract / Tijdelijke opdracht
Uren per week:
38 - 38 uur
Salarisindicatie:
€ 2325 - € 4274 per maand
Opleidingsniveau:
WO

Functieomschrijving

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 postdoctoral researcher depending on prior qualification and experience. 

Functie-eisen

  • 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. 

Conditions

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.

Additional information

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

Solliciteren?

Middels onderstaande knop kun je direct solliciteren op deze vacature.

Reageer op deze vacature