- Northrop Grumman (Melbourne, FL)
- … infrastructure, operating systems hardening and network security as a software assurance architect.** Responsibilities will include deploying, automating, ... formal system testing, release, installation, and maintenance. The Software Engineer will apply technical expertise in solving complex integrations problems.… more
- Northrop Grumman (Melbourne, FL)
- …This position is located in **Melbourne, Florida** . This position, **Staff Engineer Software (Embedded Software Assurance Architect)** is a lead role ... infrastructure, operating systems hardening and network security as an embedded software assurance architect lead. Responsibilities include containerization 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
- CGI Technologies and Solutions, Inc. (Washington, DC)
- …internal reporting and audits. * Highly Desired: Deep knowledge of quality assurance terminology, methods , and tools, knowledge of IC application development, ... **Quality Assurance Specialist, Senior TS/SCI with Poly REQUIRED** **Category:**...deliver state-of-the-art capabilities. You will be responsible for ensuring software and IT systems meet established quality standards and… more
- RTX Corporation (Goleta, CA)
- …Raytheon Advanced Products and Solutions is seeking **two** experienced Mission Quality Assurance Leads to implement and guide quality and mission assurance ... Goleta, CA location. **What You Will Do** + Implement and perform Mission/Quality Assurance leader responsibilities as a member of a program team or Integrated… more
- Chicago Transit Authority (Chicago, IL)
- Quality Assurance & Quality Control Engineer - ( 2500005J ) **Description** **SALARY** $85,000 - $95,000 **POSITION SUMMARY** Under general supervision, ensures ... completed by Construction Manager or Owner Representatives. + Provides Quality Assurance (QA) oversight of consultants and contractors, including active construction… 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
- Amazon (Seattle, WA)
- …Prime Air you will: Develop the value proposition for formal verification, runtime assurance , and other methods for software under development and drive ... will define the tools and approaches needed to apply formal verification, runtime assurance , new testing approaches,...assurance , new testing approaches, metric collection, and other methods to software systems. You will be… more
- Leidos (Arlington, VA)
- …development of high- assurance , resilient software . + Utilize the state-of-the-art in semi- formal and formal methods tools in the development of high- ... assurance , resilient software . + Produce technical documentation, mentor junior engineers, and...topics of functional programming, programming language theory, and industrialized formal methods . **Basic Qualifications:** + Bachelor's degree… more
- Northrop Grumman (Melbourne, FL)
- …looking for a ** Software Functional Manager** with a strong background in ** Software Assurance Architecture** for the **MDC2** family of programs located in ... MDC2 program. The candidate should have a strong technical background in software development and embedded systems, including strong C/C++, software requirements… 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
- …Asset Management team via the ArcGIS Online platform. + Conduct quality assurance and quality control (QA/QC) reviews of asset management datasets. Partner with ... criteria; assists senior-level engineer(s) with complex engineering assignments. Prepares formal and technical reports, as well as presentations. + Accomplishes… 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
- Air National Guard Units (Oklahoma City, OK)
- …planning, analysis, acquisition, design, development, implementation, quality assurance , configuration, installation, integration, maintenance testing, operational ... Area Network (LAN). Implements new network operating systems hardware and software and develops base wide network operating procedures. Analyzes LAN utilization… 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
- Lockheed Martin (Arlington, VA)
- …neural networks, game theory, causal fusion, neuro\-symbolic reasoning, GenAI \) \- Formal methods for assurance , optimization, and verification/validation ... our areas of research to lead future technology advances in applied formal methods , simulation, test, verification, validation, and certification of autonomous… 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
- Leidos (Dayton, OH)
- …+ FPGA development and testing, embedded systems design and innovation, applying formal methods , using technologies such as theorem provers for first-order ... systems. + Develop novel approaches for the generation of assurance evidence for critical software , at scale...opportunities + Experience applying and leading the application of formal methods in fundamental research contexts, to… more
- UIC Government Services and the Bowhead Family of Companies (Charleston, SC)
- …with the Government's Manage quality processes which address Quality Control, quality Assurance , Software quality, and/or project quality System tasks. + Use ... and System and Software Engineering best practices. + Perform all quality assurance process audits necessary in the performance of the various tasks as assigned… 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… more