Jobs in the United States

25+ jobs

Group jobs by employerEmail me new jobs Save this search

Added 12 mins ago
Principal Machine Learning Engineer
Vail Resorts
UT
We are looking for a curious, driven, innovative machine learning engineer who takes initiative to solve problems and create environments that accelerate the development, deployment, and…
Added 13 mins ago
Data Center Production Operations Engineer
Meta
Eagle Mountain, UT
Meta is seeking a Data Center Production Operations Engineer to support the reliability, efficiency, and scalability of our global data center infrastructure. In this role, you will be…
Added 13 mins ago
Software Engineer - AI
SHI
Salt Lake City, UT
Join SHI's Applied AI team and help build the next generation of AI-powered business applications. You'll develop Python services, APIs, and data-driven solutions across cloud and…
Added 13 mins ago
CrowdStrike Platform Senior Resident Consultant (Remote)
CrowdStrike
Salt Lake City, UT
Utilize and engineer native and 3rd party software deployment technologies
Added 13 mins ago
Senior Director Software Engineering
Capital One
Salt Lake City, UT
As a Senior Director, Full-stack Engineer at Capital One, you will lead high-performing engineering teams working to define the future of banking in the cloud. You will partner closely with…
Added 13 mins ago
Core Senior .NET Software Engineer
Evolent
Salt Lake City, UT
The Senior Software Engineer leads the design, development, and deployment of complex software solutions, ensuring scalability and maintainability. This role architects and implements…
Added 14 mins ago
EG
Automated Test Engineer
Eliassen Group
Salt Lake City, UT
- $40 to $50 USD / hour
Our client seeks an Automated Test Engineer to support Hivemind by monitoring and maintaining large volumes of automated tests, troubleshooting failures, and driving bug resolution across…
Added 16 mins ago
W
Staff, Software Engineer | Bentonville, Arkansas
Walmart
BENTONVILLE, AR
- $110,000 to $220,000 USD / year
As a Staff Software Engineer, you will lead the design and delivery of scalable platform capabilities, driving the full software development lifecycle from coding to deployment and…
Added 21 mins ago
Applied AI Engineer
Symmetry AI
Seattle, WA
- Strong Python engineering fundamentals - skilled in building performant, maintainable systems and services that connect data, models, and APIs.
Added 24 mins ago
Software Engineer - AI
SHI
Washington, DC
Join SHI's Applied AI team and help build the next generation of AI-powered business applications. You'll develop Python services, APIs, and data-driven solutions across cloud and…
Added 24 mins ago
Senior Cyber AI Operations Engineer (Onsite)
System One
Washington, DC
Cyber Artificial Intelligence Operations Engineer
Added 24 mins ago
CrowdStrike Platform Senior Resident Consultant (Remote)
CrowdStrike
Washington, DC
Utilize and engineer native and 3rd party software deployment technologies
Added 24 mins ago
Senior Director Software Engineering
Capital One
Washington, DC
As a Senior Director, Full-stack Engineer at Capital One, you will lead high-performing engineering teams working to define the future of banking in the cloud. You will partner closely with…
Added 25 mins ago
Manager Information Security
DXC Technology
Washington, DC
Engineer AI solutions for risk management, such as evidence collection, control testing, risk register enrichment, and automated assessment support.
Added 25 mins ago
Manager Information Security
DXC Technology
Washington, DC
Engineer AI solutions for risk management, such as evidence collection, control testing, risk register enrichment, and automated assessment support.
Added 25 mins ago
EG
Automated Test Engineer
Eliassen Group
Washington, DC
- $40 to $50 USD / hour
Our client seeks an Automated Test Engineer to support Hivemind by monitoring and maintaining large volumes of automated tests, troubleshooting failures, and driving bug resolution across…
Added 26 mins ago
O
CI/CD and Infrastructure Engineer
OpenDataJobs
Washington, DC
- $120,000 to $140,000 USD / year
Use Python, and Bash when appropriate, to automate the work; speed it up with AI-assisted tools; and improve the quality of everything that ships.
Added 26 mins ago
O
Associate DevSecOps Engineer (Python, CI/CD)
OpenDataJobs
Washington, DC
- $80,000 to $95,000 USD / year
Turn repeatable operational tasks into Python scripts, reaching for Bash or PowerShell when those suit better, and close out every finding that comes back.
Added 33 mins ago
TT
AI Forward Deployed Engineer
True Talent Solutions Partners
Washington, DC
- $160,000 to $250,000 USD / year
- Strong Python skills and experience with TypeScript, ideally in full-stack engineering.
Added 53 mins ago
Software Engineer I, Data Platforms
Abnormal
Remote, United States
We’re looking for a Software Engineer I who is eager to learn and ready to take on meaningful technical challenges. You’ll work alongside experienced engineers, contribute to ambitious…
Added 1 hour ago
Staff EMC Engineer, High Voltage
Rivian
Irvine, CA
Added 1 hour ago
Principal Data Engineer
Abbott
Madison, WI
The Principal Data Engineer (IC) is a senior individual contributor and the accountable technical leader for assigned cross-domain initiatives and enterprise data engineering capabilities.…
Added 1 hour ago
EG
Automated Test Engineer
Eliassen Group
Madison, WI
- $40 to $50 USD / hour
Our client seeks an Automated Test Engineer to support Hivemind by monitoring and maintaining large volumes of automated tests, troubleshooting failures, and driving bug resolution across…
Added 1 hour ago
Senior Software Engineer, Resilience Engineering - DGX Cloud
NVIDIA USA
CA
Are you passionate about building world-class reliability systems? Join NVIDIA as a Senior Software Engineer - Resilience Engineering, DGX Cloud, and be a pivotal part of a team that…
Added 1 hour ago
Senior Offensive Security Engineer – Data Center Systems
NVIDIA USA
Remote, United States
NVIDIA is searching for a highly motivated, creative engineer with experience in system software and a background in security to join the Server Platform Software team. You will focus on…

Micron Technology

SoC Physical Design Formal Verification Engineer, HBM

Folsom, United States
Richardson, United States

$124,000 to $254,000 USD / year

Apply on careers.micron.com About employer

Applications open in a new tab.

Job details

Pay: $124,000 to $254,000 USD / year
Apply by: May 11, 2027
Posting language: English
Posted: Nov 12, 2026

Original job description

Req ID:

JR117361 SoC Physical Design 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.

Our vision is to transform how the world uses information to enrich life for all. Join an inclusive team passionate about one thing: using their expertise in the relentless pursuit of innovation for customers and partners. The solutions we build help make everything from virtual reality experiences to breakthroughs in neural networks possible. We do it all while committing to integrity, sustainability, and giving back to our communities. Because doing so can fuel the very innovation we are pursuing.

As an SoC Physical Design Formal Verification Engineer in the Heterogeneous Integration Group (HIG), you will own the formal verification signoff of advanced HBM SoC logic/base die designs as they move from RTL through synthesis, DFT insertion, place-and-route, and ECOs to tapeout. You will work closely with RTL design, physical design, DFT, low-power, and STA teams to ensure every implementation step preserves functional intent and power intent. This is a hands-on role with opportunities to own block and full-chip formal signoff and shape formal methodology across multiple product generations.

Key Responsibilities

Own formal equivalence checking (LEC) for HBM SoC blocks and full-chip across the implementation flow, including RTL-to-netlist, netlist-to-netlist (post-synthesis, post-DFT insertion, post-CTS, post-route), and ECO netlists.
Develop and maintain robust equivalence setups, including handling of retiming, clock gating, multibit banking, constant/unreachable register optimization, scan and MBIST insertion, and black-boxed hard IP.
Debug and resolve non-equivalence and abort points efficiently, partnering with RTL, synthesis, DFT, and physical design teams to root-cause issues and converge designs to clean signoff.
Perform static low-power verification (e.g., Conformal Low Power, VC LP) against UPF power intent, covering isolation, level shifting, retention, power switches, and always-on connectivity through implementation.
Drive functional ECO generation and implementation using formal ECO tools (e.g., Conformal ECO, Formality ECO), minimizing patch size and physical impact late in the design cycle.
Run and review netlist-level structural and formal checks such as CDC/RDC, X-propagation, and connectivity checks as required by signoff criteria.
Define formal verification signoff criteria, checklists, and QoR metrics, and represent formal verification status in tapeout readiness reviews.
Build and improve automated formal verification flows and regression infrastructure using Python, TCL, and shell to improve runtime, capacity, and debug productivity.
Collaborate with EDA vendors to resolve tool issues, evaluate new capabilities, and adopt best-in-class methodology across product generations.
Develop agentic AI flows based on latest LLM and Gen-AI capabilities.

Required Qualifications

Strong hands-on experience with formal equivalence checking on complex SoC designs at advanced process nodes.
Proficiency with industry formal verification tools (e.g., Cadence Conformal LEC/LP/ECO, Synopsys Formality/VC LP, Siemens Questa or equivalent).
Solid understanding of the RTL-to-GDSII implementation flow, including synthesis, DFT insertion, placement, CTS, routing, and ECO flows, and how each step impacts equivalence.
Experience debugging non-equivalence, aborts, and setup issues caused by synthesis optimizations such as retiming, register merging, clock gating, and multibit flops.
Working knowledge of power intent (UPF/CPF) and low-power design concepts, including isolation, level shifting, retention, and power gating.
Familiarity with DFT structures (scan, compression, MBIST, JTAG) and their treatment in formal verification.
Good understanding of Verilog/SystemVerilog and gate-level netlists, and ability to read and reason about RTL and synthesized logic.
Proven tapeout history on advanced foundries (e.g., TSMC) and understanding of full-cycle SoC development flows.
Strong scripting/automation skills using Python, TCL, Perl, and/or shell.
Ability to work in a global, cross-functional environment with strong communication and debugging skills.

Preferred Qualifications

Experience with HBM / DRAM adjacent SoC designs, or memory-subsystem-heavy SoCs.
Experience with functional ECO generation and implementation on large hierarchical designs.
Exposure to property-based formal verification (SVA, formal apps) or netlist-level CDC/RDC signoff.
Familiarity with physical verification and signoff concepts such as DRC, LVS, and STA.
Bachelor’s or Master’s degree in Electrical Engineering, Computer Engineering, or a related field.
Minimum 7 years of experience in a related field.
Proven ability to mentor and develop junior engineers.

Job Profile(s):

Systems Design Engineer 3 - Systems Design Engineer 4

Relocation Level: TBD

Before Getting Started Please review Micron’s Internal Job Application Policy on your regional PeopleNow Career Opportunities page before searching and applying for jobs. Note in particular that:

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.

The US base salary range that Micron Technology estimates it could pay for this full-time position is:

$124,000.00 - $254,000.00 a year

Additional compensation may include benefits, bonuses and equity. Our salary ranges are determined by role, level, and location. The range displayed on each job posting reflects the minimum and maximum target base pay for new hire salaries of the position across all US locations. Within the range, individual pay is determined by work location and additional job-related factors, including knowledge, skills, experience, tenure and relevant education or training. The pay scale is subject to change depending on business needs. Your recruiter can share more about the specific salary range for your preferred location during the hiring process.

Please note that the compensation details listed in US role postings reflect the base salary only, and do not include bonus, equity, or benefits.

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 Benefits | Micron Technology, Inc

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.

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)

Apply on careers.micron.com About employer

More about this job

Skills

RTL
DFT
Place-and-route
Python
EDA
Debugging
Verilog
SystemVerilog
Perl
Communication skills
Electrical engineering
Computer engineering
Documentation

Report this job

Work requirements

Jobs in the United States