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