*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 (*[email protected] <[email protected]>*) or Prof. Shan Lin ([email protected]) 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.
_______________________________________________ Om-announce mailing list [email protected] http://openmath.org/mailman/listinfo/om-announce
