Logic List Mailing Archive

Postdoctoral Position (12m) on integrated verification of cyberphysical systems, Padua (Italy)

OPEN POSTDOC POSITION ON INTEGRATED VERIFICATION OF CYBERPHYSCAL SYSTEMS
UNIVERSITY OF PADUA, ITALY

We have an open PostDoc position in the area of formal methods for 
cyber-physical systems.

The research is funded by the Department of Mathematics of the University 
of Padua and aims at developing verification and synthesis methodologies 
for cyber-physical systems where symbolic and numerical methods interact 
in a feedback loop where the result of the symbolic method affects the 
numerical methods and vice-versa.

We are seeking for candidates with a PhD in computer science, computer 
engineering, control theory or related fields, a good background in formal 
methods and/or in dynamical systems and control theory, and expertise in 
programming.

The position is for 12 months with a salary of 24,000 EUR (gross).

Interested candidates are invited to send an email including a CV to Prof. 
Davide Bresolin (davide.bresolin@unipd.it). The current call is 
*informal*; information about the full selection procedure will follow.

?
Davide Bresolin

Associate Professor
Department of Mathematics
University of Padova, Italy
--
[LOGIC] mailing list
http://www.dvmlg.de/mailingliste.html
Archive: http://www.illc.uva.nl/LogicList/

provided by a collaboration of the DVMLG, the Maths Departments in Bonn and Hamburg, and the ILLC at the Universiteit van Amsterdam