[ecoop-info] [Concurrency] Postdoctoral Position

[Shan Lin]

*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, especially for newly developed therapy Low-Energy
Anti-fibrillation Protocol (LEAP).  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 woking on the project.  The project is a
collaborative effort involving multiple PIs across several universities.
The postdoc will be supervised by Scott Smolka, Professor of Computer
Science, and Shan Lin, Assistant Professor of Electrical and Computer
Engineering, at Stony Brook University.

*Contact: *

Prof. Scott Smolka (*sas at cs.stonybrook.edu <sas at cs.stonybrook.edu>*)
or Prof. Shan Lin (shan.x.lin at stonybrook.edu)

Interested candidates should send their CV and a description of their
research interests.

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 mid September 2015, so we
urge candidates to apply in a timely manner.