Silicon Formal Verification Engineer
6 days ago
- Bachelor's degree in Electrical Engineering or Computer Science, or equivalent practical experience.
- 4 years of experience with formal verification for Application-Specific Integrated Circuits (ASICs) or Field-Programmable Gate Arrays (FPGAs).
- Experience writing formal properties using System Verilog Assertions (SVA) or Property Specification Language (PSL).
- Experience with formal verification Electronic Design Automation (EDA) tools (e.g., JasperGold, Questa Formal, VC Formal).
- Master's degree or PhD in Electrical Engineering or Computer Science.
- Experience with formal sign-off for IPs or SoCs in industry projects.
- Experience with scripting languages (e.g., Python, Perl, Tcl).
- Knowledge of specific formal applications (e.g., datapath verification, equivalence checking, connectivity checking, security verification).
- Understanding of formal methodologies, including abstraction techniques and proof convergence strategies.
- Familiarity with low-power design concepts and Unified Power Format (UPF)-based formal verification.
Be part of a team that pushes boundaries, developing custom silicon solutions that power the future of Google's direct-to-consumer products. You'll contribute to the innovation behind products loved by millions worldwide. Your expertise will shape the next generation of hardware experiences, delivering unparalleled performance, efficiency, and integration.
The Platforms and Devices team encompasses Google's various computing software platforms across environments (desktop, mobile, applications), as well as our first party devices and services that combine the best of Google AI, software, and hardware. Teams across this area research, design, and develop new technologies to make our user's interaction with computing faster and more seamless, building innovative experiences for our users around the world.
The US base salary range for this full-time position is $132,000-$189,000 + bonus + equity + benefits. Our salary ranges are determined by role, level, and location. Within the range, individual pay is determined by work location and additional factors, including job-related skills, experience, and relevant education or training. Your recruiter can share more about the specific salary range for your preferred location during the hiring process.
Please note that the compensation details listed in US role postings reflect the base salary only, and do not include bonus, equity, or benefits. Learn more about benefits at Google.
Responsibilities:- Develop formal verification test plans, models, and properties to verify digital hardware designs.
- Utilize formal model checking tools and advanced techniques to achieve comprehensive proof convergence and sign-off.
- Architect and implement reusable formal verification components and environments.
- Collaborate with design and architecture teams to analyze specifications and resolve bugs.
- Drive improvements to formal verification methodologies and flows to enhance quality and efficiency.
-
Silicon Technical Program Manager
2 days ago
Mountain View, California, United States DeepMind Full time $156,000 - $229,000Snapshot:At Google DeepMind, we've built a unique culture and work environment where long-term ambitious research can flourish. We are seeking a highly motivated Technical Program Manager to join our team and contribute to development of groundbreaking silicon for machine learning acceleration.About us:Artificial Intelligence could be one of humanity's most...
-
Principal Silicon Performance Architect
6 days ago
Mountain View, California, United States Microsoft Full time $139,900 - $304,200 per yearMicrosoft Silicon, Cloud Hardware, and Infrastructure Engineering (SCHIE) is the team behind Microsoft's expanding Cloud Infrastructure and responsible for powering Microsoft's "Intelligent Cloud" mission. SCHIE delivers the core infrastructure and foundational technologies for Microsoft's over 200 online businesses including Bing, MSN, Office 365, Xbox...
-
FPGA Verification Engineer
2 days ago
Mountain View, California, United States Innovatix Technology Partners Full timeRole: FPGA Verification EngineerDuration: 12+ monthsLocation:Mountain View, CAJob Description:Job Description• Strong understanding of FPGA design principles and architectures.• Proficiency in System Verilog and UVM verification methodology.• Experience with industry-standard verification tools (e.g., QuestaSim, Synopsys VCS).• Knowledge of code...
-
Senior Engineer, Front End Computer Aided Design
2 hours ago
Mountain View, California, United States Microsoft Full timeSenior Engineer, Front End Computer Aided DesignMountain View, California, United States2 more locationsDate postedOct 30, 2025Job number1903326Work site3 days / week in-officeTravel0-25%Role typeIndividual ContributorProfessionHardware EngineeringDisciplineSilicon EngineeringEmployment typeFull-TimeOverviewThe Microsoft Silicon Engineering and Solutions...
-
Memory System Architect, Silicon
6 days ago
Mountain View, California, United States Google Full time $156,000 - $229,000Minimum qualifications:Bachelor's degree in Electrical Engineering, Computer Engineering, Computer Science, a related field, or equivalent practical experience.8 years of experience in micro-architecture and design of ASIC blocks.Experience in designing/implementing Register-Transfer Level (RTL) for one or more blocks: Central Processing Units (CPUs),...
-
Mountain View, California, United States Google Full time $156,000 - $229,000 per yearMinimum qualifications:Bachelor's degree in Electrical Engineering, Computer Engineering, Computer Science, or a related field, or equivalent practical experience.8 years of experience designing RTL digital logic using SystemVerilog for FPGA/Application-Specific Integrated Circuits (ASICs) or equivalent practical experience.Experience with a scripting...
-
Mountain View, California, United States Google Full time $156,000 - $229,000Minimum qualifications:Bachelor's degree in Electrical Engineering, Mechanical Engineering, Materials Science, Chemical Engineering, related degree or equivalent practical experience.8 years of experience with signal and power integrity modeling and simulation for high-speed interfaces (e.g., LPDDR, MIPI, UFS, PCIe, USB).Experience with electromagnetic...
-
Mountain View, California, United States Google Full time $156,000 - $229,000 per yearMinimum qualifications:Bachelor's degree in Electrical Engineering, Mechanical Engineering, Materials Science, Chemical Engineering, related degree or equivalent practical experience.8 years of experience with signal and power integrity modeling and simulation for high-speed interfaces (e.g., LPDDR, MIPI, UFS, PCIe, USB).Experience with electromagnetic...
-
Mountain View, California, United States MatX Full timeWhat MatX Is BuildingMatX is on a mission to be the compute platform for AGI. We are developing vertically integrated full-stack solutions from silicon to systems including hardware and software to train and run the largest ML workloads for AGI. MatX is seeking silicon micro-architects and design engineers to join our team as we create best-in-class silicon...
-
TPU Validation Manager
1 week ago
Mountain View, California, United States Google Full time $183,000 - $271,000 per yearMinimum qualifications:Bachelor's degree in Electrical Engineering, Computer Engineering, Computer Science, or a related field, or equivalent practical experience.8 years of experience in SoC validation.5 years of experience in people management, developing employees.Experience with MO accelerator and Mobile SoC architecture.Preferred qualifications:Master's...
