- 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
- Leidos (Arlington, VA)
- …relevant experience + Industrial/academic experience making significant contributions to formal verification , developing technologies such as program analysis, ... **Description** Leidos Innovations Center is looking for a Software Engineer in formal methods and cyber-physical systems who has experience with integrating and… 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
- 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
- Amazon (Arlington, VA)
- …theory principles while ensuring system trustworthiness through automated reasoning and formal verification . Key job responsibilities * Own science models ... automation and system reliability - Knowledge of automated decision-making systems, formal verification methods, and ensuring AI trustworthiness -… 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
- Acclaim Technical Services (Reston, VA)
- …ensure requirements comply with client requirements and government standards through formal verification methods. They translate high level product development ... to the current system and traceability of requirements through compliance verification and validation. Generates system level requirements verification … more
- General Dynamics Information Technology (Arlington, VA)
- …and customer information assurance and cybersecurity standards and practices through formal verification methods with specific emphasis on network and ... cyber operations.** **Maintain coordination with customers and stakeholders to ensure realistic schedule milestones are achieved.** **Deliver all required documentation as directed and needed.** **Collaborate with key stakeholders to identify additional… 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