The Cyber-Physical Systems Security (CPSS) group has an opening for a postdoctoral research scientist. The candidate should have a desire to work on problems with real-world impact and have strong implementation skills to create early-stage prototypes. Strong publication record in at least one of the following areas is required: cyber-physical system security, distributed systems, system configuration management/troubleshooting, and/or optimization theory. Prior experience with SAT and SMT solvers is a plus. The candidate should be able to efficiently formulate linear and non-linear optimization problems and reduce complex requirements to mathematical constraints.

Responsibilities

Plan and execute cutting-edge research to advance trustworthiness of cyber-physical systems

Develop new advanced technologies to improve security and resilience of critical cyber-physical systems

Mentor interns and collaborate with our researchers as well as external R&D groups to advance our research goals

Publish research results in top-tier journals and at leading international conferences

Minimum Qualifications

PhD degree (or equivalent) in Computer Science, Computer Engineering or related field; and at least one year of experience as a Software Engineer, Software Engineer Intern, or Research Intern

Experience with distributed systems research, particularly distributed systems security and/or configuration management and troubleshooting

Strong publication record in at least one of the following areas: cyber-physical system security, distributed systems, system configuration management/troubleshooting, and/or optimization theory

Strong system development skills

Strong mathematical skills; familiarity with optimization theory

Familiarity with graph theory and graph analytics

Able to obtain work authorization in the US

Preferred Qualifications

Prior experience with SAT and SMT solvers (e.g. Z3)

Experience with distributed system vulnerability analysis

Experience with deployment and troubleshooting of distributed systems

Experience with development of containerized code (e.g. docker) and “big data” technologies (e.g. Apache Spark, Kafka, NiFi, and graph databases such as Neo4j)