The Cyber-Physical Systems Lab at Duke (CPSL@Duke) brings together expertise from electrical, computer and biomedical engineering, as well as computer science fields to study the interaction between the physical world and computing systems with varying levels of autonomy, aka Cyber-Physical Systems (CPS). CPS are the next generation of time-critical and safety-critical, networked and embedded control systems, in domains spanning from autonomous vehicles, industrial automation and advanced manufacturing, to medical devices and systems, energy-efficient buildings, and smart cities.
We focus on fundamental and application-specific problems related to modeling, design and analysis. Our goal is to provide strong safety, efficiency, robustness, and security guarantees as part of CPS design and integration procedures.
We are looking for PhD students and postdocs with interests and expertise in embedded systems, formal methods, control theory, and cyber-physical systems!