- Leidos (Arlington, VA)
- …Diego, CA or Arlington, VA a few days a week for meetings. **Primary Responsibilities:** The Formal Methods Software Engineer will serve in the role of an ... **Description** Leidos Innovations Center is looking for a Software Engineer in formal methods and cyber-physical systems who has experience with integrating… more
- Leidos (Arlington, VA)
- … formal methods tool - Demonstrable experience applying formal methods tools and techniques to software projects and/or systems. We're not looking for ... seeking a motivated intern to support our work in formal methods research. The position will be...and engineers in research projects focused on developing high-assurance software and systems. Tasks involved in this research include… more
- CACI International (Sterling, VA)
- Senior Software Application Developer Job Category: Information Technology Time Type: Full time Minimum Clearance Required to Start: None Employee Type: Regular ... CACI is currently looking for a motivated, career and customer-oriented Sr. Software Engineer/Developer with Agile methodology experience to join our Customs and… 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
- CoSolutions, Inc. (Herndon, VA)
- …systems and enterprise capabilities comply with requirements and standards through formal verification methods . + Generate system requirements and enterprise ... a Senior Test / Quality Assurance (QA) Engineer / Software Tester for an opportunity in Herndon, VA. You...develop, and implement test and evaluation strategies, plans and methods to assure reliability of systems in conjunction with… 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
- 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
- Leidos (Chantilly, VA)
- … reuse and domain analyses and manages their implementation. + Manage software development and support using formal specifications, data flow diagrams, ... + Develops block diagrams and logic flow charts. Translate detailed design into computer software . + Tests, debugs, and refines the computer software to produce… 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
- Amazon (Arlington, VA)
- …automation and system reliability - Knowledge of automated decision-making systems, formal verification methods , and ensuring AI trustworthiness - ... at exactly the right time. You'll work on state-of-the-art research, advanced software tools, new AI systems, and machine learning algorithms, leveraging Amazon's… more
Recent Jobs
-
Dynamics CRM Technical Architect & Delivery Lead (Specialist Leader)
- Deloitte (Mclean, VA)