Post-doc / Research Associate

Type: 
Full-time
Employer: 
Department of Computing & Information Sciences - KANSAS STATE UNIVERSITY
Closing Date: 
June 27, 2013

The Laboratory for Specification, Analysis, and Transformation of Software (SAnToS) (http://www.cis.ksu.edu/santos) in the Department of Computing and Information Sciences at Kansas State University is seeking applications for a post-doctoral researcher in the area of high assurance software for integrated medical devices. This 12-month position is funded by grants from the US National Science Foundation and National Institutes of Health. The position is part of a larger joint research effort with the University of Pennsylvania, the Center for Integration of Medicine and Innovative Technology (CIMIT), Massachusetts General Hospital, Cerner Corporation, and Harvard Medical School on networking medical devices and coordinating their actions in a high-acuity health care context.  The purpose of this position is to build a development environment for writing, verifying, and preparing regulatory submissions for medical device coordination applications.
 
The successful applicant must have a PhD in Computer Science and have significant experience in one or more of the following areas: model driven architecture/engineering (MDA/MDE), requirements engineering (RE), embedded systems, software specifications (especially architectural and contract-based), language semantics, and formal methods.  Responsibilities will include research in the application of RE, MDE and advanced specification techniques to the development of medical device drivers and medical software applications (apps) for use over the existing Medical Device Coordination Framework (MDCF) (http://mdcf.santos.cis.ksu.edu/) built by SAnToS researchers in collaboration with researchers from the University of Pennsylvania.  Research goals include producing sample artifacts that would be required to obtain regulatory approval for devices and apps. Additional research opportunities include application of RE and MDE to the MDCF itself, again with the goal of illustrating sample artifacts that would be useful in obtaining regulatory approval for MDCF-like infrastructures.

The position is a 12-month appointment that is potentially renewable based on strong performance of the candidate and availability of funding.

Background check required.  KSU is an equal opportunity employer and actively seeks diversity among its employees.

Contact Information: 

Candidates should send a cover letter, resume, research statement describing past experience and career goals in the areas previously mentioned, and three professional references to Megan Whitney (metate@ksu.edu), or by mail to: Megan Whitney, Department of Computing and Information Sciences, Kansas State University, 234 Nichols Hall, Manhattan, KS 66506.  Screening of applicants will begin April 22, 2013 and continue until the position is filled.