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.
Senior Classified Network Engineer Johns Hopkins Applied Physics LaboratorySenior Classified Network EngineerLaurel, MarylandFull timeAs a member of our team, you'll work and collaborate with a small team of hardworking network engineers and partner with our unclassified APL enterprise network team on challenging problems and initiatives. Serve as a technical subject matter expert (SME) for classified network technologies and security posture, mentoring junior engineers and guiding cross-functional teams.
Senior Sensor Systems Engineer Johns Hopkins Applied Physics LaboratorySenior Sensor Systems EngineerLaurel, MarylandFull timeHave experience with air and missile defense, Missile Defense Agency programs, integrated air and missile defense, sensor resource management, multi-domain sensing, digital engineering, system-of-systems analysis, or advanced modeling and simulation. We work closely with government sponsors and multidisciplinary teams to transition innovative concepts into operational capabilities, while fostering a collaborative environment that encourages technical excellence, leadership, innovation, and professional growth.
Weapon Control Analyst/Engineer, Shipboard Systems Group Johns Hopkins Applied Physics LaboratoryWeapon Control Analyst/Engineer, Shipboard Systems GroupLaurel, MarylandFull timeWe are seeking a current or former Trident II D5 Strategic Weapon System (SWS) operator to serve as a Subject Matter Expert (SME) on a cross-disciplinary team dedicated to supporting the Navy and warfighter through system analysis and virtual trainer development. Do you love the idea of designing immersive training systems that train sailors to operate the weapon system, while also analyzing data to ensure it continues performing at peak efficiency?.
Mechanical-Systems Engineer, Shipboard Systems Group Johns Hopkins Applied Physics LaboratoryMechanical-Systems Engineer, Shipboard Systems GroupLaurel, MarylandFull timeYou will work with a multidisciplinary team that supports our sponsors in developing advanced analysis methods for deployed systems, modernizing existing Navy hardware, and integrating new weapon systems onto Navy platforms. Engage directly with our Navy sponsor and associated prime and subcontractors to provide oversight of hardware design and production efforts for future weapon systems and Navy platforms.
NewRadio Frequency Processing / Sensor Engineer Johns Hopkins Applied Physics LaboratoryRadio Frequency Processing / Sensor EngineerLaurel, MarylandFull timeWe are seeking a physicist, mathematician or engineer to help us develop algorithms and assess the performance of the next generation of radio frequency sensor systems for land, air, and sea-launched interceptors. 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.
Reverse Engineer and Offensive Cyber Developer Johns Hopkins Applied Physics LaboratoryReverse Engineer and Offensive Cyber DeveloperLaurel, MarylandFull timeThe Johns Hopkins University Applied Physics Laboratory (APL) brings world-class expertise to our nation’s most critical defense, security, space and science challenges. We seek experienced reverse engineers and developers who will build inventive cyber capabilities leveraging novel reverse engineering and exploitation techniques.
Senior NLCC Communication Systems Engineer Johns Hopkins Applied Physics LaboratorySenior NLCC Communication Systems EngineerArlington, VirginiaFull timeProvide technical expertise, analysis, and systems engineering support for the NLCC to include the Senior Leadership Command, Control and Communications System (SLC3S) in technical interchange meetings, technical and policy development working groups, and program reviews. 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.
Senior Data Fusion and Tracking Systems Engineer Johns Hopkins Applied Physics LaboratorySenior Data Fusion and Tracking Systems EngineerLaurel, MarylandFull timeThe Multi-Domain Sensing Architectures and Data Fusion Group develops advanced sensing, tracking, and data fusion algorithms that enable next-generation air and missile defense capabilities. Have experience developing and evaluating tracking algorithms through modeling, simulation, analysis, and test data assessment using MATLAB, Python, C/C++, Julia, or similar scientific programming languages.
Modeling and Simulation Integration Engineer Johns Hopkins Applied Physics LaboratoryModeling and Simulation Integration EngineerLaurel, MarylandFull timeYour primary responsibility will be to evaluate precision strike platform effectiveness by developing, using, and integrating together an assortment of medium to high fidelity engagement-level modeling and simulation tools across multiple technical specialty areas. 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.
Electromagnetic Modeling & Simulation Engineer Johns Hopkins Applied Physics LaboratoryElectromagnetic Modeling & Simulation 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.
NewCommunications Electronic Warfare Engineer Johns Hopkins Applied Physics LaboratoryCommunications Electronic Warfare EngineerLaurel, MarylandFull timePossess a Bachelor's degree in Electrical Engineering, Computer Engineering, Physics, Aerospace Engineering, or a related technical field with relevant coursework or experience in communications, signals and systems, RF, or digital signal processing. Are familiar with signals and systems or digital signal processing concepts, including Fourier transforms, sampling and aliasing, filtering and frequency response, time-frequency analysis, SNR analysis, and related RF analysis products.
Senior Aerospace Engineer Johns Hopkins Applied Physics LaboratorySenior Aerospace EngineerLaurel, MarylandFull timeYour primary responsibility will be to perform applied computational analysis using commercial CFD software packages to simulate the flight environments of various vehicles including missiles, aircraft, and drones during launch, boost, midcourse, and glide portions of trajectories. Contribute to the creation and validation of aerodynamic models, supporting flight‑test campaigns and wind‑tunnel programs for next‑generation missile and aircraft designs.
Senior Systems Design Engineer / Analyst Johns Hopkins Applied Physics LaboratorySenior Systems Design Engineer / AnalystLaurel, MarylandFull timeShape weapon‑system architectures – Using digital‑engineering tools (Cameo/MagicDraw, physics‑based models, logistics and simulation) you will evaluate current and future weapon concepts, assess performance, and construct resilient, modular designs that meet stringent deterrence requirements. Significant Multi‑disciplinary design depth – A proven record of leading design efforts that span at least three distinct “hard‑science” engineering domains (e.g., mechanical, electrical/electronic, aerospace, nuclear, materials, chemical, petroleum, civil, etc.).
Multi-Sensor Tracking Engineer Johns Hopkins Applied Physics LaboratoryMulti-Sensor Tracking 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. Have experience with one or more tracking topics such as data association, multi-target tracking, Kalman or nonlinear filtering, track initiation and maintenance, or multi-sensor data fusion.
Sr. Radar Systems Engineer Johns Hopkins Applied Physics LaboratorySr. Radar Systems EngineerLaurel, MarylandFull timeIdentify emergent phenomenology, troubleshoot problems affecting sensor performance, and work with a broad network of experts—including prime contractors, government labs, RF‑propagation and meteorology specialists, software developers, combat‑system engineers, and physicists—to deliver integrated solutions. Collaborative Culture: Join a highly motivated, interdisciplinary team of sensor engineers, RF‑propagation and meteorology specialists, software developers, combat‑system engineers, and physicists—all focused on solving complex, mission‑critical problems.
Senior Downstream Bioprocess Engineer Johns Hopkins Applied Physics LaboratorySenior Downstream Bioprocess EngineerLaurel, MarylandFull timeThe Johns Hopkins University Applied Physics Laboratory (APL) brings world-class expertise to our nation’s most critical defense, security, space and science challenges. 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.
RF Seeker & Signal Processing Engineer Johns Hopkins Applied Physics LaboratoryRF Seeker & Signal Processing EngineerLaurel, MarylandFull timeYou will apply your subject matter expertise in RF seekers and signal processing to guide the modeling and simulation of advanced seeker systems, ensuring accurate representation of seeker performance and its interaction with guidance, navigation, and control (GNC) functions, engagement dynamics, and end-to-end kill chain effectiveness. You will collaborate with a team of highly skilled engineers and scientists as a technical leader, driving innovation, advancing system performance, and contributing ideas that strengthen our collective expertise and reinforce our role as a trusted advisor to government stakeholders.
Real-Time 3D Asset Engineer Johns Hopkins Applied Physics LaboratoryReal-Time 3D Asset EngineerLaurel, MarylandFull timeHave experience as a technical artist, environment artist, hard-surface artist, material artist, real-time 3D artist, or in a related capacity on shipped games, AAA productions, training systems, simulations, or real-time visualization products. You will build production-ready models, textures, and materials from reference photos, CAD, 3D scans, photogrammetry, engineering drawings, and other source material, with an emphasis on equipment, environments, facilities, and other hard-surface assets.
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.