[FM-India] Postdoctoral Position in Cyber Physical Systems
Madhavan Mukund
madhavan at cmi.ac.in
Wed Dec 30 08:28:05 IST 2015
Date: Tue, 29 Dec 2015 21:48:08 -0500
From: Shan Lin <shan.x.lin at stonybrook.edu>
Subject: 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.
More information about the FMIndia
mailing list