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..
Relevance: 12.078461