- Leidos (Arlington, VA)
- …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
- Leidos (Arlington, VA)
- …+ Experience with developing secure, resilient solutions + Experience with formal methods + Experience with developing/integrating/testing embedded applications ... **Description** Are you a motivated **Cyber Software Engineer** with technical hands-on knowledge of mission...a variety of exciting R&D programs. As a **Cyber Software Engineer** , you will design and implement sophisticated… more
- Leidos (Alexandria, VA)
- …the forefront in Security Engineering, Computer Network Operations (CNO), Mission Software , Analytical Methods and Modeling, Signals Intelligence (SIGINT), and ... The individual will analyze and study complex system requirements, use design software tools, provide support using formal specifications, data flow diagrams,… more
- Leidos (Alexandria, VA)
- …the forefront in Security Engineering, Computer Network Operations (CNO), Mission Software , Analytical Methods and Modeling, Signals Intelligence (SIGINT), and ... are available. + Analyze and study complex system requirements, use design software tools, provide support using formal specifications, data flow diagrams,… 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 ... projects. This role will drive capture of strategic customer-funded software R&D. The ideal candidate will have a proven...opportunities + Experience applying and leading the application of formal methods in fundamental research contexts, to… 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
- 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
- Ryder System (Richmond, VA)
- …CAD (e.gAutoCAD); slotting (e.gSlot3D); Predetermined Motion and Time Systems and methods (e.gMOST); simulation software and application; Warehouse Management ... (eg AutoCAD); slotting (eg Slot3D); Predetermined Motion and Time Systems and methods (eg MOST); simulation software and application; Warehouse Management… 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
- Nightwing (Sterling, VA)
- …technical surveillance, data intelligence, lifecycle mission enablement, and software modernization. Nightwing brings disruptive technologies, agility, and ... functional, user acceptance, integration, and end-to-end testing for CUSTOMER system/ software development. The TE ensures that all delivered products provide… more