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
Peggy and Gary Edwards Chair in Engineering
Associate Professor, Department of Computer Science
Kansas State University, http://people.cis.ksu.edu/~pprabhakar