Micron Technology logo

SOC Formal Verification Engineer, HBM

Micron Technology · Richardson, TX, United States

Full-time Posted 4 days ago

About this role

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. 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 re

Apply for this role on Micron Technology’s official careers site.

Similar jobs