- Lockheed Martin (Arlington, VA)
- …our areas of research to lead future technology advances in applied formal methods, simulation, test, verification , validation, and certification of autonomous ... neural networks, game theory, causal fusion, neuro-symbolic reasoning, GenAI ) - Formal methods for assurance, optimization, and verification /validation (eg, … more
- Lockheed Martin (Arlington, VA)
- …Skills: * Conducted research in at least one more adjacent area such as formal verification /methods (eg, theorem provers, SMT/SAT solvers, etc.) or assurance and ... our areas of research to lead future technology advances in applied formal methods, simulation, test, verification , validation, and certification of autonomous… more
- Terumo Aortic (Sunrise, FL)
- Senior R&D Engineer Date: Oct 26, 2025 Req ID: 5139 Location: sunrise, FL, US Company: Department: At Terumo Aortic, our mission is to transform the treatment of ... the lives of patients in over 100 countries worldwide. www.terumoaortic.com JOB TITLE Senior R&D Engineer DEPARTMENT Research and Development JOB CODES Exempt… more
- Axiom Space (Houston, TX)
- …5 people. + Experience in unit testing, software-hardware integration testing, and formal verification activities for flight software certification. + Experience ... a global space marketplace. Our mission-driven team is seeking a bold and dynamic Senior Software Engineer who is fueled by high ownership, execution horsepower,… more
- Advanced Energy (Eden Prairie, MN)
- Lead Product Compliance Engineer **ABOUT ADVANCED ENERGY** Advanced Energy (Nasdaq: AEIS) is a global leader in the design and manufacturing of highly engineered, ... knowledge of product compliance regulations/laws and standards. Interacts with senior level professionals both internal and external to AE. **RESPONSIBILITIES:**… more
- NVIDIA (Santa Clara, CA)
- NVIDIA is looking for Formal Verification Engineer to help verify the design and implementation of industry's leading CPUs and other High Performance ... Computing Solutions. As a Formal Verification Engineer , you will play a key role in ensuring the functional correctness and completeness of our next… more
- NVIDIA (Santa Clara, CA)
- Nvidia's Central Formal Verification Team is seeking a highly motivated FV Engineer with a background in AI to help in the development and integration of AI ... capabilities into formal verification tasks. As a part of this team, you will play a key role in ensuring functional correctness and completeness of our next… more
- Microsoft Corporation (San Jose, CA)
- …public cloud and make a difference to millions of people across the planet. As a Senior Verification Engineer in the Accelnet Hardware team, you will be ... of Microsoft. This is a unique opportunity for a Senior Verification Engineer to see...functional coverage, and assertions, as well as familiarity with formal verification techniques. + 1+ year(s) of… more
- Microsoft Corporation (Austin, TX)
- …that will manage and optimize the Cloud infrastructure. We are looking for a ** Senior Design Verification Engineer ** to join the team. **Responsibilities** + ... as Python or Perl + Hands-on experience in Formal property verification , formal verification of computational data path designs Silicon Engineering IC4 -… more
- Google (Mountain View, CA)
- Senior Design Verification Engineer , Silicon _corporate_fare_ Google _place_ Mountain View, CA, USA **Mid** Experience driving progress, solving problems, ... with an emphasis on computer architecture. + Experience in different verification techniques and methodologies including formal , Gate-Level Simulation, Unified… more
- Draper (Boston, MA)
- Job Description Summary: Draper's Digital Design Team is seeking a motivated and experienced Senior UVM Digital Verification Engineer to tackle novel ... will develop verification approaches, author and execute verification plans, and use formal analysis tools. You will work in multi-disciplinary teams with… more
- Microsoft Corporation (Redmond, WA)
- …that will manage and optimize the Cloud infrastructure. We are looking for a ** Senior Verification Engineer ** to join the team. **Responsibilities** + ... verification environments in industry standard languages like SVTB UVM or formal verification . **Other Requirements:** Ability to meet Microsoft, customer… more
- Amazon (Sunnyvale, CA)
- …Neural Edge that is powering the latest generation of Echo devices is looking for a Senior Design Verification Engineer to continue to innovate on behalf of ... with high performance industry standard buses like AMBA AXI4 Experience with formal verification Experience with post-silicon validation Experience with embedded… more
- RTX Corporation (Marlborough, MA)
- …and various international customers, keeping the world safe from foreign threats. As a ** Senior Firmware Verification Engineer ** , you will be a member ... * Experience with FPGA design implementation using VHDL design language * Performed Formal Verification * Created scripts in TCL, Perl, or Python for use in a… more
- NVIDIA (Santa Clara, CA)
- We are now looking for a motivated Senior Circuit Verification Engineer to join our dynamic and growing team. Designing RAMs at leading edge process nodes ... verification of innovative circuits. + Support designer efforts in running formal verification , electronic rule checking, and other verification flows. +… more
- NVIDIA (Santa Clara, CA)
- NVIDIA is seeking a hardworking Senior ASIC Design Verification Engineer to help drive sign-off strategies for world's leading GPUs and SoCs. This position ... silicon correlation. + Own the unit and sub-system level verification of various IPs, create functional test plans, and...as VCS-XA or equivalent tools, Gate Level Simulation or Formal Equivalence domains. + Proficiency in scripting language, such… more
- Microsoft Corporation (San Diego, CA)
- …and sustainability across Microsoft cloud hardware. We are seeking a motivated ** Senior ** ** Verification Engineer ** who is enthusiatic about cutting-edge ... experience. + 3 years of developing UVM-based testbenches or completion of formal design verification (DV) training. **Other Requirements:** Ability to meet… more
- Huntington Ingalls Industries (Fort Meade, MD)
- …$116,245.00 - $190,900.00 Security Clearance: TS/SCI with Poly Level of Experience: Senior This opportunity resides with Warfare Systems (WS), a business group ... https://vimeo.com/732533072 Job Description Do you enjoy challenging digital design verification problems? HII Mission Technologies is seeking out-of-the-box thinkers… more
- Huntington Ingalls Industries (Roanoke, VA)
- …Range: - $135,000.00 Security Clearance: Ability to Obtain Level of Experience: Senior This opportunity resides with Warfare Systems (WS), a business group within ... https://vimeo.com/732533072 Job Description Do you enjoy challenging digital design verification problems? HII Mission Technologies is seeking out-of-the-box thinkers… more
- Lockheed Martin (King Of Prussia, PA)
- **Description:** Join Our Team as an **ASIC & FPGA Lead Verification Engineer ** where you will support over 50 different programs and research and development ... team in the world, and are seeking a highly talented and motivated **ASIC & FPGA Verification Engineer ** who has a passion for microchip design and space\. - - -… more
Related Job Searches:
Engineer,
Formal,
Formal Verification,
Formal Verification Engineer,
Senior,
Verification,
Verification Engineer