1 dag geleden - Technische Universiteit Eindhoven - Eindhoven
Researcher in programming language technology for adaptive cyber-physical systems
The Parallel Computing Systems (PCS) group at the Informatics Institute (IvI) of the University of Amsterdam (UvA) is looking …
- Science Park, Amsterdam, Noord-Holland
- Vast contract
- Uren per week:
- 38 - 38 uur
- € 2325 - € 4274 per maand
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 programming language technology, compilation and run-time systems for adaptive cyber-physical systems that are resilient against component failure and cyber-attack.
The PCS group performs research on the design, programming and run-time management of multi-core and multi-processor computer systems. Modeling, analysis and optimization of extra-functional aspects of these systems, such as performance, power/energy consumption, robustness but likewise the degree of productivity to design and program these systems, play a pivotal role in our work.
What are we going to do?
Due to increasing performance demands mission- and safety-critical cyber-physical systems (CPS) exhibit a rapidly growing complexity, as manifested by the ever increasing number of (distributed) computational units connected via complex network infrastructures. However, growing complexity and connectivity likewise increase chances of hardware failure; disruptions due to cyber-attacks become an everyday risk.
In the EU-funded Horizon-2020 project ADMORPH we pursue a novel holistic approach to specification, design, analysis and run-time deployment of adaptively morphing mission- and safety-critical CPS, that are robust against component failure and cyber-attack. ADMORPH brings together a consortium of 4 academic and 4 industrial partners from across Europe coordinated by the University of Amsterdam.
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 researcher position will address the programming language technology dimension of adaptively morphing cyber-physical systems by developing a domain-specific coordination language (DSL) that combines functional dependencies with extra-functional requirements, expectations and strategies regarding fault-tolerance, timing, security, quality-of-service, etc. 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.
- 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.
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 favourable 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 full-time employment (38 hours a week). These amounts are exclusive 8 % holiday allowance and 8,3 % end-of-year bonus. A favourable 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.
Do you have questions about this vacancy? Or do you want to know more about our organisation? Please contact: