[FM-India] Postdoctoral Position at Stonybrook

[Madhavan Mukund]

 Date: Wed, 22 Jul 2015 21:34:34 -0400
 From: Shan Lin <shan.x.lin at stonybrook.edu>
 Subject: [Concurrency] Postdoctoral Position

 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) 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.