- 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
- DMS International (Lackland, TX)
- …also: + Be competent in all phases of systems analysis techniques, concepts, and methods and knowledge of available system software , computer equipment, and the ... to our customer's mission + DMS is currently seeking an Information Assurance Technician. The Information Assurance Technician will supervise contractor… more
- Leidos (San Diego, CA)
- …baselines for all program applications, deliverables and components as well as conduct formal software builds and installation on baselined system. The QA/CM ... Management Plan, Configuration Management and Document Management procedures, Quality Assurance Procedures. + Develop and implement technical quality assurance… more
- RTX Corporation (Goleta, CA)
- …world. Raytheon Advanced Products and Solutions is seeking a experienced **Quality Mission Assurance Lead** to implement and guide quality and mission assurance ... location** . **What You Will Do** **:** + Implement and perform Mission/Quality Assurance leader responsibilities as a member of a program team or Integrated Product… 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
- TekSynap (New Orleans, LA)
- …Management and other functional groups to resolve issues regarding quality assurance /configuration management. + Reviews and evaluates software products and ... and maintain a Public Trust Clearance. **DESIRED QUALIFICATIONS** + Experience in software quality assurance or testing, with a demonstrated understanding of… more
- Honeywell (Aguadilla, PR)
- …processes, certification, and DO-178 design assurance guidelines + Understanding of software verification methods and tools currently in use as well as ... As a Software Engineer II here at Honeywell, you will...Execution & Debug + Reviews (Requirement & test) + Formal Testing (RFS & SC) + Certification Support +… more
- Stryker (Denver, CO)
- …Qualifications:_** + Has developed experience over two or more years in software test engineering or quality assurance within regulated environments that ... Stryker's Sports Medicine division is looking for a Senior Software Test Engineer Stryker's Sports Medicine business is driven to advance sports medicine with you.… more
Recent Jobs
-
Senior Staff Engineer - Cloud and Developer Experience
- Toyota (Plano, TX)