[ecoop-info] Postdoctoral Position in Cyber Physical Systems

Shan Lin shan.x.lin at stonybrook.edu
Wed Dec 30 03:48:08 CET 2015

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

Interested candidates should apply using the following link:


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.

More information about the ecoop-info mailing list