- Leidos (Arlington, VA)
- …low-level systems, software correctness + Experience applying the application of formal methods in fundamental research contexts, to problems in complex ... **Description** Leidos is looking for a senior research scientist in formal methods and cyber-physical systems who has experience in developing state-of-the-art… more
- Leidos (Arlington, VA)
- …formal methods tool - Demonstrable experience applying formal methods tools and techniques to software projects and/or systems. **Original Posting:** ... seeking a motivated intern to support our work in formal methods research. The position will be...researchers and engineers in research projects focused on developing high- assurance software and systems. Tasks involved in… more
- CGI Technologies and Solutions, Inc. (Newport News, VA)
- **Information Assurance Analyst (Cyber)** **Category:** Cyber Security **Main location:** United States, Virginia, Newport News **Position ID:** J0325-0674 ... We are seeking a highly organized and detail-oriented Information Assurance (IA) Analyst to join our team in Newport...In this role you will define and deploy effective methods and strategies to provide security operations and compliance… more
- Leidos (Arlington, VA)
- …engineers in the development, adaptation, and extension of innovative approaches to high assurance software deployment across a range of technical areas and ... understanding. + Develop novel approaches for the generation of assurance evidence for critical software , at scale...in Computer Science, Mathematics, or related degree + Applying formal methods , using technologies such as theorem… more
- Actalent (Herndon, VA)
- …You will be responsible for validating the quality and reliability of embedded software products through formal testing and validation processes. This exciting ... product certification. Essential Skills + Automated testing. + Experience with Embedded Software . + Hardware-in-the-loop (HIL) testing. + Quality Assurance (QA)… more
- Ryder System (Richmond, VA)
- …Improvement culture across the operation by actively applying continuous improvement methods to support new and existing operations. The Engineer will identify ... and/or customer(s). + Develop and demonstrate competency in wide range of engineering methods , Lean tools, and quality standards and coaches employees in the use and… more
- Amazon (Arlington, VA)
- …packages, task orders, service accreditations, risk mitigation strategies, and quality assurance functions. You will join a cadre of program management, technical ... your time working with technical business leaders such as hardware and software engineering leaders and technical program managers to ensure contractual delivery of… more
- TestPros (Sterling, VA)
- …Security, NIST SP 800-171 Assessment and Compliance, ATO Support, Computer Forensics, Software Assurance , Software Testing, Test Automation, Section 508 ... (CX), Localization Testing, Independent Verification and Validation (IV&V), Quality Assurance (QA), Compliance, and Research and Development (R&D) services. TestPros… more
- V2X (Fort Belvoir, VA)
- …and support functions. Provide for systematic release and distribution of formal drawings and associated documentation + Review engineering drawings / documents ... maintaining both new and existing schedules. + Improve and develop the process, working methods and tools. + Liaise with the customer to ensure requirements are met… more
- EPAM Systems (Mclean, VA)
- …improve cost, quality, and time to market + Elicit relevant information through formal and informal interviews, surveys, and system data analysis + Ideate and ... degree: master's degree, MBA, PhD, etc + Has 7+ years of software industry experience in one of the following functions: Engineering, Infrastructure, Quality… more