- Leidos (Arlington, VA)
- …support the development of high-assurance, resilient software. + Utilize the state-of-the-art in semi- formal and formal methods tools in the development of ... the topics of functional programming, programming language theory, and industrialized formal methods . **Basic Qualifications:** + Bachelor's degree in computer… 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 ... * 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… more
- Leidos (Arlington, VA)
- …+ FPGA development and testing, embedded systems design and innovation, applying formal methods , using technologies such as theorem provers for first-order ... future opportunities + Experience applying and leading the application of formal methods in fundamental research contexts, to problems in complex domains, under… 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 ... networks, game theory, causal fusion, neuro\-symbolic reasoning, GenAI \) \- Formal methods for assurance, optimization, and verification/validation \(e\.g\., … more
- KBR (Chantilly, VA)
- …and apply current verification and validation paradigms, including model testing, simulation, and formal methods , to ensure the accuracy and reliability of AI ... with current verification and validation paradigms, including model testing, simulation, and formal methods . + Proficiency in programming languages such as… more
- Leidos (Arlington, VA)
- …+ Experience with developing secure, resilient solutions + Experience with formal methods + Experience with developing/integrating/testing embedded applications ... + Experience with P4 programming language + Active DoD Secret clearance is preferred Come break things (in a good way). Then build them smarter. We're the tech company everyone calls when things get weird. We don't wear capes (they're a safety hazard), but we… more
- Northrop Grumman (Dulles, VA)
- …IA systems or autonomy in aerospace or defense domains + Familiarity with formal methods , runtime assurance architectures, or explainable AI techniques + Failure ... analysis or fault management technical experience + Experience defining requirements & interfaces + Understanding of spacecraft integration & test, launch, and mission operations + Experience developing verification documentation + Experience with architecture… more
- GE Vernova (VA)
- …+ Demonstrated expertise in energy storage controls, validation and verification, formal methods , systems integration, advanced controls or related technologies. ... + Technical project leadership experience + A proactive approach to learning and staying updated with industry trends, technologies, and best practices in plant control systems. + Can present technical plans in voice of customer. The salary range for this… more
- Solvarus (Chantilly, VA)
- …systems and enterprise capabilities comply with requirements and standards through formal verification methods . + Generates system requirement and enterprise ... + Designs, develops, and implements test and evaluation strategies, plans and methods to assure reliability of systems in conjunction with system specifications and… more
- Office of the Secretary of Defense (VA)
- …perform and contribute to the organization by providing opportunities to learn through formal and informal methods . Cultivates a dynamic environment in which ... as well as for overseeing the efficient functioning of the Department's formal weapons systems acquisition process. The incumbent must integrate the diverse aspects… more