San Diego, CA · On-site
$144K/yr
... Formal Verification is a must Qualifications Experience in functional verification EDA tools: VCS, IUS, ModelSim, Jasper, 0-in, IFV, OneSpin, SLEC, etc is highly desired - Familiar with programming ...
San Diego, CA · On-site
$144K/yr
... Formal Verification is a must Qualifications Experience in functional verification EDA tools: VCS, IUS, ModelSim, Jasper, 0-in, IFV, OneSpin, SLEC, etc is highly desired - Familiar with programming ...
Austin, TX · On-site
Lead and mentor a team of formal verification engineers across multiple IP and SoC projects * Define and drive formal verification architecture, methodologies, and development plans in partnership ...
Austin, TX · On-site
Lead and mentor a team of formal verification engineers across multiple IP and SoC projects * Define and drive formal verification architecture, methodologies, and development plans in partnership ...
Lead and mentor a team of formal verification engineers across multiple IP and SoC projects * Define and drive formal verification architecture, methodologies, and development plans in partnership ...
Lead and mentor a team of formal verification engineers across multiple IP and SoC projects * Define and drive formal verification architecture, methodologies, and development plans in partnership ...
Santa Clara, CA · On-site
$200K - $500K/yr
Role Overview We are looking for a talented Senior Formal Verification Engineer to define, own, and scale the formal verification effort that hardens Velaura's next-generation Physical AI SoC. You ...
Santa Clara, CA · On-site
$200K - $500K/yr
Role Overview We are looking for a talented Senior Formal Verification Engineer to define, own, and scale the formal verification effort that hardens Velaura's next-generation Physical AI SoC. You ...
Austin, TX · On-site
$134K/yr
At Samsung Austin Research and Development Center (SARC) and Advanced Computing Lab (ACL), we are ... Role and Responsibilities As a Staff GPU Design Verification Engineer - Formal Verification, you ...
Austin, TX · On-site
$134K/yr
At Samsung Austin Research and Development Center (SARC) and Advanced Computing Lab (ACL), we are ... Role and Responsibilities As a Staff GPU Design Verification Engineer - Formal Verification, you ...
At Samsung Austin Research and Development Center (SARC) and Advanced Computing Lab (ACL), we are ... Role and Responsibilities As a Senior Staff GPU Design Verification Engineer - Formal Verification ...
At Samsung Austin Research and Development Center (SARC) and Advanced Computing Lab (ACL), we are ... Role and Responsibilities As a Senior Staff GPU Design Verification Engineer - Formal Verification ...
Apply formal verification techniques using Lean or similar frameworks to formally verify safety ... Proven track record in research or development of programming languages * Proven track record of ...
Apply formal verification techniques using Lean or similar frameworks to formally verify safety ... Proven track record in research or development of programming languages * Proven track record of ...
Austin, TX · On-site
$134K/yr
Apple's Hardware Technologies Formal Verification team is seeking an AI/ML Engineer to work at the ... ML research into practical, production-quality tools and workflows used by the FV team ...
Austin, TX · On-site
$134K/yr
Apple's Hardware Technologies Formal Verification team is seeking an AI/ML Engineer to work at the ... ML research into practical, production-quality tools and workflows used by the FV team ...
Apply formal verification techniques using Lean or similar frameworks to formally verify safety ... Proven track record in research or development of programming languages * Proven track record of ...
Apply formal verification techniques using Lean or similar frameworks to formally verify safety ... Proven track record in research or development of programming languages * Proven track record of ...
Austin, TX · On-site
$134K/yr
Apple's Hardware Technologies Formal Verification team is seeking an AI/ML Engineer to work at the ... Evaluating and integrating emerging AI/ML research into practical, production-quality tools and ...
Austin, TX · On-site
$134K/yr
Apple's Hardware Technologies Formal Verification team is seeking an AI/ML Engineer to work at the ... Evaluating and integrating emerging AI/ML research into practical, production-quality tools and ...
Apply formal verification techniques using Lean or similar frameworks to formally verify safety ... Proven track record in research or development of programming languages * Proven track record of ...
Apply formal verification techniques using Lean or similar frameworks to formally verify safety ... Proven track record in research or development of programming languages * Proven track record of ...
At Samsung Austin Research and Development Center (SARC) and Advanced Computing Lab (ACL), we are ... Role and Responsibilities As a Senior Staff GPU Design Verification Engineer - Formal Verification ...
At Samsung Austin Research and Development Center (SARC) and Advanced Computing Lab (ACL), we are ... Role and Responsibilities As a Senior Staff GPU Design Verification Engineer - Formal Verification ...
Austin, TX · On-site
$184K - $324K/yr
Apple's Hardware Technologies Formal Verification team is seeking an AI/ML Engineer to work at the ... Evaluating and integrating emerging AI/ML research into practical, production-quality tools and ...
Austin, TX · On-site
$184K - $324K/yr
Apple's Hardware Technologies Formal Verification team is seeking an AI/ML Engineer to work at the ... Evaluating and integrating emerging AI/ML research into practical, production-quality tools and ...
Austin, TX · On-site
$175K/yr
Lead and mentor a team of formal verification engineers across multiple IP and SoC projects * Define and drive formal verification architecture, methodologies, and development plans in partnership ...
Austin, TX · On-site
$175K/yr
Lead and mentor a team of formal verification engineers across multiple IP and SoC projects * Define and drive formal verification architecture, methodologies, and development plans in partnership ...
Santa Clara, CA · On-site
$200K - $500K/yr
Role Overview We are looking for a talented Senior Formal Verification Engineer to define, own, and scale the formal verification effort that hardens Velaura's next-generation Physical AI SoC. You ...
Santa Clara, CA · On-site
$200K - $500K/yr
Role Overview We are looking for a talented Senior Formal Verification Engineer to define, own, and scale the formal verification effort that hardens Velaura's next-generation Physical AI SoC. You ...
Austin, TX · On-site
$134K/yr
This team is a central R&D team that works with all project execution teams and provides design ... programming, scripting and debugging skills * Hands‑on experience with using formal verification ...
Austin, TX · On-site
$134K/yr
This team is a central R&D team that works with all project execution teams and provides design ... programming, scripting and debugging skills * Hands‑on experience with using formal verification ...
At Samsung Austin Research and Development Center (SARC) and Advanced Computing Lab (ACL), we are ... Role and Responsibilities As a Senior Staff GPU Design Verification Engineer - Formal Verification ...
At Samsung Austin Research and Development Center (SARC) and Advanced Computing Lab (ACL), we are ... Role and Responsibilities As a Senior Staff GPU Design Verification Engineer - Formal Verification ...
$200K - $300K/yr
Role Overview We are looking for a talented Senior Formal Verification Engineer to define, own, and scale the formal verification effort that hardens Velaura's next-generation Physical AI SoC. You ...
$200K - $300K/yr
Role Overview We are looking for a talented Senior Formal Verification Engineer to define, own, and scale the formal verification effort that hardens Velaura's next-generation Physical AI SoC. You ...
$184K - $324K/yr
Apple's Hardware Technologies Formal Verification team is seeking an AI/ML Engineer to work at the ... Evaluating and integrating emerging AI/ML research into practical, production-quality tools and ...
$184K - $324K/yr
Apple's Hardware Technologies Formal Verification team is seeking an AI/ML Engineer to work at the ... Evaluating and integrating emerging AI/ML research into practical, production-quality tools and ...
Santa Clara, CA · On-site
$142K/yr
... Engineering Group > CPU EngineeringGeneral Summary:Are you interested in working with a world-class CPU design team? Are you interested in the application of formal methods to the verification of ...
Santa Clara, CA · On-site
$142K/yr
... Engineering Group > CPU EngineeringGeneral Summary:Are you interested in working with a world-class CPU design team? Are you interested in the application of formal methods to the verification of ...
$80K - $91.2K
1% of jobs
$91.2K - $102.5K
1% of jobs
$102.5K - $113.7K
1% of jobs
$113.7K - $124.9K
1% of jobs
$131.5K is the 25th percentile. Wages below this are outliers.
$124.9K - $136.1K
35% of jobs
The median wage is $138.3K / yr.
$136.1K - $147.4K
54% of jobs
$147.4K - $158.6K
1% of jobs
$158.6K - $169.8K
1% of jobs
$169.8K - $181K
2% of jobs
$181K - $192.3K
1% of jobs
$192.3K - $203.5K
1% of jobs
$80K
$142.6K
$203.5K
For Formal Verification Research Engineer jobs, the most frequently searched job titles are:
San Diego, CA • On-site
$144K/yr
Full-time
Re-posted just now
About Mirafra :
Mirafra is software service base organization started in 2004.
We are 500+ employees in India and 250+ In US
Clear visibility to senior management which helps for constant professional growth
Experience with the following: - ASIC design process, digital design, design (hw/sw) verification tools and techniques, computer architecture, etc. -Design and assertion languages: VHDL, Verilog, System Verilog, and System Verilog Assertions (SVA), Experience with Formal Verification is a must
Experience in functional verification EDA tools: VCS, IUS, ModelSim, Jasper, 0-in, IFV, OneSpin, SLEC, etc is highly desired - Familiar with programming languages: C, C++, and SystemC - Scripting and automation skills: Unix/Linux shell programming, Perl, Java, Makefile, XML, XML DOM, XPath, XSLT, revision management (e.g. CVS, DesignSync, Subversion
All your information will be kept confidential according to EEO guidelines.
