More jobs:
SoC Formal Verification Engineer – AI-Driven Debug & RTL
Job in
Richardson, Dallas County, Texas, 75080, USA
Listed on 2026-07-19
Listing for:
Micron Memory Malaysia Sdn Bhd
Full Time
position Listed on 2026-07-19
Job specializations:
-
Engineering
Test Engineer
Job Description & How to Apply Below
Micron Technology, Inc. is seeking an SOC Formal Verification Engineer in Richardson, TX to join the Heterogeneous Integration Group.
You will verify complex RTL blocks for High Bandwidth Memory (HBM) using formal methods, collaborate with RTL designers, and contribute to scalable verification environments. The role emphasizes debugging formal counterexamples, writing properties, and enhancing verification workflows with AI-assisted approaches.
#J-18808-LjbffrTo View & Apply for jobs on this site that accept applications from your location or country, tap the button below to make a Search.
(If this job is in fact in your jurisdiction, then you may be using a Proxy or VPN to access this site, and to progress further, you should change your connectivity to another mobile device or PC).
(If this job is in fact in your jurisdiction, then you may be using a Proxy or VPN to access this site, and to progress further, you should change your connectivity to another mobile device or PC).
Search for further Jobs Here:
×