- Renesas (Austin, TX)
- Sr Staff Design Verification Engineer Job Description - Plan the verification of complex SoC & design blocks by fully understanding the design specification ... - Formally verify designs with SVA and industry leading formal tools - Identify and write various coverage metrics...embedded MC Company Description Renesas is seeking a SoC/IP Verification Engineer for our Infrastructure Power team… more
- 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
- Washington Metropolitan Area Transit Authority (Greenbelt, MD)
- Vehicle Engineer (RAIL) Job ID: 250945 Location: MD - Greenbelt Rail Facil Full/Part Time: Full-Time Posting Open-Close 10/27/2025 - 11/11/2025 Union 002 ... disaster, fire, operational emergencies or related events. **SUMMARY** The Vehicle Engineer is responsible for ensuring the design and maintenance integrity of… 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 ... and Sunrise, Florida. Terumo Aortic is focused on the continuing development of new and innovative products driving the growth of the business globally. Associates… more
- Washington Metropolitan Area Transit Authority (Washington, DC)
- Construction Engineer , Mechnic - Project Delivery Infrastructure Job ID: 250970 Location: DC/MD/VA Metro Locations Full/Part Time: Full-Time Posting Open-Close ... production goals and safety standards . As an Construction Engineer , you will be a part of the team...post-shutdown evaluations, developing guidance and training for staff on new shutdown and track access procedures; and monitor shutdown… more
- Prysmian (Abbeville, SC)
- …of problems solving tools identified in a Lean Sigma culture. The Quality Engineer will be expected to spend significant time on the production floor, working ... within teams and with multiple departments. The Quality Engineer must be comfortable communicating with all levels of the organization as well as client… 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, ... testing and prepare documentation related to the regulatory requirements for verification to agencies. + Ensure regulatory compliance in processes for manufacturing.… more
- Amphenol CIT (St. Augustine, FL)
- …(process and router updates). + Oversee R&D production runs to validate new manufacturing processes. + May perform technical training for specific tasks and ... + Manufacturing experience in a custom make-to-order environment. + Formal Problem-Solving Training (RCA, PDCA, 8D, etc.) preferred. **CERTIFICATES, LICENSES,… more
- Amazon (Cupertino, CA)
- …to deliver high performance at low cost. Key job responsibilities - Develop formal verification plans, implement and verify state-of-the-art IP architectures. - ... & Career Growth Our team is dedicated to supporting new members. We have a broad mix of experience...related field - 7+ years of practical experience with formal verification as IP/Block owner, or equivalent… more
- RTX Corporation (Cambridge, MA)
- …Position may require some amount of overnight travel. **Qualifications We Prefer** + Formal verification tools such as SMT solvers and interactive theorem ... shine as a leader of an exceptional team while building technologies to support Formal Methods for verification of processes, networks, etc. You will model and… more
- Microsoft Corporation (San Jose, CA)
- …and make a difference to millions of people across the planet. As a Senior Verification Engineer in the Accelnet Hardware team, you will be responsible for ... Microsoft. This is a unique opportunity for a Senior Verification Engineer to see Register-Transfer Level (RTL)...functional coverage, and assertions, as well as familiarity with formal verification techniques. + 1+ year(s) of… more
- Microsoft Corporation (Austin, TX)
- …and optimize the Cloud infrastructure. We are looking for a **Senior Design Verification Engineer ** to join the team. **Responsibilities** + Perform pre-silicon ... cloud business continues to grow the ability to deploy new offerings and hardware infrastructure on time, in high...Perl + Hands-on experience in Formal property verification , formal verification of computational… more
- Google (Mountain View, CA)
- Senior Design Verification Engineer , Silicon _corporate_fare_ Google _place_ Mountain View, CA, USA **Mid** Experience driving progress, solving problems, and ... with an emphasis on computer architecture. + Experience in different verification techniques and methodologies including formal , Gate-Level Simulation, Unified… 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 ... ensuring security and prosperity\. Join us in shaping a new era in space and find a career that's...seeking a highly talented and motivated **ASIC & FPGA Verification Engineer ** who has a passion for… more
- Arrow Electronics (Mountain View, CA)
- **Position:** Design Verification Engineer **Job Description:** Principal Accountabilities * Responsible for architecting Verification Environment for ASIC ... functional and technical specification documents * Implement and maintain integrated end-to-end formal verification flow for the formal verification… more
- Draper (Boston, MA)
- …Draper's Digital Design Team is seeking a motivated and experienced Senior UVM Digital Verification Engineer to tackle novel verification challenges in FPGAs ... problem domains, with ability to quickly become knowledgeable in new domains. * Identify and develop relevant modeling and...will develop verification approaches, author and execute verification plans, and use formal analysis tools.… more
- Microsoft Corporation (Austin, TX)
- …verification environments in industry standard languages like SVTB UVM or formal verification . **Other** **Requirements** **:** Ability to meet Microsoft, ... manage and optimize the Cloud infrastructure. We are looking for a **Principal** ** Verification ** ** Engineer ** to join the team. **Responsibilities** + Lead an… more
- Microsoft Corporation (Redmond, WA)
- …manage and optimize the Cloud infrastructure. We are looking for a **Senior Verification Engineer ** to join the team. **Responsibilities** + Establish yourself ... cloud business continues to grow the ability to deploy new offerings and hardware infrastructure on time, in high...environments in industry standard languages like SVTB UVM or formal verification . **Other Requirements:** Ability to meet… more
- Google (Mountain View, CA)
- Staff ASIC Design Verification Engineer , Platforms and Devices _corporate_fare_ Google _place_ Mountain View, CA, USA **Advanced** Experience owning outcomes and ... emphasis on computer architecture. + 12 years of experience with building verification methodologies that span simulation, formal , emulation and FPGA… more
Related Job Searches:
Engineer,
Formal,
Formal Verification,
Formal Verification Engineer,
New,
Verification,
Verification Engineer