SOC Formal Verification Engineer, HBM

Req  SOC Formal Verification Engineer, HBM

Our vision is to transform how the world uses information to enrich life for all. Micron Technology is a world leader in innovating memory and storage solutions that accelerate the transformation of information into intelligence, inspiring the world to learn, communicate and advance faster than ever.

• Debug and analyze formal counterexamples to identify root causes of functional issues in register-transfer level (RTL) designs.
• Collaborate with RTL designers, architects, and simulation-based verification engineers to resolve bugs and clarify design intent.
• Support block-level and subsystem-level formal verification, with opportunities to grow into system-on-chip (SoC)-level applications.
• Learn, apply, and help improve best practices for scalable and reusable formal verification environments.
• Contribute to verification documentation, including property descriptions, assumptions, coverage, and verification results.
• Participate in design and verification reviews, providing a correctness-focused perspective throughout the development lifecycle.

• Bachelor’s degree in Electrical Engineering, Computer Engineering, Computer Science, or a related field, or equivalent practical experience.
• Understanding of digital design fundamentals, including finite state machines, pipelines, handshakes, clocking, and resets.
• Familiarity with register-transfer level (RTL) design using Verilog or System Verilog.
• Basic knowledge of formal verification concepts such as assertions, properties, proofs, and coverage.
• Ability to work effectively in a collaborative, cross‑functional engineering environment with strong analytical and problem‑solving skills.

• Hands‑on experience with System Verilog Assertions (SVA) through coursework, academic projects, or internships.
• Exposure to formal verification tools such as Jasper Gold, VC Formal, Questa Formal, or similar tools.
• Understanding of simulation‑based verification and how formal verification complements traditional methodologies.
• Familiarity with low‑power design concepts, including Unified Power Format (UPF) or Common Power Format (CPF).
• Experience with scripting languages such as Python, Tool Command Language (TCL), or shell scripting, and 1–2 years of related experience.

Systems Design Engineer 2

TBD

• Hiring managers may view your performance appraisals, original resume, transcripts or other performance‑related documentation in your personal file. This information will be held in confidence.
• If you are selected to interview for a position, you must notify your direct supervisor before participating in the interview process.

Micron benefits are designed to help you stay well, provide peace of mind and help you prepare for the future. We offer a choice of medical, dental and vision plans in all locations enabling team members to select the plans that best meet their family healthcare needs and budget. Micron also provides benefit programs that help protect your income if you are unable to work due to illness or injury, and paid family leave.

Additionally, Micron benefits include a robust paid time‑off program and paid holidays.

Micron is proud to be an equal‑opportunity workplace and is an affirmative action employer. All qualified applicants will receive consideration for employment without regard to race, color, religion, sex, sexual orientation, age, national origin, citizenship status, disability, protected veteran status, gender identity or any other factor protected by applicable federal, state, or local laws.