[Haskell] PhD / Postdoc position (Uni Amsterdam) in programming languages for adaptive cyber-physical systems
Clemens Grelck
c.grelck at uva.nl
Wed Nov 13 14:30:06 UTC 2019
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.grelck at 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
----------------------------------------------------------------------
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/haskell/attachments/20191113/99f37761/attachment.html>
More information about the Haskell
mailing list