[FM-India] Open PhD and Postdoctoral Positions in Formal Methods/Cyber-Physical Systems

[Madhavan Mukund]

----- Forwarded message -----

Date: Wed, 8 Jan 2020 09:30:39 +0000
From: Pavithra Prabhakar <pprabhakar at ksu.edu>
To: "fmindia at cmi.ac.in" <fmindia at cmi.ac.in>
Subject: Open PhD and Postdoctoral Positions in Formal Methods/Cyber-Physical
 Systems

The Cyber-Physical Systems and Robotics group at Kansas State University has openings for PhD and postdoctoral fellowships in the broad areas of formal verification and synthesis of cyber-physical and hybrid control systems. The research focuses on both foundational research consisting of theoretical and algorithmic aspects of formal methods in the context of systems that involve both discrete and continuous dynamics (hybrid systems), and practical aspects consisting of software tool development, as well as  case studies and experimentation in the areas

of automotive, aerospace, autonomous vehicles and agricultural robotics. Candidates with strong mathematical background and a passion for implementation and experimentation are encouraged to apply.  Postdoctoral candidates are expected to have prior published work in

formal methods, control systems, embedded real-time systems and/or other CPS related areas.


Kansas State University is a college town with a friendly and affordable environment.  The research will be supported by National Science Foundation (NSF), Office of Naval Research (ONR) and NASA. Interested candidates can contact Prof. Pavithra Prabhakar at pprabhakar at ksu.edu. More details regarding the research can be found at: http://people.cs.ksu.edu/~pprabhakar/


----

Pavithra Prabhakar

Peggy and Gary Edwards Chair in Engineering

Associate Professor, Department of Computer Science

Kansas State University, http://people.cis.ksu.edu/~pprabhakar


----- End forwarded message -----