- 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
- 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...of a Bachelor?s Degree, a High School Diploma/GED and formal training, such as industry recognized apprenticeships and certifications,… 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 ... patients in over 100 countries worldwide. www.terumoaortic.com JOB TITLE Senior R&D Engineer DEPARTMENT Research and Development JOB CODES Exempt MAIN PURPOSE OF JOB… 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
- Axiom Space (Houston, TX)
- …5 people. + Experience in unit testing, software-hardware integration testing, and formal verification activities for flight software certification. + Experience ... Our mission-driven team is seeking a bold and dynamic Senior Software Engineer who is fueled by high ownership, execution horsepower, growth mindset, and… 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)
- …+ Manufacturing experience in a custom make-to-order environment. + Formal Problem-Solving Training (RCA, PDCA, 8D, etc.) preferred. **CERTIFICATES, LICENSES, ... Security E-Verify program. The E-Verify program is a web-based employment eligibility verification system for newly hired employees operated by the US Citizenship… more
- Micron Technology, Inc. (Minneapolis, MN)
- …PLL, DLL, CDR). + Experience with industry-standard tools for synthesis, linting, formal verification , etc. + Demonstrated curiosity and eagerness to learn ... innovative memory and storage technologies. **Position Overview** As a Digital Design Engineer Intern, you will contribute to the design and development of Micron's… 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
- Meta (Annapolis, MD)
- **Summary:** Meta is hiring ASIC Formal Verification Engineer within the Infrastructure organization. We are looking for individuals with experience in ... to build IP and System On Chip (SoC) for data center applications. As a Formal Verification Engineer , you will be part of a team working with the best in… 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
- 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. - ... engineering, or related field - 7+ years of practical experience with formal verification as IP/Block owner, or equivalent academic experience in formal … 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 ... leader of an exceptional team while building technologies to support Formal Methods for verification of processes, networks, etc. You will model and analyze… more
- Meta (Sunnyvale, CA)
- …click "Apply to Job" online on this web page. **Required Skills:** ASIC Engineer , Design Verification Responsibilities: 1. Leverage Design Verification ... teams towards creating a first-pass silicon success. 5. Furthermore, the ASIC Engineer , Design Verification will define and implement IP/SoC verification… more
- Meta (Sunnyvale, CA)
- **Summary:** Meta is hiring ASIC Design Verification Engineer within the Infrastructure organization. We are looking for individuals with experience in Design ... Chip (SoC) for data center applications. As a Design Verification Engineer , you will be part of...or more of the following areas along with functional verification -SV Assertions, Formal , Emulation 12. Experience in… more
- Meta (Sunnyvale, CA)
- **Summary:** Meta is hiring ASIC Design Verification Engineer within the Infrastructure organization. We are looking for individuals with experience in Design ... On Chip (SoC) for data center applications.As a Design Verification Engineer , you will be part of...or more of the following areas along with functional verification - SV Assertions, Formal , Emulation 14.… more
- Meta (Sunnyvale, CA)
- **Summary:** Meta is hiring ASIC Design Verification Engineer within the Infrastructure organization. We are looking for individuals with experience in Design ... Chip (SoC) for data center applications. As a Design Verification Engineer , you will be part of...or more of the following areas along with functional verification -SV Assertions, Formal , Emulation 12. Experience in… more
Related Job Searches:
ASIC Engineer Formal Verification,
CPU Formal Verification Engineer,
Engineer,
Formal,
Formal Verification,
Formal Verification Engineer New,
Gpu Formal Verification Engineer,
Senior Formal Verification Engineer,
Verification,
Verification Engineer