- Huntington Ingalls Industries (Roanoke, VA)
- …description languages, embedded instruction architectures, high-level software development languages, formal verification tools, and more. The ideal candidate ... Requirements Adequate visual acuity and manual dexterity for meeting the requirements Software Engineer family. The listed salary range for this role is intended as… more
- Huntington Ingalls Industries (Roanoke, VA)
- …system analysis techniques + Microcontroller and embedded systems exploration + Formal verification tool introduction PHASE 3: INDEPENDENT PROJECT CONTRIBUTION ... job with HII. Objective The Skillbridge intern will train as a Software Engineer within HII-Mission Technologies, reporting to a designated HII Supervisor, with the… more
- ENS Solutions (Reston, VA)
- As a Software Development Engineer with a focus on Identity and Access Management (IDAM), you will leverage your expertise in both software development and IDAM to ... Participating in system development to include design, modeling, security, integration, and formal testing of an IDAM solution such as Radiant Logic and/or SailPoint… 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 ... networks, game theory, causal fusion, neuro\-symbolic reasoning, GenAI \) \- Formal methods for assurance, optimization, and verification /validation \(e\.g\., … more
- Lockheed Martin (Arlington, VA)
- …* Conducted research in at least one more adjacent area such as formal verification /methods \(e\.g\., theorem provers, SMT/SAT solvers, etc\.\) or assurance and ... our areas of research to lead future technology advances in applied formal methods, simulation, test, verification , validation, and certification of autonomous… more
- Ford Motor Company (Richmond, VA)
- …of manufacturing issues. + Interface with Design and Release activities. + Develop formal assembly process instructions and enter the process sheets into VPS system. ... with Ford Motor Company must be legally authorized to work in the United States. Verification of employment eligibility will be required at the time of hire. We are… more
- Ryder System (Richmond, VA)
- …Some positions require additional screening that may include employment and education verification ; motor vehicle records check and a road test; and/or badging or ... banking details and will never solicit personal information outside of the formal submitted application through www.ryder.com/careers . Should you have any questions… more
- UIC Government Services and the Bowhead Family of Companies (Dahlgren, VA)
- …Processing, Sensor Operation, Test and Evaluation,Sensor Certification, and Sensor Requirement Verification . This position does not allow for telecommuting and all ... **Responsibilities** List of open positions: + Aegis/Spy Certification Lead Engineer + Aegis/Spy RADAR Engineer + Combat...listed on the applicant's resume/application may be subject to verification . Where driving may be required or where a… more
- UIC Government Services and the Bowhead Family of Companies (Alexandria, VA)
- …Cloud Application Developer - Master + Cloud Application Developer - SME + DevSecOps Engineer - Journeyman + DevSecOps Engineer - Senior + DevSecOps Engineer ... Journeyman + Technical Writer - Senior + Lead Cloud Engineer + Lead Legacy System Engineer +...listed on the applicant's resume/application may be subject to verification . Where driving may be required or where a… more
- UIC Government Services and the Bowhead Family of Companies (Alexandria, VA)
- …+ Ammunition Functional Analyst + ARDAP Financial Operations Management + Cloud Architecture Engineer + Computer Network Architects + Cyber Security Engineer + ... Network Architect) + Information Security Analyst + Information Systems Security Engineer (ISSE) + Information Technology Specialist + IT Architecture and Cyber… more