Netpreme

Member of Technical Staff, Formal Verification

Santa Clara, CA or Boston, MA · Staff+

Sponsorship not specifiedDetected 41 days ago

PythonLLMsStakeholder ManagementCadenceVerilogElectrical EngineeringLeadershipCommunicationMentoring

About the role

We are seeking a Member of Technical Staff, Senior Formal Verification Engineer.
You will be part of an early-stage startup working on an exciting product in the Artificial Intelligence/DataCenter space.
This role will be performed onsite from one of our offices in Santa Clara, CA or Boston, MA.

You'll work from first principles, move quickly from insight to execution, and see your contributions directly reflected in what we build.
In this role, you will be responsible for developing and executing formal verification strategies and techniques to ensure design correctness.
You will collaborate closely with Architects, RTL Design and Verification Engineers to understand the requirements, develop formal verification infrastructure and drive closure on the critical design blocks.
Develop and execute formal verification plans for Netpreme silicon, IP and subsystems.
Build formal verification environments, SystemVerilog Assertions (SVA), formal including assumptions, constraints, abstractions and checkers.
Debug formal verification failures, analyze counter examples and work with design team to resolve issues.
Participate in design reviews, architecture discussions, verification reviews and sign-off activities.
Guide the team by using formal techniques in optimizing the design to meet aggressive performance, power and area goals.
Analyze architecture and design specifications to identify the formal verification requirements.

Bachelor's or Master's degree in Electrical Engineering, Computer Engineering, or a related field.
Minimum of 10+ years of experience in ASIC/SOC verification with at least 7+ years of formal verification experience.
Strong understanding of digital design fundamentals, computer architecture.
Experience with Cadence JasperGold, Synopsys VC Formal, Siemens Questa Formal, or equivalent formal verification tools.
Outstanding technical expertise in formal verification methodologies and tools, strong hands-on experience in SystemVerilog Assertions (SVA), formal.
Proficiency in scripting languages such as Tcl, Python, Perl or Shell.
Experience verifying complex control logic, datapath designs, protocol interfaces.
Strong debugging and root-cause analysis skills.
Excellent leadership, communication and stakeholder management skills.
Ability to coordinate across multiple projects, manage risks and escalations, and work under tight schedules and budget constraints.

Knowledge of UVM and simulation based verification methodologies.
Experience with CDC, RDC, low power verification and equivalence checking.
Familiarity with GPU, high performance computing and Memory based architectures.
Prior technical leadership or mentoring experience.
Well-equipped, sunny offices in Santa Clara, CA and Boston, MA
Relocation assistance and visa sponsorship
The work we do here compounds across state-of-the-art AI models, systems, and real-world applications.
Timing: Joining now means real ownership of the company and meaningful influence over product direction and execution.

Competitive salary commensurate with experience including base salary, performance-based bonus, and early stage equity grant
Well-equipped, sunny offices in Santa Clara, CA and Boston, MA
Relocation assistance and visa sponsorship

The work involves learning advanced LLM in modern data centers and applications to design memory acceleration.
Drive verification closure through formal coverage analysis and proof convergence.
Collaborate with Simulation, Emulation and validation teams to ensure comprehensive verification coverage.
Comprehensive benefits including health, dental, vision, and life insurance
Perks include a daily lunch stipend, 401k match, and more
A collaborative, continuous-learning work environment with smart, dedicated colleagues engaged in developing the next generation of architecture for high-performance computing

We are tackling a fundamental challenge at the infrastructure layer: unlocking greater AI capability while dramatically improving efficiency.
You'll work alongside a group of people who care deeply about rigor, clarity, and impact.
We value thoughtful disagreement, fast learning, and intellectual fearlessness.
This is a place where strong ideas shine, curiosity is encouraged, and growth is a daily practice.
Impact: We are tackling a fundamental challenge at the infrastructure layer: unlocking greater AI capability while dramatically improving efficiency.

This listing is sourced directly from Netpreme's careers page and normalized into a canonical job model.