Formal Verification and Software Assurance Engineer Johns Hopkins University Applied Physics Laboratory LLCFormal Verification and Software Assurance EngineerLaurel, MDExperience with (1) Static Analysis tools such as Coverity and Klockwork, (2) Dynamic Analysis tools such as Valgrind, libFuzzer, and Java Pathfinder, (3) Symbolic Execution Engines such as KLEE and angr, (4) Model Checkers such as TLA+ and SPIN, (5) SMT Solvers such as Z3, CVC5 and MathSAT (6) other Automated Theorem Provers such as ACL-2 and GnatProve, (7) Interactive Theorem Provers such as Lean and Rocq, and any other formal methods tools. Experience with formal methods tools and techniques, such as language safety properties, symbolic execution, abstract interpretation, model checking, automated and interactive theorem proving, programming language analysis and design, type theory, static source code analysis, and formal logic.
SIGINT Systems Engineer CymertekSIGINT Systems EngineerAnnapolis Junction, MarylandSignals Intelligence Engineer, Systems Engineer, Intelligence Systems Architect, RF Systems Engineer, SIGINT Analyst, Cyber Systems Engineer, Communications Systems Engineer, Network Systems Engineer, Electronic Warfare Engineer, Intelligence Integration Engineer, etc. Electrical Engineering, Computer Engineering, Systems Engineering, Information Technology, Telecommunications Engineering, Cybersecurity, Physics, Computer Science, Signal Processing, Aerospace Engineering, etc.
NewC2 Integration & Operations Engineer BluestoneLogicC2 Integration & Operations EngineerWashington, DCAs an integration & ops engineer member, you’ll work shoulder‑to‑shoulder with our DISA customer, the GCCS-J software development team, the C2 Portfolio program offices, and engineers from emerging commercial C2 systems that need to integrate with GCCS-J, such as Palantir and Anduril. You’ll experiment with GCCS-J beata releases to solve hard integration problems for GCCS-J in support of Combatant Commands, the DISA Mission Partner Environment (MPE) and DISA Joint Operational Edge (JOE/JOE‑CE) initiatives.
NewOkta Engineer, Senior Consultant Guidehouse IncOkta Engineer, Senior ConsultantWashington, DC$113,000–$188,000 / yearA career in an integrated team of developers and consultants provides the opportunity to grow and contribute to our clients' business issues every day, applying a collection of security spectrum capabilities, including security strategy and governance, IT risk, security technologies, and cybercrime and breach response. Compensation decisions depend on a wide range of factors, including but not limited to skill sets, experience and training, security clearances, licensure and certifications, and other business and organizational needs.
Lead All-Source Intelligence Engineer STRLead All-Source Intelligence EngineerArlington, VA$173,000–$230,000 / yearSTR is seeking a Lead All-Source Analyst and Modeling Engineer with strong intelligence and cyber backgrounds who has a passion for applying technical analysis and systems modeling to solve hard target problems. Apply all-source intelligence tradecraft and technical analysis to create system models from circuit diagrams, schematics, source code, signal processing algorithms, and reverse-engineered components.
NewIT Support Engineer Clarity InnovationsIT Support EngineerHerndon, VirginiaClarity Innovations is a trusted national security partner, dedicated to safeguarding our nation’s interests and delivering innovative solutions that empower the Intelligence Community (IC) and Department of Defense (DoD) to transform data into actionable intelligence, ensuring mission success in an evolving world. We are committed to delivering cutting-edge tools and capabilities that address the most complex national security challenges, empowering our partners to stay ahead of emerging threats and ensuring the success of their critical missions.
Macos Customer Support Engineer - SBG DSS Inc.Macos Customer Support Engineer - SBGArlington, VAIdeal team members bring strong macOS support expertise, the ability to resolve technical issues efficiently and professionally, and the interpersonal skills needed to build lasting trust with federal end users. SBG Technology Solutions, Inc. (SBG), a DSS, Inc. company, offers IT Governance, Systems Engineering, Enterprise Modernization, Artificial Intelligence, and Cybersecurity innovation to federal and commercial clients nationwide.
Enterprise Requirements Engineer PeratonEnterprise Requirements EngineerLinthicum, Maryland$146,000–$234,000 / yearFull timeThis position would be responsible for working across multiple teams to understand the technical aspects of each project and breaking down the information into enterprise project plans to span multiple projects and assist project managers to track work against. A degree in one of the following fields of study is highly desired: Information Technology, Computer Science, Cybersecurity, Information Systems, Software Engineering, or Data Science.
Senior Network Engineer CACISenior Network EngineerChantilly, Virginia$90,300–$189,600 / yearJob Title: Senior Network EngineerJob Category: Information TechnologyTime Type: Full timeMinimum Clearance Required to Start: NoneEmployee Type: RegularPercentage of Travel Required: Up to 100%Type of Travel: Continental US* * * Lead Mission‑Critical Network Modernization for the U.S. Space Force as a Senior Network Engineer! Pay Range : There are a host of factors that can influence final salary including, but not limited to, geographic location, Federal Government contract labor categories and contract wage rates, relevant prior work experience, specific skills and competencies, education, and certifications.
Sr. Staff Security Engineer - AI, VMR, Offensive Security GEICO GENERAL INSURANCE COMPANYSr. Staff Security Engineer - AI, VMR, Offensive SecurityBethesda, MD$120,000–$260,000 / yearThis role blends deep security engineering expertise with strong architectural leadership, hands-on experience, leveraging frontier AI models for security, drive customer success, and provide advisory to senior executive leaders. You are equally comfortable advising executive leadership as you are designing and building secure systems, bringing a rare blend of strategic influence and deep engineering execution to elevate the organization's security posture.
Senior Staff Software Engineer, Vulnerability Management GEICO GENERAL INSURANCE COMPANYSenior Staff Software Engineer, Vulnerability ManagementBethesda, MD$100,000–$260,000 / yearThe Staff Engineer brings in expertise in requirements identification, feasibility analysis, secure infrastructure designs, technology evaluation and selection, and implementation of scalable systems using CI/CD and DevSecOps to raise the bar on engineering excellence and security best practices. You have exposure to Cybersecurity and are well-versed with Vulnerability Management Lifecycle - asset discovery, internal/external scans, contextualization and risk-based assessment, triaging of CVEs, detection authoring, security data pipeline, reporting, and remediation.
Chief Cyber Security Engineer / Senior Architect (TS/SCI Required) Praescient Analytics LLCChief Cyber Security Engineer / Senior Architect (TS/SCI Required)Washington, DCPosition Overview: Praescient Analytics is seeking a highly skilled and visionary Chief Engineer / Lead Architect to drive the technical direction of the DIA's Advanced Systems for Technical Research and Analysis (ASTRA) program. AI/ML Authority: Proven capability in designing novel algorithms for complex intelligence problems, with expertise in state-of-the-art techniques including transformer architectures, generative AI, and advanced neural networks.
Electronics Engineer Huntington Ingalls Industries IncElectronics EngineerAdelphi, MD$85,102–$130,000 / yearElectronics Engineer 3 - 3 years relevant experience with Master's degree from a top‑100 accredited institution in physics, mathematics, applied mathematics, electrical engineering, computer science, signal processing, or related fields. Electronics Engineer 2 - Master's degree from a top‑100 accredited institution in physics, mathematics, applied mathematics, electrical engineering, computer science, signal processing, or related fields.
Spectrum RF Engineer - 28443 Huntington Ingalls Industries IncSpectrum RF Engineer - 28443Washington, DC$108,606–$150,000 / yearThis role is not focused on routine International Telecommunication Union (ITU) filings; rather, it requires a candidate capable of applying deep technical knowledge of RF systems to influence emerging rules, policies, and international regulations in ways that advance U.S. Government objectives at ITU Working Party (WP) meetings and ultimately at the World Radiocommunication Conference (WRC). RF Engineer 4 - 9 years relevant experience with Bachelors in related field; 7 years relevant experience with Masters in related field; 4 years relevant experience with PhD or Juris Doctorate in realted field; or High School Diploma or equivalent and 13 years relevant experience.
Senior RF Spectrum Policy Engineer - 28296 Huntington Ingalls Industries IncSenior RF Spectrum Policy Engineer - 28296Arlington, VA$177,815–$185,000 / yearHIIs Mission Technologies is seeking a Senior RF Spectrum Policy Engineer to provide direct support to our Government customer, the Department of the Navy Chief Information Office in the area of national and international spectrum regulations, national and international policy, and registration and coordination. When extending an offer, HIIs Mission Technologies division takes a variety of factors into consideration which include, but are not limited to, the roles function and a candidates education or training, work experience, and key skills.
RF Spectrum Policy Engineer - 28905 Huntington Ingalls Industries IncRF Spectrum Policy Engineer - 28905Arlington, VA$108,606–$155,000 / yearWhen extending an offer, HIIs Mission Technologies division takes a variety of factors into consideration which include, but are not limited to, the roles function and a candidates education or training, work experience, and key skills. Create written and oral reports, support program offices by attending tag up meetings, direct analytical assessments, and develop requirements to ensure regulatory compliance of satellite systems.
NewSoftware Engineer - Multiple Levels - 29775 Huntington Ingalls Industries IncSoftware Engineer - Multiple Levels - 29775Columbia, MD$72,209–$145,000 / yearSystem design and software implementation of proof-of-concept prototypes incorporating a variety of engineering disciplines: control theory, software development, signal/video processing, pattern recognition, machine learning, artificial intelligence, high performance computing, applied mathematics, network/web services, and visualization. Senior Software Engineer (Software Engineer 3): 5 years relevant experience with Bachelors in related field; 3 years relevant experience with Masters in related field; 0 years experience with PhD or Juris Doctorate in related field; or High School Diploma or equivalent and 9 years relevant experience.
CNO Software Engineer - OS, Hypervisor, UEFI/BIOS Specialist The Charles Stark Draper LaboratoryCNO Software Engineer - OS, Hypervisor, UEFI/BIOS SpecialistReston, VirginiaDraper supports many programs to improve work-life balance including workplace flexibility, employee clubs ranging from photography to yoga, health and finance workshops, off site social events and discounts to local museums and cultural activities. Due to the variety of USG organizational needs, our technical efforts and opportunities vary from conventional cyber operations enablement tooling to embedded vulnerability research and exploit development on a wide range of devices and systems.
Commissioning Engineer Associate M.C. Dean IncCommissioning Engineer AssociateManassas, VA$75,520–$94,400 / yearThe Commissioning Engineer team is responsible for performing final testing, startup, and commissioning of low and medium voltage electrical distribution equipment, including breakers, transformers, switches, switchgear, relays, and motor control centers, as well as other electrical apparatus both in the field and in a manufacturing environment. Basic power system familiarity with switchgear, transformers, circuit breakers, power panels, protection relays, UPS systems, power monitoring systems, test equipment, etc.
Design Engineer Principal M.C. Dean IncDesign Engineer PrincipalTysons, VA$125,120–$156,400 / yearAssist other engineers in producing conceptual design to construction documents from utilization voltage to low voltage including, detailed equipment layout, single and three-line diagrams, grounding, and feeder routing. Headquarters in Tysons, Virginia, M.C. Dean delivers resilient, secure, and innovative power and technology solutions through engineering expertise and smart systems integration.