John mac Hale Email
Formal Verification Engineer @ Google
5 free lookup(s).
If you need more lookups,
subscriptions start at $34 USD/month.
John mac Hale Location
- Cupertino, CA, US
John mac Hale Work
- Formal Verification Engineer @ (March 2026 - Present)
- Silicon Engineering Intern @ (May 2025 - August 2025)
- Custom CAD Intern @ (May 2024 - August 2024)
- Digital Design Intern @ (December 2023 - April 2024)
- STEP (Student Training in Engineering Program) Intern @ (May 2023 - August 2023)
- Software Engineer Intern @ (May 2022 - July 2022)
John mac Hale Education
- Georgia Institute of Technology
Master of Science - MS (Electrical and Computer Engineering)
2025-2025 - Georgia Institute of Technology
Bachelor's degree (Computer Engineering)
2021-2024 - Bellarmine College Preparatory
High School Diploma
2017-2021
John mac Hale Skills
- Agile Software Development
- Autodesk EAGLE
- Bazel
- Bitbucket
- C (Programming Language)
- C++
- Cadence Jasper
- Compilers
- Confluence
- Debugging
- Design Documents
- Formal Verification
- Git
- Google Closure
- Java
- JavaScript
- Jira
- Leadership
- Linux
- Problem Solving
- Python (Programming Language)
- RISC-V
- SystemVerilog
- Unit Testing
- Windows Batch
John mac Hale Summary
- John mac Hale, based in Cupertino, CA, US, is currently a Formal Verification Engineer at Google. John mac Hale brings experience from previous roles at Google, Apple and Bolt Graphics. John mac Hale holds a 2025 - 2025 Master of Science - MS in Electrical and Computer Engineering @ Georgia Institute of Technology. With a robust skill set that includes Agile Software Development, Autodesk EAGLE, Bazel, Bitbucket, C (Programming Language) and more. John mac Hale has 1 emails on RocketReach.
Looking for a different John mac Hale?
Find contact details for 700 million professionals.
Others Named John mac Hale
John mac Hale
Formal Verification Engineer
Cupertino, CA, US
Top Google Employees
Sameer Samat
President, Android Ecosystem
Oakland, CA, US
Emmanuel Sauquet
president, gTech
Mountain View, CA, US
J. Wolfe
President
Cincinnati, OH, US
Michael Clark
President, North America, Google Cloud
United States
Cindy Fan
Co-Founder/TL, AI Assisted Video Editor, Area120, Google
California, United States
Zak Stone
Founder of the Cloud TPU business and the TPU Research Cloud program
California, United States
Manini Roy
Founder of AI Web Innovation Lab
Kirkland, WA, US
Larry Page
Founder
San Francisco, California, United States
Dylan Walter
Co-Founder and Chief Executive Officer and Consultant
Minneapolis, MN, US
Chris Gough
Co-Founder
Lake Forest, IL, US
Matt Renner
President, Chief Revenue Officer - Google Cloud
Chicago, IL, US
Bei Li
Founder of BigQuery Graph and Spanner Graph
Mountain View, CA, US
Gilberto B.
Founder
New Castle, DE, US
G2 Crowd Trusted
300K+ Plugin Users
© 2026 RocketReach.co