[FM-India] Postdoctoral Position at Stonybrook
Madhavan Mukund
madhavan at cmi.ac.in
Thu Jul 23 07:08:52 IST 2015
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.
More information about the FMIndia
mailing list