• ASIC Engineer, Formal Verification

    Meta (Richmond, VA)
    **Summary:** Meta is hiring ASIC Formal Verification Engineer within the Infrastructure organization. We are looking for individuals with experience in Formal ... 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 the… more
    Meta (09/23/25)
    - Related Jobs

  • Systems Integration & Testing Engineer VV&T

    Solvarus (Chantilly, VA)
    …systems and enterprise capabilities comply with requirements and standards through formal verification methods. + Generates system requirement and enterprise ... environment set to confront these challenges. As a member of the Verification , Validation and Transition (VV&T) team you will be responsible for technical… more
    Solvarus (08/04/25)
    - Related Jobs

  • ASIC Engineer, Design Verification

    Meta (Richmond, VA)
    …Experience in one or more of the following areas along with functional verification -SV Assertions, Formal , Emulation 12. Experience in EDA tools and scripting ... **Summary:** Meta is hiring ASIC Design Verification Engineer within the Infrastructure organization. We are...with traditional simulation, you will use other approaches like Formal and Emulation to achieve a bug-free design. The… more
    Meta (08/29/25)
    - Related Jobs

  • Hardware Engineer 3

    Huntington Ingalls Industries (Roanoke, VA)
    …Vivado, ISE), embedded system design, EDA tools (synthesis, P&R, simulation, formal verification ), and/or microcontrollers. Experience with hardware hacking, ... with EDA tools (Synopsis, Altium, Modelsim) * Have experience with formal verification tools and methodologies (OneSpin 360, Questa, etc.) * Have experience… more
    Huntington Ingalls Industries (07/09/25)
    - Related Jobs

  • Mobile & Cellular Team Lead

    GovCIO (Richmond, VA)
    …description, system planning and design, and ensures requirements comply through formal verification methods. Translates high level product development ... network services, equipment and devices + Generates system level requirements verification procedures and customer acceptance test procedures + Monitors system… more
    GovCIO (09/25/25)
    - Related Jobs

  • Senior Research Engineer (PhD level)…

    Lockheed Martin (Arlington, VA)
    …* Conducted research in at least one more adjacent area such as formal verification /methods \(e\.g\., 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
    Lockheed Martin (09/25/25)
    - Related Jobs

  • Principal Manufacturing & Autonomy Research…

    Leidos (Arlington, VA)
    …advancing the state of the art in FPGA development, embedded systems, formal verification , developing technologies such as program analysis, constraint-solving, ... + FPGA development and testing, embedded systems design and innovation, applying formal methods, using technologies such as theorem provers for first-order logic and… more
    Leidos (09/24/25)
    - Related Jobs

  • Principal Autonomy and Resilient Systems Scientist

    Leidos (Arlington, VA)
    …advancing the state of the art in FPGA development, embedded systems, formal verification , developing technologies such as program analysis, constraint-solving, ... + FPGA development and testing, embedded systems design and innovation, applying formal methods, using technologies such as theorem provers for first-order logic and… more
    Leidos (07/19/25)
    - Related Jobs

  • Silicon Engineering Intern, BS/MS, Summer

    Google (Reston, VA)
    …Verilog, VHDL), Design Verification : Creating testbenches and validation plans, formal verification , or assertion-based verification , Physical Design and ... Circuits: synthesis, place-and-route, timing closure, custom circuit design, or power/signal integrity analysis, Pre/Post-Silicon Validation: emulation, FPGA prototyping, or post-silicon bring-up and debug. + Experience with scripting or programming languages… more
    Google (10/01/25)
    - Related Jobs

  • Senior Model Based Systems Engineer

    ManTech (Stafford, VA)
    …of specific domain-related modeling (eg, aerospace, automotive, defense). Experience with formal verification and validation methods. + Experience with ... understanding of systems engineering principles (requirements management, system architecture, verification and validation). + Experience with MBSE tools (eg, Cameo… more
    ManTech (07/22/25)
    - Related Jobs