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 ([email protected]), Professor of Computer Science, and Shan Lin ([email protected]), 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.
---- [[ Petri Nets World: ]] [[ http://www.informatik.uni-hamburg.de/TGI/PetriNets/ ]] [[ Mailing list FAQ: ]] [[ http://www.informatik.uni-hamburg.de/TGI/PetriNets/pnml/faq.html ]] [[ Post messages/summary of replies: ]] [[ [email protected] ]]
