- Huntington Ingalls Industries (Roanoke, VA)
- …system analysis techniques + Microcontroller and embedded systems exploration + Formal verification tool introduction PHASE 3: INDEPENDENT PROJECT CONTRIBUTION ... (Weeks 9-12) Week 9: Project Assignment + Independent reverse engineering project assignment + Planning and documentation of approach + Initial analysis and tool selection Week 10: Implementation + Code development for assigned project + Test suite creation +… 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 have 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,… 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
- Huntington Ingalls Industries (Roanoke, VA)
- …Job Description Do you enjoy challenging digital design verification problems? HII Mission Technologies is seeking out-of-the-box thinkers ... position will contribute to the team by utilizing industry-standard functional verification tools (eg, Questa, VCS, Verdi), logical equivalence tools (eg, OneSpin… more
- Volvo Group (Chesapeake, VA)
- System Verification Engineer - EMOB & Calibration Location: Chesapeake, VA, US, 23320 Position Type: Professional Transport is at the core of modern society. Imagine ... to move people, business and society. We are seeking a **System Verification Engineer - Electromobility (incl. battery storage system), Calibration & Verification… more
- Arena Technical Resources, LLC (Springfield, VA)
- …Research, develop, automate, and apply photogrammetric techniques to add value to formal intelligence reporting - Support verification and validation (V&V) ... efforts for tools, techniques, processes - Support R&D of solutions for mensuration of imagery captured by commercial drones or similar capabilities. - Document results, create written reports, and photogrammetric related briefings - Participate in Technical… more
- L3Harris (Norfolk, VA)
- …Test Readiness Reviews. Supports/witnesses' inspection and ensures compliance of engineering ( formal and dry run) verification , acceptance, and qualification ... tests (eg, QCI, QCT, FAT, DVT). + Audits the configurations utilized during integration and test activities (eg, software, firmware versions, hardware versions, traceability to trouble reports (TRs)) as documented by procedures/program plans. + Attendance and… more
- General Dynamics Information Technology (Chantilly, VA)
- …user engagement to perform requirement elicitation and derivation, generation of formal requirement documents, and verification activities to close-out project ... requirements **Desired Skills:** + Expertise in SharePoint use and administration + Verified experience managing project schedules with Microsoft Project + Create quality analytical products to include visualizations, briefs, workflows, diagrams and reports +… more
- GovCIO (Virginia Beach, VA)
- …evaluating the effectiveness of training activities. Key Responsibilities: + Deliver formal training on Government-developed curriculum for Navy IT and communication ... Required: Secret + 7+ years of hands-on experience and formal military training on systems listed below + Completion...+ During the Hiring Process + Enhanced Biometrics ID verification screening + Background check, to include: + Criminal… more
- Huntington Ingalls Industries (Roanoke, VA)
- …to meeting you. Job Description Do you enjoy challenging digital design verification problems? HII Mission Technologies is seeking out-of-the-box thinkers who can ... position will contribute to the team by utilizing industry-standard functional verification tools (eg, Questa, VCS, Verdi), logical equivalence tools (eg, OneSpin… more