Open Postdoc positions at University of Firenze (Italy)
The University of Florence http://www.unifi.it/, Florence, Italy,
opens one or more (depending on candidates qualification)Post Doctoral position(s)
in Dependable Systems at Resilient Computing Lab (RCL, http://rcl.dsi.unifi.it), Department of Mathematic and Informatics.
We are recruiting postdoctoral researcher(s) in the area of Dependable and Resilient Computing. The position(s) will be for a two-years commitment starting early spring 2014. The activity will consist in research and experimentation of dependable and secure architectures and systems, mainly spanning two macro areas:
(1) Architectures and Techniques for Fault-Tolerant and Secure Systems of Systems and Infrastructures, and
(2) Validation of systems dependability, security, privacy, trust and QoS through analytical, simulative and experimental techniques.A doctoral degree in computer science/engineering or related areas and an outstanding research record are required. Successful candidates are expected to work in team and independently, mainly in the context of the European project AMADEOS -http://amadeos.imag.fr/ .
The Resilient Computing Lab, (RCL) is a research group of the Department of Mathematics and Informatics (DiMaI, "Dipartimento di Matermatica e Informatica") of the University of Florence coordinated by Prof. Andrea Bondavallihttp://rcl.dsi.unifi.it/people/bondavalli. RCL research activities focus mainly in research and experimentation of dependable architectures and systems. The RCL group is composed by several members - see our profiles here: http://rcl.dsi.unifi.it/staff/
The AMADEOS (Architecture for Multi-criticality Agile Dependable Evolutionary Open System-of-Systems) project is a STREP project funded by the EC in the context of Framework 7. The project started on October 1st 2013 and has a duration of 3 years and is coordinated by the RCL group. The objective of AMADEOS is to bring time awareness and evolution into the design of System-of-Systems (SoS), to establish a sound conceptual model, a generic architectural framework and a design methodology including tools for prototyping, for the modeling, development and evolution of time-sensitive SoSes with possible emergent behaviors. Special emphasis is placed on evolution, emergence, dependability (e.g. safety, availability) and security, considering embedded devices and the computing cloud as the execution platform. The concept of evolution will be addressed from two complementary perspectives, considering both long-term evolution and unexpected short-term changes (e.g. failures) in the constituent systems.
Starting with a study of industrial SoSs in the domains of disaster management, transport, and smart grid applications, AMADEOS will then develop the core of the project that is the conceptual model, the architectural framework, the design methodology and some extensions to UML-based tools. The viability of the framework will be validated on a case study of a Cyber-Physical System, a small smart grid application, where guaranteed responsiveness, evolution, dependability and security are essential requirements.
While waiting for the official call to be published on the UNIFI official bulletin and website, Interested applicants are solicited to contact Prof. Bondavalli (andrea.bondavalli@unifi.it) for further information.