The Cyber-Physical System Design Laboratory at USC is recruiting postdoctoral scholars in the following areas:
- Artificial Intelligence, Formal Methods, and Cyber-Physical Systems. We are looking for candidates with interests and expertise in machine learning, formal methods, and cyber-physical system design. A background in optimization, controls, or computer-aided design is a plus.
- Secure and Trustworthy System-on-Chip Design. We are looking for candidates with interests and expertise in in electronic design automation, formal methods, system-on-chip design, and security. A background in optimization and machine learning is a plus.
Prospective applicants should email their CV to Prof. Pierluigi Nuzzo together with two representative publications.