Expoint - all jobs in one place

מציאת משרת הייטק בחברות הטובות ביותר מעולם לא הייתה קלה יותר

Limitless High-tech career opportunities - Expoint

Google Formal Verification Engineer 
United States, California, Sunnyvale 
219913759

25.09.2024
Minimum qualifications:
  • Bachelor's degree in Electrical Engineering, Computer Engineering, Computer Science, a related field, or equivalent practical experience.
  • Experience in verification of designs such as CPUs, networking, or peripheral controllers.

Preferred qualifications:
  • Master's degree or PhD in Electrical Engineering, Computer Engineering or Computer Science, with an emphasis on computer architecture.
  • Experience working with one or more formal verification tools, such as JasperGold, VC Formal, Questa Formal, 360-DV.
  • Proficient with a scripting language.
  • Understanding of formal verification algorithms.
  • Excellent communication and team management skills.