Demo

Staff Engineer, Formal Verification

samsungsemiconductor
San Jose, CA Full Time
POSTED ON 4/14/2025
AVAILABLE BEFORE 6/13/2025

Please Note:

To provide the best candidate experience amidst our high application volumes, each candidate is limited to 10 applications across all open jobs within a 6-month period. 

Advancing the World’s Technology Together
Our technology solutions power the tools you use every day--including smartphones, electric vehicles, hyperscale data centers, IoT devices, and so much more. Here, you’ll have an opportunity to be part of a global leader whose innovative designs are pushing the boundaries of what’s possible and powering the future. 

We believe innovation and growth are driven by an inclusive culture and a diverse workforce. We’re dedicated to empowering people to be their true selves. Together, we’re building a better tomorrow for our employees, customers, partners, and communities.

What You’ll Do

The Advanced Controller Development (ACD) is part of Samsung’s Memory Business Unit, the industry's technology and volume leader in DRAM, NAND Flash.  ACD’s vision is to solve key problems of Cloud & Data center by developing the new technology for memory and storage. We are an integral part of Samsung’s strong R&D focus & lab innovation engine. We work closely with development teams to bring feature innovation to product roadmaps. The responsibilities of the Formal Verification Engineer include developing verification plans, executing verification tasks and debugging verification problems with Formal verification.

Come join the team that is creating new computing system solutions needed in the emerging machine learning applications, data analytics and edge computing. You’ll focus on verifying advanced accelerators for AI/ML applications and CXL platform projects using Formal verification methodologies.

Location: Hybrid, working onsite at our San Jose, CA headquarters 3 days a week, with the flexibility to work remotely the remainder of your time, and an average of 10% travel per month.

Job ID: 42523

  • Verify IP and SoC microarchitecture using advanced formal tools and methodologies.
  • Develop comprehensive test plans, defining scope, strategy, and techniques.
  • Create abstraction models to optimize proof convergence.
  • Implement formal proofs, review completed proofs, and innovate new methodologies.
  • Design, develop, and maintain the IT infrastructure for formal verification environments.
  • Collaborate with architects, designers, and other verification engineers to define and implement formal verification requirements for SOC design.
  • Work with internal stakeholders to ensure compliance with industry standards and company policies.
  • Participate in the development of technical documentation.
  • Collaborate with external partners to integrate our SOCs into their systems and applications.
  • Stay up-to-date with emerging trends and technologies in the field of SOCs and adapt them to improve our products.

What You Bring

  • Bachelors in Electrical, Computer Science or related with 10 years of experience or Masters in Electrical, Computer Science or related Science with 8 years of Industry Experience or PhD in Electrical, Computer Science or related Science with 5 years of Industry Experience Preferred.
  • Strong language skills including SystemVerilog.
  • Strong understanding on SystemVerilog Assertions.
  • Strong understanding on verification flows and tools, especially Formal Verification tools like Cadence JasperGold or Synopsys VC Formal.
  • Experience in logic and SoC Verification from planning to closure.
  • Experience in UCIe, PCIe, CPU, DRAM, DFI and/or ARM AMBA is a pulse.
  • Experience in memory controller and related IP level and/or SOC level verification.
  • Strong scripting and automation skills using Tcl/Perl/Python.
  • You’re inclusive, adapting your style to the situation and diverse global norms of our people.
  • An avid learner, you approach challenges with curiosity and resilience, seeking data to help build understanding.
  • You’re collaborative, building relationships, humbly offering support and openly welcoming approaches.
  • Innovative and creative, you proactively explore new ideas and adapt quickly to change.

#LI-MD1

What We Offer
The pay range below is for all roles at this level across all US locations and functions. Individual pay rates depend on a number of factors—including the role’s function and location, as well as the individual’s knowledge, skills, experience, education, and training. We also offer incentive opportunities that reward employees based on individual and company performance. 

This is in addition to our diverse package of benefits centered around the wellbeing of our employees and their loved ones. In addition to the usual Medical/Dental/Vision/401k, our inclusive rewards plan empowers our people to care for their whole selves. An investment in your future is an investment in ours.

Give Back With a charitable giving match and frequent opportunities to get involved, we take an active role in supporting the community.
Enjoy Time Away You’ll start with 4 weeks of paid time off a year, plus holidays and sick leave, to rest and recharge.
Care for Family Whatever family means to you, we want to support you along the way—including a stipend for fertility care or adoption, medical travel support, and an errand service.
Prioritize Emotional Wellness With on-demand apps and paid therapy sessions, you’ll have support no matter where you are.
Stay Fit Eating well and being active are important parts of a healthy life. Our onsite Café and gym, plus virtual classes, make it easier.
Embrace Flexibility Benefits are best when you have the space to use them. That’s why we facilitate a flexible environment so you can find the right balance for you.

Base Pay Range

$157,000 - $243,000 USD

Equal Opportunity Employment Policy 

Samsung Semiconductor takes pride in being an equal opportunity workplace dedicated to fostering an environment where all individuals feel valued and empowered to excel, regardless of race, religion, color, age, disability, sex, gender identity, sexual orientation, ancestry, genetic information, marital status, national origin, political affiliation, or veteran status.

When selecting team members, we prioritize talent and qualities such as humility, kindness, and dedication. We extend comprehensive accommodations throughout our recruiting processes for candidates with disabilities, long-term conditions, neurodivergent individuals, or those requiring pregnancy-related support. All candidates scheduled for an interview will receive guidance on requesting accommodations.

Recruiting Agency Policy

We do not accept unsolicited resumes. Only authorized recruitment agencies that have a current and valid agreement with Samsung Semiconductor, Inc. are permitted to submit resumes for any job openings.

Covid-19 Policy

To help keep our employees, customers, and communities safe, we've developed guidelines for our team. Currently, we encourage vaccination for all employees and may require it depending on job functions (e.g., traveling for business, meeting with customers). While visiting our offices or attending team events, we ask employees to complete a daily health questionnaire and complete a weekly COVID test. Our COVID policies are subject to change depending on public health, regulatory, and business circumstances. 

Applicant Privacy Policy
https://semiconductor.samsung.com/us/careers/privacy

 

Salary : $157,000 - $243,000

If your compensation planning software is too rigid to deploy winning incentive strategies, it’s time to find an adaptable solution. Compensation Planning
Enhance your organization's compensation strategy with salary data sets that HR and team managers can use to pay your staff right. Surveys & Data Sets

What is the career path for a Staff Engineer, Formal Verification?

Sign up to receive alerts about other jobs on the Staff Engineer, Formal Verification career path by checking the boxes next to the positions that interest you.
Income Estimation: 
$85,996 - $102,718
Income Estimation: 
$111,859 - $131,446
Income Estimation: 
$110,457 - $133,106
Income Estimation: 
$105,809 - $128,724
Income Estimation: 
$122,763 - $145,698
Income Estimation: 
$73,784 - $86,677
Income Estimation: 
$90,372 - $103,622
Income Estimation: 
$61,825 - $80,560
Income Estimation: 
$90,032 - $105,965
Income Estimation: 
$85,996 - $102,718
Income Estimation: 
$85,996 - $102,718
Income Estimation: 
$111,859 - $131,446
Income Estimation: 
$110,457 - $133,106
Income Estimation: 
$105,809 - $128,724
Income Estimation: 
$122,763 - $145,698
Income Estimation: 
$105,809 - $128,724
Income Estimation: 
$136,611 - $163,397
Income Estimation: 
$135,163 - $163,519
Income Estimation: 
$131,953 - $159,624
Income Estimation: 
$150,859 - $181,127
Income Estimation: 
$131,953 - $159,624
Income Estimation: 
$169,825 - $204,021
Income Estimation: 
$166,631 - $195,636
Income Estimation: 
$162,237 - $199,353
Income Estimation: 
$181,083 - $218,117
View Core, Job Family, and Industry Job Skills and Competency Data for more than 15,000 Job Titles Skills Library

Job openings at samsungsemiconductor

samsungsemiconductor
Hired Organization Address San Jose, CA Full Time
Please Note: To provide the best candidate experience amidst our high application volumes, each candidate is limited to ...
samsungsemiconductor
Hired Organization Address San Jose, CA Full Time
Please Note: To provide the best candidate experience amidst our high application volumes, each candidate is limited to ...
samsungsemiconductor
Hired Organization Address San Jose, CA Full Time
Please Note: To provide the best candidate experience amidst our high application volumes, each candidate is limited to ...
samsungsemiconductor
Hired Organization Address San Jose, CA Full Time
Please Note: To provide the best candidate experience amidst our high application volumes, each candidate is limited to ...

Not the job you're looking for? Here are some other Staff Engineer, Formal Verification jobs in the San Jose, CA area that may be a better fit.

Staff Formal Verification Engineer

Advanced Micro Devices, Inc, Santa Clara, CA

Principal Staff Engineer, Formal Verification

Advanced Micro Devices, Inc, Santa Clara, CA

AI Assistant is available now!

Feel free to start your new journey!