- Microsoft Corporation (Redmond, WA)
- …methods and secure design principles while also applying best practices for new code development and formal validation of security invariants. Leads ... tools, tests, logs, telemetry, and other methods, and proactively leads verification of assumptions while developing code before issues occur across products… more
- Comcast (Chicago, IL)
- …devices including PC, smart phone, OTT device, set-top box and traditional TV. FreeWheel's New York Engineering Hub is a core part of our global engineering group ... operational feasibility. *Write well-designed, testable, efficient code. *Develop software verification plans and quality assurance procedures. *Document and maintain… more
- Huntington Ingalls Industries (Roanoke, VA)
- …description languages, embedded instruction architectures, high-level software development languages, formal verification tools, and more. The ideal candidate ... technical problems. Collaboration with teammates is essential, including sharing new ideas and engaging in constructive feedback through the...math (AND, OR) * Have the ability to learn new skills quickly * 0 years experience with Bachelors… more
- Lockheed Martin (Palmdale, CA)
- …performing process, product, supplier, special quality evaluations/audits, and test verification /validation throughout the software development lifecycle as well as ... the software lifecycle \(e\.g\. Requirements, Design, Coding, Unit Testing, Formal Testing, Integration & Testing, Release, Configuration Management, Problem… more
- Huntington Ingalls Industries (Roanoke, VA)
- …description languages, embedded instruction architectures, high-level software development languages, formal verification tools, and more. The ideal candidate ... problems. Effective collaboration with teammates on the development of new ideas and accepting constructive feedback through the code...math (AND, OR) + Have the ability to learn new skills quickly Preferred Requirements You will go above… more
- Huntington Ingalls Industries (Roanoke, VA)
- …description languages, embedded instruction architectures, high-level software development languages, formal verification tools, and more. The ideal candidate ... problems. Effective collaboration with teammates on the development of new ideas and accepting constructive feedback through the code...math (AND, OR) + Have the ability to learn new skills quickly Preferred Requirements You will go above… more
- Amentum (Kennedy Space Center, FL)
- …would work directly with engineers responsible for the design and sustaining of new and existing subsystems utilized in support of the Artemis missions. These ... studies, technical assessments, cost estimates and requirements development in support of new design projects and existing system design modifications. + Create and… more
- MUFG (Tampa, FL)
- …financial group, it's part of our culture to put people first, listen to new and diverse ideas and collaborate toward greater innovation, speed and agility. This ... policies, and procedures * Implement automated control observability and compliance verification * Implement training plans related to standards and governance,… more
- Amentum (Kennedy Space Center, FL)
- …feasibility studies, technical assessments, and requirements development in support of new design projects and existing system design modifications. * Perform ... the creation and execution of component and subsystem design verification /acceptance plans and test methods to validate performance to...Willingness to be a positive contributing member of a formal team and able to follow direction and guidance… more
- Lockheed Martin (King Of Prussia, PA)
- …Clearance **Desired Skills:** * Experience with Integration testing, system testing, formal acceptance testing \(FAT\) and independent verification and ... planet or any other are with Lockheed Martin Space\. At the dawn of a new space age, Lockheed Martin is a pioneer, partner, innovator and builder\. Our amazing… more