- Integra LifeSciences (Mansfield, MA)
- …outcomes and set new standards of care. This **Staff Design & Reliability Assurance Quality Engineer** is a key functional role within the Design and Reliability ... Assurance Engineering team. The role involves the process of...* Demonstrates excellent knowledge of statistical sampling and analysis tools/ methods to support data-driven decision making * Demonstrates excellent… more
- Huntington Ingalls Industries (Newport News, VA)
- …professionals ranges from skilled trades to project managers, engineers and software developers to solution architects, technical subject matter experts, and system ... team? Apply today! We look forward to meeting you. **The Role** NNS Quality Assurance Engineering is seeking an experienced Quality Analyst to join us in supporting… more
- Crane Aerospace & Electronics (Burbank, CA)
- …within assigned functional area + Certify as a Crane Designated Quality Assurance Inspector to perform product inspections as required + Create non-conformance ... field, or equivalent educational experience + Knowledge: Extensive knowledge of methods and procedure in troubleshooting, circuitry or mechanical characteristics as… more
- Loyola University Chicago (Chicago, IL)
- … software security and trustworthy systems, quality assurance and testing, software architecture, formal methods , and research addressing any phase of ... We value diverse research methodologies, including empirical studies, mining software repositories, controlled experiments, qualitative methods , human factors… more
- CGI Technologies and Solutions, Inc. (Fairfax, VA)
- **Quality Assurance Manager** **Category:** Testing/Quality Assurance **Main location:** United States, Louisiana, Lafayette **Alternate Location(s):** United ... CGI Federal is seeking a dynamic and detail-driven Quality Assurance (QA) Manager to lead quality efforts on a...quality standards are in place. . Devises and implements methods and procedures for inspecting, testing and evaluating the… more
- RTX Corporation (Goleta, CA)
- …Advanced Products and Solutions is seeking **two** experienced **Mission & Quality Assurance Leads** to implement and guide quality and mission assurance ... You Will Do** : + Implement and perform Mission/Quality Assurance leader responsibilities as a member of a program...Six Sigma, Lean practices and other critical thinking improvement methods and resources. + Implement projects and processes to… more
- Amentum (Kennedy Space Center, FL)
- …contingent upon award of contract **Purpose and Scope:** The Safety & Mission Assurance (S&MA) Director is responsible for the SOCS Quality Management System (QMS) ... and certifications for a diverse, skilled S&MA team + Achieves quality assurance operational objectives by contributing information and analysis to strategic plans… more
- Integra LifeSciences (Braintree, MA)
- …outcomes and set new standards of care. The Quality Design and Reliability Assurance (DRA) Engineer II is responsible for the efficient and compliant support of ... Mechanical) or related discipline, with 3+ years of experience in Quality Assurance role for medical device or pharmaceutical manufacturing, or equivalent education… more
- Leidos (Arlington, VA)
- … formal methods tool - Demonstrable experience applying formal methods tools and techniques to software projects and/or systems. If you're looking for ... 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
- JPMorgan Chase (New York, NY)
- …systems and information architecture **Required qualifications, capabilities, and skills** + Formal training or certification on software engineering concepts ... delivery methods + Proficient in all aspects of the Software Development Life Cycle **Preferred qualifications, capabilities, and skills** + In-depth knowledge… 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
- The Boeing Company (Hazelwood, MO)
- …/safe languages and standards (Ada/SPARK, Rust, MISRA C/C++) + Exposure to formal methods , model checking, MBSE (SysML), or model-based verification tools ... future with us. The Boeing Company is currently seeking a **Lead Real-Time Software Architect** to support our Defense Mission Computing Team located in **Hazelwood,… more
- NVIDIA (Santa Clara, CA)
- …and inter-partition communication-to enable flexible, high-performance system behavior. + Apply formal methods (eg, TLA+) to specify and verify dynamic ... vehicle. The Hypervisor and RTOS Team within NVIDIA DRIVE Software plays a critical role in NVIDIA's expansion into...with extensive experience in RTOS and hypervisor development for high- assurance systems . + Proficiency in C and C++… more
- US Air Force - Agency Wide (Scott AFB, IL)
- …concepts, practices, products, and services (including systems software , database software , immediate access storage technology), and methods for evaluating ... operation, troubleshooting, & maintenance of network and server hardware and software systems. Responsibilities DUTY 1: Serves as a Joint Worldwide Intelligence… 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
- City of Durham (Durham, NC)
- …place to work. We create the foundation on which Durham is built, using innovative methods that support the City's growth and enhance our quality of life. If growing ... quality control on reports, analyses, and deliverables as a quality assurance officer. Conducting field-work and providing sampling, testing, monitoring of… more
- Commander, Navy Installations (Millington, TN)
- …and standards. Ensures the rigorous application of information security/information assurance policies, principles, and practices in the delivery of customer ... of a full range of customer support services to the organization. Presents formal and informal training and assistance to customers. Ensures all actions taken are… more
- Sandia National Laboratories (Albuquerque, NM)
- …AI principles and UX design for model-driven applications. + Knowledge of high- assurance AI: formal methods , red-teaming, interpretability, and runtime ... spaces, evaluate outcomes, and steer experiments and simulations with transparent, high- assurance AI workflows. We anticipate multiple hires for the Models Pillar… 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
- Intelligent Waves (Linthicum Heights, MD)
- … developers + Develop derived requirements for Information Assurance Services (Confidentiality, Integrity, Nonrepudiation, and Availability); Basic Information ... in cybersecurity, data science, enterprise network & systems engineering, software development, and cognitive human performance. **_ANYTIME. ANYWHERE. ANY DOMAIN._**… more
