- 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
- 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
- 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
- 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
- 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
- TekSynap (Chantilly, VA)
- …+ Ensures requirementscomply withclient requirements and government standards through formal verification methods + Translates high level product ... to the current system and traceability of requirements through compliance verification and validation + Generates system level requirements verification … more
- 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
- Huntington Ingalls Industries (Roanoke, VA)
- …description languages, embedded instruction architectures, high-level software development languages, formal verification tools, and more. The ideal candidate ... will have experience with object-oriented design and an understanding of basic logic gates. We are particularly looking for candidates that have experience with FPGA design (Quartus, Vivado, ISE), embedded system design, EDA tools (synthesis, P&R, simulation),… more
- Huntington Ingalls Industries (Roanoke, VA)
- …system analysis techniques + Microcontroller and embedded systems exploration + Formal verification tool introduction PHASE 3: INDEPENDENT PROJECT CONTRIBUTION ... (Weeks 9-12) Week 9: Project Assignment + Independent reverse engineering project assignment + Planning and documentation of approach + Initial analysis and tool selection Week 10: Implementation + Code development for assigned project + Test suite creation +… more
- Huntington Ingalls Industries (Roanoke, VA)
- …description languages, embedded instruction architectures, high-level software development languages, formal verification tools, and more. The ideal candidate ... will have experience with object-oriented design and an understanding of basic logic gates. We are particularly looking for candidates that have experience with FPGA design (Quartus, Vivado, ISE), embedded system design, EDA tools (synthesis, P&R, simulation),… more