Micron Technology

SOC Formal Verification Engineer, HBM

Micron Technology • $90K — $130K *
Richardson, TX 75080In-Person
Technical Services
Less than 5 years of experience
Today
Be an Early Applicant
Job Overview by Ladders

Qualifications

  • Bachelor's degree in Electrical Engineering, Computer Engineering, Computer Science, or related field, or equivalent experience.
  • Understanding of digital design fundamentals (finite state machines, pipelines, handshakes, clocking, resets).
  • Familiarity with RTL design using Verilog or SystemVerilog.
  • Basic knowledge of formal verification concepts (assertions, properties, proofs, coverage).
  • Strong analytical and problem-solving skills in a cross-functional engineering environment.

Responsibilities

  • Debug and analyze formal counterexamples to identify root causes of issues in RTL designs.
  • Collaborate with RTL designers and simulation verification engineers to resolve bugs and clarify design intent.
  • Support block-level and subsystem-level formal verification, with potential for SoC-level applications.
  • Apply and improve best practices for scalable formal verification environments.
  • Contribute to verification documentation including property descriptions and verification results.
  • Participate in design and verification reviews, providing a correctness-focused perspective.

Benefits

  • Comprehensive medical, dental, and vision plans offering flexibility for team members.
  • Income protection programs for illness or injury.
  • Paid family leave and a robust paid time-off program.
  • Paid holidays to enhance work-life balance.
  • Commitment to personal wellbeing and professional growth opportunities.
Full Job Description
You will join a collaborative verification team focused on ensuring the functional correctness of complex system-on-chip and intellectual property designs. Your work will directly improve design quality, accelerate bug discovery, and reduce silicon risk through the use of formal verification methods. This role offers hands-on exposure to industry-standard tools, close partnership with design teams, and a strong foundation for growth in hardware verification. You will contribute to innovative computing platforms while supporting integrity, sustainability, and community-focused values.

Job Description
Responsibilities will include, but are not limited to:
  • 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.
Minimum Qualifications:
  • 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 SystemVerilog.
  • 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.
Preferred Qualifications:
  • Hands-on experience with SystemVerilog Assertions (SVA) through coursework, academic projects, or internships.
  • Exposure to formal verification tools such as JasperGold, 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.


As a world leader in the semiconductor industry, Micron is dedicated to your personal wellbeing and professional growth. 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. For additional information regarding the Benefit programs available, please see the Benefits Guide posted on micron.com/careers/benefits.

About Micron Technology

Micron Technology Careers

Join the vibrant team at Micron Technology, a leader in memory and storage solutions, and propel your career into the future of technology. At Micron, we are committed to fostering a culture of diversity and innovation, offering a range of job opportunities that encourage professional growth and leadership development.

Work You’ll Do

At Micron Technology, you will collaborate with some of the brightest minds in the industry, working on groundbreaking projects that redefine how the world uses information to enrich life. Our team is dedicated to leading through a unique position in the marketplace, at the intersection of technology, industry expertise, and digital innovation.

Explore Micron Technology’s Career Opportunities

Whether you are looking for an internship, a full-time position, or a leadership role, Micron offers a path to personal and professional growth. We are hiring across multiple disciplines, seeking passionate, curious, and innovative team players.

Innovative Work

Join our global team of professionals and be part of a company that values innovation and leadership. Micron provides targeted solutions and technologies that are integral to advancing how the world works, learns, and plays.

Be Part of a Great Team

Experience Micron’s inclusive culture where we value diversity and provide extensive benefits to ensure the well-being of all our team members. Engage in networking opportunities within the company to expand your skills and advance your career.

Future-Proof Your Career

Micron is dedicated to your career development, offering unmatched training, development programs, and certification support to help you reach your goals. Our commitment to innovation and leadership in the memory and storage industry ensures that your work at Micron is not just a job, but a pathway to future opportunities.

Stay Connected

Join Our Team

Search open positions that match your skills and interests. We look for driven, creative, and solution-oriented individuals. Explore the vast array of job opportunities at Micron Technology today.

Keep Up to Date

Stay ahead with career tips, insider perspectives, and industry-leading insights you can put to use today—all from the people who work at Micron.

Job Alert Emails

Customize your subscription to receive job alerts, the latest news, and insider tips tailored to your preferences. Discover the exciting and rewarding career opportunities waiting for you at Micron Technology. Micron Technology is not just a company—it’s a community of leaders and innovators eager to make an impact in the global landscape. Join us and be a part of shaping the future of technology.
Learn more about Micron Technology
Size
43,000 employees
Market Cap
$53.7 billion
Industry
Manufacturing & Automotive
Net Income
$2.9 billion
Founded
1978
5 Year Trend
+8.6%
Revenue
$22 billion
NASDAQ
MU
* Ladders Estimates

Similar Jobs

Ad banner background

Get Ready For Your
Next Interview

More Jobs at Micron Technology

More Technical Services Jobs

Find similar SOC Formal Verification Engineer, HBM jobs:

NationwideRichardson, TX