SOCFormalVerificationEngineer,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. 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, pipeline