[isabelle] Postdoctoral Position in Cyber Physical Systems



Seeking a Postdoc on recently funded NSF CPS grant on Closed-Loop
Verification of Medical Devices.  The postdoc will perform research on
computational modeling, formal verification and control of 2-d and 3-d
cardiac tissue along with cardiac medical devices, especially for newly
developed therapies such as Low-Energy Antifibrillation Protocol (LEAP).
Please also see the CyberCardia project web page at
http://cybercardia.cs.stonybrook.edu/.  The postdoc should have programming
experience with Matlab, Java and C, and be able to write papers, develop
models of complex dynamical systems, and apply formal verification
techniques to the same.  Finally, the postdoc will be involved in
co-advising graduate students working on the project.  The project is a
collaborative effort involving multiple PIs across several universities.
The postdoc will be supervised by Scott Smolka (sas at cs.stonybrook.edu),
Professor of Computer Science, and Shan Lin (shan.x.lin at stonybrook.edu),
Assistant Professor of Electrical and Computer Engineering, at Stony Brook
University.



Interested candidates should apply using the following link:



https://stonybrooku.taleo.net/careersection/2/jobdetail.ftl?job=1502574



The positions are open immediately and the initial appointment will be for
two years, with a possible extension beyond that. Applications will be
accepted until this position is filled. The anticipated/preferred start
date for the postdoc position is approximately Spring 2016, so we urge
candidates to apply in a timely manner.



This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.