- Themis Insight (Laurel, MD)
- …software developers + Develop derived requirements for Information Assurance Services (Confidentiality, Integrity, Non repudiation, and Availability); Basic ... every case. We are hiring a Sr. Systems Engineer ( Software Management) to work in Laurel, MD. Position location...concepts, physical architectures, and design solutions + Define the methods , processes, and evaluation criteria by which the systems,… more
- J&J Family of Companies (Jacksonville, FL)
- …+ Excellent understanding and application of principles, concepts and practices of Software validation methods , ISPE/GAMP 5, QSR/ISO regulations. + Experience ... at https://www.jnj.com **Job Function:** Quality **Job Sub** **Function:** Quality Assurance **Job Category:** Professional **All Job Posting Locations:** Jacksonville,… 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
- Philadelphia Insurance Companies (Bala Cynwyd, PA)
- …supporting internal business requirements or external customers + Standardizes the quality assurance procedure for software + Oversees testing and development ... back-end development processes and assists in the decision-making with new methods and technologies + Designs, develops, and maintains fully-fledged and functioning… 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 (San Diego, CA)
- …+ 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
- 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
- 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
- Ryder System (Whitestown, IN)
- …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