- 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
- 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
- GE Vernova (VA)
- …and controls. + Demonstrated expertise in energy storage controls, validation and verification , formal methods, systems integration, advanced controls or related ... **Job Description Summary** We are seeking a highly skilled Senior Service Control Engineer to join our Solar and Storage Solutions engineering team. In this pivotal… more
- General Dynamics Information Technology (Arlington, VA)
- …and customer information assurance and cybersecurity standards and practices through formal verification methods with specific emphasis on network and ... may be required based on customer direction.** **How the Cyber Security Engineer will make an impact:** **.** **Designs and evaluates end-to-end systems through… more
- Huntington Ingalls Industries (Roanoke, VA)
- …description languages, embedded instruction architectures, high-level software development languages, formal verification tools, and more. The ideal candidate ... will have experience with object-oriented design and an understanding of basic logic gates. We are particularly looking for candidates that have experience with FPGA design (Quartus, Vivado, ISE), embedded system design, EDA tools (synthesis, P&R, simulation),… more
- UIC Government Services and the Bowhead Family of Companies (Dahlgren, VA)
- …Operation, Test and Evaluation,Sensor Certification, and Sensor Requirement Verification . **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
- …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
- UIC Government Services and the Bowhead Family of Companies (Dahlgren, VA)
- …has an immediate opening for a Cisco FTD/Firepower (FMC) Firewall Administrator/ Engineer to provide Design and Engineering Operation and Maintenance support for ... practices for security, disaster recovery, business continuity, change control, the engineer will design, configure, manage and troubleshoot a variety of network… more