Postdoc. and doct. positions in cyberphysical systems, Kansas State University

The Hybrid Control Systems group at Kansas State University (KSU) seeks postdoctoral 
fellows and/or doctoral candidates in the area of formal analysis and design of 
cyber-physical systems to conduct research in the following projects:

  1.  Robust Verification of Cyber-Physical Systems (Sponsored by an NSF CAREER Award): 
      The project consists of investigating algorithms and tools for robust analysis 
      of cyber-physical systems based on techniques from formal methods.
  2.  Formal Synthesis of Robust, Optimal Controllers for Autonomous Underwater Vehicles 
      (Sponsored by an ONR  Young Investigator Award): The project consists of investigating
      algorithms based on automata and game theory as well as hybrid systems theory for robust 
      and optimal navigation of autonomous vehicles. The project will also involve conducting 
      experiments with a robotic test bed at KSU.

Postdoctoral candidates are expected to have completed (or close to completing) their PhD in 
topics related to formal methods, control theory, hybrid systems, and/or embedded systems 
(with preferably expertise in multiple of these areas). They will be expected to conduct 
independent research in the broad areas of the above projects, and will have the opportunity 
to define their own problems. Interest/experience in robotics specifically path planning with 
be considered positively.

PhD candidates are expected to have strong foundations in basic mathematics in particular in 
topics such as differential equations, linear algebra, automata theory, graph theory, 
probability and statistics. Interest in pursuing theoretical as well as practical research 
in the areas of formal methods and cyber-physical systems is expected, however, no prior 
knowledge in these areas is required, but would be a plus. Admissions for either Spring 2018 
or Fall 2018 will both be considered.

Kansas State University is the nation’s first operational land-grant university and has its 
main campus in Manhattan, Kansas. It is a college town with an affordable cost of living.

If you are interested in the above positions, please send your CV to Prof. Pavithra Prabhakar 
(pprabhakar@ksu.edu<mailto:pprabhakar@ksu.edu>, 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

Comments are closed.