2026 PhD Graduate - Formal Verification and Software Assurance Engineer Johns Hopkins Applied Physics Laboratory2026 PhD Graduate - Formal Verification and Software Assurance EngineerLaurel, MarylandFull timeExperience 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 CVC5 and MathSAT (6) Automated Theorem Provers such as Z3 and ACL-2, (7) Interactive Theorem Provers such as Lean and Rocq, and any other formal methods tools. Understanding or 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.
Formal Verification and Software Assurance Engineer Johns Hopkins Applied Physics LaboratoryFormal Verification and Software Assurance EngineerLaurel, MarylandFull timeExperience 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.
Biophotonics Systems Engineer Johns Hopkins Applied Physics LaboratoryBiophotonics Systems EngineerLaurel, MarylandFull timeAPL provides eligible staff with a comprehensive benefits package including retirement plans, paid time off, medical, dental, vision, life insurance, short-term disability, long-term disability, flexible spending accounts, education assistance, and training and development. The Johns Hopkins University Applied Physics Laboratory (APL) brings world-class expertise to our nation’s most critical defense, security, space and science challenges.
Wireless Communications Algorithm Engineer Johns Hopkins Applied Physics LaboratoryWireless Communications Algorithm EngineerLaurel, MarylandFull timeA Bachelor's degree (or equivalent experience) in Electrical Engineering, Computer Engineering, Physics, Mathematics or another related field with at least seven years of relevant experience, OR a Master's degree (or higher) in one of the same fields of study with at least three years of relevant experience. APL provides eligible staff with a comprehensive benefits package including retirement plans, paid time off, medical, dental, vision, life insurance, short-term disability, long-term disability, flexible spending accounts, education assistance, and training and development.
Experienced Missile Test and Evaluation Engineer Johns Hopkins Applied Physics LaboratoryExperienced Missile Test and Evaluation EngineerLaurel, MarylandFull timeWe are seeking an experienced engineer to help us design and document test and analysis plans, develop cutting edge analysis tools, and perform test & evaluation, for in-development Navy / Air Force strategic missile systems, including Trident and Sentinel. Perform missile system test and evaluation, primarily in support of the Navy and Air Force strategic and hypersonic missile programs, including assessments of performance, comparing to pre-flight predictions, requirements, and culmulative system assessments.
NewIA Engineer Booz Allen HamiltonIA EngineerChantilly, VirginiaOnsite : If this position is listed as onsite, work will primarily be performed at a Booz Allen office or customer facility, where employees will collaborate directly with colleagues and customers as required by the role. Salary at Booz Allen is determined by various factors, including but not limited to location, the individual’s particular combination of education, knowledge, skills, competencies, and experience, as well as contract-specific affordability and organizational requirements.
New5G PHY M&S Engineer Booz Allen Hamilton5G PHY M&S EngineerMcLean, VirginiaOnsite : If this position is listed as onsite, work will primarily be performed at a Booz Allen office or customer facility, where employees will collaborate directly with colleagues and customers as required by the role. Salary at Booz Allen is determined by various factors, including but not limited to location, the individual’s particular combination of education, knowledge, skills, competencies, and experience, as well as contract-specific affordability and organizational requirements.
Principal Systems Engineer Ultra Electronics Ocean SystemsPrincipal Systems EngineerChantilly, VirginiaAt Ultra Maritime, the Principal Systems Engineer will have the opportunity to guide the development and selection of key technologies for the Navy and will have the opportunity to work with complex software algorithms and cutting-edge digital signal processing hardware. Develops plans and leads systems Engineering teams to ensure optimum use of time and resources and provides technical leadership, ensuring that team performance is aligned and contributes to the overall goals of the business unit.
Principal Engineer Ion Storage SystemsPrincipal EngineerBeltsville, MDFull timeResponsibilities: Work collaboratively with the team to support the existing prototype line, identifying the key levers to drive optimal process reliability, quality, and uptimeLead root-cause investigations for difficult or ambiguous equipment and process failures, and drive corrective/preventive actions to closure. As a Principal Engineer, you'll take ownership of significant workstreams - leading equipment builds, troubleshooting efforts, and process improvements end-to-end - while mentoring other engineers and raising the technical bar across the team.
Director of Sales, Aerospace & Defense Webster & Webster AssociatesDirector of Sales, Aerospace & DefenseDistrict of ColumbiaBy managing high-value relationships in heavily regulated environments, you will elevate pipeline penetration, accelerate regional revenue, and establish a dominant market presence for a world leader in high-performance, safety-critical embedded software development tools. We are seeking a seasoned executive sales leader to direct and expand commercial business operations across priority defense primes, major military branches, and tier-one strategic accounts.
Engineer (Electro-Optical) Vets HiredEngineer (Electro-Optical)MarylandThis role focuses on designing, testing, and maintaining electro-optical and infrared (EO/IR) systems, supporting complex defense-related test environments and mission-critical technologies. An organization is seeking an Electro-Optical Engineer (Journeyman) to support advanced aircraft research, development, testing, and evaluation initiatives.
Sr Software Engineer - Network & SDN - TeraWave Blue OriginSr Software Engineer - Network & SDN - TeraWaveBay Area, Washington$248,830–$348,361.65 / yearAs a Senior Network Engineer for Network Architecture & SDN at TeraWave, you will contribute significant technical expertise to the design and implementation of the "brain" of our constellation, developing a dynamic, self-healing network that operates at orbital speeds across our multi-orbit constellation of 5,408 optically interconnected satellites. and/or transports placardable amounts of hazardous materials by ground in any vehicle on a public road while in commerce, may be subject to additional Federal Motor Carrier Safety Regulations including: Driver Qualification Files, Medical Certification (obtained before onboarding), Road Test, Hours of Service, Drug and Alcohol Testing, vehicle inspection requirements, CDL requirements (if applicable) and hazardous materials transportation/shipping training.
RF Communication Engineer III - Blue National Security (Top Secret Clearance required) Blue OriginRF Communication Engineer III - Blue National Security (Top Secret Clearance required)Washingtonand/or transports placardable amounts of hazardous materials by ground in any vehicle on a public road while in commerce, may be subject to additional Federal Motor Carrier Safety Regulations including: Driver Qualification Files, Medical Certification (obtained before onboarding), Road Test, Hours of Service, Drug and Alcohol Testing (CDL drivers only), vehicle inspection requirements, CDL requirements (if applicable) and hazardous materials transportation/shipping training. Required for Certain Job Profiles: Drivers who operate Commercial Motor Vehicles with a Gross Vehicle Weight (GVW), Gross Vehicle Weight Rating (GVWR) or combination of power unit and trailer that meets or exceeds 10,001 lbs.
Software Emulation Engineer - Blue Ring (TS/SCI Desired) Blue OriginSoftware Emulation Engineer - Blue Ring (TS/SCI Desired)Washingtonand/or transports placardable amounts of hazardous materials by ground in any vehicle on a public road while in commerce, may be subject to additional Federal Motor Carrier Safety Regulations including: Driver Qualification Files, Medical Certification (obtained before onboarding), Road Test, Hours of Service, Drug and Alcohol Testing (CDL drivers only), vehicle inspection requirements, CDL requirements (if applicable) and hazardous materials transportation/shipping training. The Blue Ring spacecraft is the "Swiss Army Knife of satellites" and can support a variety of missions in Earth orbit domains out to the cislunar region - including transporting and hosting payloads, refueling satellites, as well as performing data relay, storage and compute via our in-space edge compute capability.
NewBlue Ring Emulation Engineer - Blue Ring (TS/SCI Desired) Blue OriginBlue Ring Emulation Engineer - Blue Ring (TS/SCI Desired)Washingtonand/or transports placardable amounts of hazardous materials by ground in any vehicle on a public road while in commerce, may be subject to additional Federal Motor Carrier Safety Regulations including: Driver Qualification Files, Medical Certification (obtained before onboarding), Road Test, Hours of Service, Drug and Alcohol Testing, vehicle inspection requirements, CDL requirements (if applicable) and hazardous materials transportation/shipping training. The Blue Ring spacecraft is the "Swiss Army Knife of satellites" and can support a variety of missions in Earth orbit domains out to the cislunar region - including transporting and hosting payloads, refueling satellites, as well as performing data relay, storage and compute via our in-space edge compute capability.
Motor Controls Engineer - Lunar Avionics Blue OriginMotor Controls Engineer - Lunar AvionicsWashingtonand/or transports placardable amounts of hazardous materials by ground in any vehicle on a public road while in commerce, may be subject to additional Federal Motor Carrier Safety Regulations including: Driver Qualification Files, Medical Certification (obtained before onboarding), Road Test, Hours of Service, Drug and Alcohol Testing (CDL drivers only), vehicle inspection requirements, CDL requirements (if applicable) and hazardous materials transportation/shipping training. As part of a collaborative, hardworking team, the Motor Controls Engineer will be a member of the Power and Controls team within Lunar Avionics, working within a tightly knit group that is developing motor controllers for numerous applications across Blue Origin’s Lunar vehicles.
Design Engineer Staff M.C. Dean, IncDesign Engineer StaffTysons , Virginia$90,640–$113,300 / yearFull timeHeadquarters in Tysons, Virginia, M.C. Dean delivers resilient, secure, and innovative power and technology solutions through engineering expertise and smart systems integration. Participate in Pre-Installation Testing and Checkout (PITCO) processes including System programming, integration testing, and equipment build outs.
Senior Software Engineer - CTJ - TS/SCI MicrosoftSenior Software Engineer - CTJ - TS/SCIReston, VA$119,800–$234,700 / yearMasters Degree in Computer Science, Information Technology, Mechanical Engineering, Electrical Engineering, Aerospace Engineering, Data Science, Cybersecurity, or related field AND 3+ years technical experience in software engineering, network engineering, service engineering, systems engineering, or industrial controls OR Bachelors Degree in Computer Science, Information Technology, Mechanical Engineering, Electrical Engineering, Aerospace Engineering, Data Science, Cybersecurity, or related field AND 5+ years technical experience in software engineering, network engineering, service engineering, systems engineering, or industrial controls OR equivalent experience. · Bachelors Degree in Computer Science, Information Technology, Mechanical Engineering, Electrical Engineering, Aerospace Engineering, Data Science, Cybersecurity, or related field AND 2+ years technical experience in software engineering, network engineering, service engineering, systems engineering, or industrial controls OR equivalent experience.
Senior Software Engineer - Technical Lead - R120 Expedition TechnologySenior Software Engineer - Technical Lead - R120Herndon, VirginiaAt Expedition Technology, we’re solving some of the nation’s hardest problems with cutting-edge technology and a culture built on trust, autonomy, and technical excellence. At Expedition Technology (EXP), we’re looking for a Senior Software Engineer who can both build mission-critical software and elevate the engineers around them.
NewLead System Engineer- Mk1 Blue OriginLead System Engineer- Mk1Space Coast, Washington$145,188–$203,263.20 / yearand/or transports placardable amounts of hazardous materials by ground in any vehicle on a public road while in commerce, may be subject to additional Federal Motor Carrier Safety Regulations including: Driver Qualification Files, Medical Certification (obtained before onboarding), Road Test, Hours of Service, Drug and Alcohol Testing, vehicle inspection requirements, CDL requirements (if applicable) and hazardous materials transportation/shipping training. In this critical senior leadership role, you will own the end-to-end systems engineering responsibility for the vehicle as it matures through Critical Design Review toward integration, test, and flight: how its requirements are defined and baselined, how the design is closed out, how the VIPER payload is integrated, and how the integrated vehicle is verified and validated from component test through mission and landing readiness.