What are the responsibilities and job description for the SOC Formal Verification Engineer, HBM position at Micron Technology?
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:
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.
To learn about your right to work click here.
To learn more about Micron, please visit micron.com/careers
For US Sites Only: To request assistance with the application process and/or for reasonable accommodations, please contact Micron’s People Organization at hrsupport_na@micron.com or 1-800-336-8918 (select option #3)
Micron Prohibits the use of child labor and complies with all applicable laws, rules, regulations, and other international and industry labor standards.
Micron does not charge candidates any recruitment fees or unlawfully collect any other payment from candidates as consideration for their employment with Micron.
AI alert: Candidates are encouraged to use AI tools to enhance their resume and/or application materials. However, all information provided must be accurate and reflect the candidate's true skills and experiences. Misuse of AI to fabricate or misrepresent qualifications will result in immediate disqualification.
Fraud alert: Micron advises job seekers to be cautious of unsolicited job offers and to verify the authenticity of any communication claiming to be from Micron by checking the official Micron careers website in the About Micron Technology, Inc.
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.
- 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.
- 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.
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.
To learn about your right to work click here.
To learn more about Micron, please visit micron.com/careers
For US Sites Only: To request assistance with the application process and/or for reasonable accommodations, please contact Micron’s People Organization at hrsupport_na@micron.com or 1-800-336-8918 (select option #3)
Micron Prohibits the use of child labor and complies with all applicable laws, rules, regulations, and other international and industry labor standards.
Micron does not charge candidates any recruitment fees or unlawfully collect any other payment from candidates as consideration for their employment with Micron.
AI alert: Candidates are encouraged to use AI tools to enhance their resume and/or application materials. However, all information provided must be accurate and reflect the candidate's true skills and experiences. Misuse of AI to fabricate or misrepresent qualifications will result in immediate disqualification.
Fraud alert: Micron advises job seekers to be cautious of unsolicited job offers and to verify the authenticity of any communication claiming to be from Micron by checking the official Micron careers website in the About Micron Technology, Inc.