We are recruiting postdoctoral scholars with interests and expertise in: (a) machine learning, formal methods, and cyber-physical systems; or (b) electronic design automation, system-on-chip design, formal methods, and security. Prospective applicants should email their CV to Prof. Pierluigi Nuzzo together with two representative publications.