- Google (Mountain View, CA)
- …We develop research breakthroughs that impact all aspects of the Electronic Design Automation (EDA) process, to significantly reduce the time to market of Google's ... hardware verification technologies, formal methods, theorem proving, and hardware testing methodologies. + Self-directed engineer/research scientist who can drive… more