- 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
- Robert Half Technology (Fort Worth, TX)
- …for coding and quality assurance purposes * Familiarity with different quality assurance methods and monitoring tools * Experience in dealing with suppliers ... We are offering a permanent employment opportunity for a detail-oriented Software /Hardware Quality Assurance individual in the aerospace industry, based… more
- Innovative Systems (Pittsburgh, PA)
- Innovative Systems, Inc., is expanding our Software Quality Assurance Testing Team! We currently have an opportunity for a Software Quality Assurance ... help make the world a bit better. As a Software Quality Assurance Test Engineer, you will...software testing experience (may be through internships or formal work experience) + Skill with Windows, Unix, and… 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
- 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
- Sandia National Laboratories (Albuquerque, NM)
- …include some of the following: + You have an in-depth understanding of microelectronics assurance methods + You have strong knowledge of FPGA design tools such ... including security features + You have proficiency in using formal verification methods + You have a...working knowledge of cryptography as it applies to microelectronics assurance + You have strong oral and written communication… 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
- 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
- KBR (Houston, TX)
- Title: Software Engineer Belong. Connect. Grow. with KBR! Around here, we define the future. We are a company of innovators, thinkers, creators, explorers, ... reduction and analysis of test data, including appropriate statistical methods * Prepare technical reports, manuscripts, and presentations* Present technical results… more
- Belay Technologies (Annapolis Junction, MD)
- … software developers + Develop derived requirements for Information Assurance Services (Confidentiality, Integrity, Non repudiation, and Availability) + Basic ... software developers + Develop derived requirements for Information Assurance Services (Confidentiality, Integrity, Non repudiation, and Availability); Basic… more
- Safran (Irvine, CA)
- …The Aerospace Quality Engineer covers the function of the Development Quality Assurance (AQE) activities for Safran Electronics & Defense, Avionics, working with ... The AQE also has full authority to make quality judgments on deliverable software and systems documentation. This position has the power and control to carry… more
- Horstman Inc. (Sterling Heights, MI)
- …and structures. + Formal training and experience in testing practices and methods is also strongly desired. + Knowledge and understanding of the repair and ... FMECA and DFM, to ensure manufacturing engineering and quality assurance best practice is embodied into the design. +...Formal training and experience in testing practices and methods is also strongly desired. + Knowledge and understanding… more
- Air National Guard Units (Salt Lake City, UT)
- …in-depth analyses of system usage, user complaints, traffic interruptions, hardware and software capabilities, and other relevant factors. Recommends methods and ... Plans, coordinates, installs, and continuously analyzes system design, hardware and software . Develops, recommends, and installs solutions and upgrades to ensure… more
- Service Source (St. Louis, MO)
- …Job Summary Interpret, build upon, and comply with ServiceSource quality assurance standards. Maintain complaint and nonconformance processing through records and ... systems, including root-cause analysis and corrective actions. Document quality assurance activities with internal reporting and audits. Develop improved standards… more
- Air National Guard Units (Mcchord AFB, WA)
- …Coordinates and/or conducts management studies of organization, staffing, work measurement, methods , or procedures. Monitors all unit quality assurance -type ... methods , or procedures. Experiences included monitoring unit quality assurance -type programs and ensured adherence to all requirements defined in USAF,… more