The _Parallel Computing Systems (PCS)_ group at the Informatics Institute (IvI) <http://ivi.uva.nl/> of the University of Amsterdam (UvA) <http://www.uva.nl/en/home> is looking for a researcher (PhD candidate or PostDoc) in the area of domain-specific programming languages for the specification and design of adaptive cyber-physical systems that are robust against both component failures and cyber-attacks. The successful candidate will perform reseaerch within the EU-funded Horizon-2020 project ADMORPH, which brings together a consortium of 4 academic and 4 industrial partners from across Europe, coordinated by the University of Amsterdam.

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.

The position can be filled by either a PhD candidate or a postdoctoral researcher; tasks will be adjusted accordingly. All details as well as instructions for application can be found at our official vacancies site:
https://www.uva.nl/en/content/vacancies/2019/10/19-725-researcher-in-specification-and-programming-of-adaptive-cyber-physical-systems.html

For informal inquiries, please contact:
 Dr Clemens Grelck <c.gre...@uva.nl>.

--
----------------------------------------------------------------------
Dr Clemens Grelck                                     Science Park 904
Associate Professor                                   1098XH Amsterdam
Programme Director Software Engineering                    Netherlands

University of Amsterdam
Institute for Informatics                        T +31 (0) 20 525 8683
System and Network Engineering Lab               F +31 (0) 20 525 7490

Office C3.109                             staff.fnwi.uva.nl/c.u.grelck
----------------------------------------------------------------------

_______________________________________________
Haskell mailing list
Haskell@haskell.org
http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell

Reply via email to