[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
 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 FMIndia mailing list