Staff Engineer, Formal Verification

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-KD1

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