- 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...and engineers in research projects focused on developing high-assurance software and systems. Tasks involved in this research include… more
- 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)
- …+ Ph.D. in Computer Science, Mathematics, or related degree + Applying formal methods , using technologies such as theorem provers for first-order ... **Description** Are you a motivated Principal Software Scientist with a technical vision and hands-on...opportunities + Experience applying and leading the application of formal methods in fundamental research contexts, to… 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
- Northrop Grumman (Dulles, VA)
- …of complex systems, run simulations, and explore intelligent modeling or optimization methods using machine learning. In this role you will design, develop, ... modify and maintain customized simulations for space vehicle applications using software engineering best practices and standards. You will participate in the… 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 ... Job Title: Embedded Software Test EngineerJob Description We are seeking an...years of experience in embedded systems QA execution and methods . + BS in Electrical, Computer Engineering, or related… more
- Nightwing (Sterling, VA)
- …technical surveillance, data intelligence, lifecycle mission enablement, and software modernization. Nightwing brings disruptive technologies, agility, and ... will: Provide training services to design and deliver a variety of IT ( software and hardware) training courses. S/He shall work across the program to analyze… 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
- Nightwing (Sterling, VA)
- …technical surveillance, data intelligence, lifecycle mission enablement, and software modernization. Nightwing brings disruptive technologies, agility, and ... system usage to design training courses. Oversees and coordinates formal , Group-level training portfolio. Establishes and maintains working relationships with… more
- Amazon (Arlington, VA)
- …your time working with technical business leaders such as hardware and software engineering leaders and technical program managers to ensure contractual delivery of ... - Meet regularly with Amazon internal service teams to develop effective methods for ensuring timely delivery of contract commitments. - Meet regularly with… more