*Postdoctoral position in Cyber Physical Systems*
Seeking a Postdoc on newly funded NSF CPS grant on Closed-Loop Verification
of Medical Devices. The postdoc will perform research on computational
modeling and formal verification of 2-d and 3-d cardiac tissue along with
cardiac medical devices,
The Free University of Bozen-Bolzano announces a public competition, by
qualifications, for admission to the PhD program of the Faculty of Computer
Science, with the first 8 positions fully covered by scholarships (17,000€ per
year). In addition, the students will be financially supported to
Call for participation
13th International Symposium on Automated Technology for Verification and
Analysis, ATVA 2015
October 12-15, 2015, Shanghai, China
http://atva2015.ios.ac.cn/
*** Early registration deadline: August 15, 2015 ***
ATVA promotes research on theoretical and practical aspects
View this vacancy online and apply directly:
http://jobs.tue.nl/en/vacancy/phd-candidate-desire-lines-in-big-data-226186.html
In the context of the NWO project Desire Lines in Big Data we are looking for
a PhD candidate interested in Process Mining on huge, heterogeneous event logs.
The
**
12th International Conference on integrated Formal Methods, iFM 2016
http://ifm2016.ru.is
June 1-5, 2016 - Reykjavik, Iceland
**
***
The timed and hybrid systems group at Verimag
(http://www-verimag.imag.fr/Tempo,32.html sorry we are busy doing research so
we do not have time to maintain it) is one of the leading teams worldwide in
verification, simulation and monitoring of continuous and hybrid cyber-physical
systems. The
==
31st Annual ACM Symposium on Applied Computing
Software Verification and Testing Track
April 3 - 8, 2016, Pisa, Italy
More information:
http://antares.sip.ucm.es/svt16/ and
http://www.acm.org/conferences/sac/sac2016/