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.
CNO - Embedded Software Engineer - Linux, Python, C++ Erias VenturesCNO - Embedded Software Engineer - Linux, Python, C++Annapolis Junction, MarylandWe are seeking engineers who wish to grow their careers and want to become part of a technically strong and growth-oriented company focused on bringing innovative solutions to the difficult mission problems facing our customers. Experience Five (5) years’ experience as an embedded developer, in programs and contracts of similar scope, type, and complexity is required.
Cloud Software Engineer Visionist, Inc.Cloud Software EngineerLaurel, MD$115,000–$155,000 / yearWe embed small engineering teams with analysts to rapidly identify and solve mission capability gaps playing a critical role in defending our nation's cyber infrastructure & providing expertise in malware analysis, attribution, mapping adversarial infrastructure, pen testing, and operational planning. Experience with Java, Kotlin, Typescript, React or Redux, Protobuf, Websockets, WebGL, low-level data, and efficient memory mgmt.
Staff Software Engineer - Cybersecurity Geico InsuranceStaff Software Engineer - CybersecurityBethesda, 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. This role will be responsible for leading enterprise initiatives and collaboration with cross-functional teams as well as designing and implementing secure and scalable solutions to drive Vulnerability Management initiatives.
Software Applications Engineer EntarianSoftware Applications EngineerAberdeen Proving Ground, Maryland$115,000–$130,000 / yearThe ideal candidate will possess strong expertise in C#, NET 10+, and Blazor, with deep experience developing rich user interfaces using the MudBlazor framework and modern front-end technologies such as HTML, CSS, JavaScript, and Razor. The successful candidate will be responsible for developing full-stack solutions that leverage ASP.NET Core Web APIs, Entity Framework Core, and SQL-based data systems, while ensuring high performance, security, and maintainability.
Full Stack Software Engineer (Aws Certification Required) Visionist, Inc.Full Stack Software Engineer (Aws Certification Required)Laurel, MD$135,000–$206,000 / yearWe embed small engineering teams with analysts to rapidly identify and solve mission capability gaps playing a critical role in defending our nation's cyber infrastructure & providing expertise in malware analysis, attribution, mapping adversarial infrastructure, pen testing, and operational planning. The analytics developed and deployed in these ecosystems are critical to ensuring that the data flowing through the agency can be leveraged by analysts to perform mission critical reporting and decision making.
Software Engineer Intelliforce-IT Solutions GroupSoftware EngineerAnnapolis Junction, MDFull timeIn this role, you will create responsive, high-performance web applications that sit at the front of mission workflows and turn complex data into usable, fast, and intuitive experiences. This is a strong fit for an engineer who enjoys modern front end development, performance tuning, and building polished applications people rely on every day.
Director, Software Engineering The Travelers CompaniesDirector, Software EngineeringHunt Valley, MD$139,400–$230,000 / yearWhether you're looking to transition into Salesforce development or deepen existing Salesforce knowledge, you'll work alongside experienced professionals who will support your growth in this high-demand technology stack. Provide technical leadership and strategic direction for Salesforce development initiatives, establishing platform best practices and driving process improvements across the development lifecycle.
NewSenior Software Engineer - Infrastructure Engineering (Linux), OS Team Geico InsuranceSenior Software Engineer - Infrastructure Engineering (Linux), OS TeamBethesda, MD$75,000–$215,000 / yearOur Senior Software Engineer works with our Distinguished Engineer, Staff Engineers, and other Senior Software Engineers to innovate and build new systems, improve, and enhance existing systems as well as identify new opportunities to apply your knowledge to solve critical problems. Knowledge of developer tooling across the software development life cycle (task management, source code, building, deployment, test automation and related tools, operations, real-time communication).
Junior Full Stack Software Engineer (Aws Certification Required) Visionist, Inc.Junior Full Stack Software Engineer (Aws Certification Required)Laurel, MD$115,000–$159,000 / yearWe embed small engineering teams with analysts to rapidly identify and solve mission capability gaps playing a critical role in defending our nation's cyber infrastructure & providing expertise in malware analysis, attribution, mapping adversarial infrastructure, pen testing, and operational planning. The analytics developed and deployed in these ecosystems are critical to ensuring that the data flowing through the agency can be leveraged by analysts to perform mission critical reporting and decision making.
Software Engineer (Devops Focused) Visionist, Inc.Software Engineer (Devops Focused)Columbia, MD$115,000–$155,000 / yearWe embed small engineering teams with analysts to rapidly identify and solve mission capability gaps playing a critical role in defending our nation's cyber infrastructure & providing expertise in malware analysis, attribution, mapping adversarial infrastructure, pen testing, and operational planning. The analytics developed and deployed in these ecosystems are critical to ensuring that the data flowing through the agency can be leveraged by analysts to perform mission critical reporting and decision making.
Staff Engineer, Software Engineering Geico InsuranceStaff Engineer, Software EngineeringBethesda, MD$100,000–$230,000 / yearUtilize programming languages like Python, C# or other object-oriented languages, SQL, and NoSQL databases, Container Orchestration services including Docker and Kubernetes, and a variety of Azure tools and services. In depth knowledge of Datacenter structure, capabilities, and offerings, including the Azure platform, and its native services including the Azure platform and its native services.
Junior Software Engineer (Frontend Focused) Bigbear.aiJunior Software Engineer (Frontend Focused)Annapolis Junction, MarylandFull timeIf you are a curious problem solver who loves learning new technologies on the fly, interacting directly with end users, and seeing the immediate impact of your work, this team is your perfect match. Collaborate & Learn: Work closely with a tight knit, cross functional team to solve ambiguous problems, even when starting with minimal initial knowledge of the domain.
Staff Software Engineer - Hybrid Geico InsuranceStaff Software Engineer - HybridBethesda, MD$110,000–$230,000 / yearUtilize programming languages like Python, C#, Java, TypeScript or other object-oriented languages, SQL, and NoSQL databases, Container Orchestration services including Docker and Kubernetes, and a variety of Azure tools and services. GEICO is seeking an experienced Engineer with a passion for building high-performance, low maintenance, zero-downtime platforms, and applications to support the Digital Experience for customers.
Principal Software Engineer Bigbear.aiPrincipal Software EngineerAnnapolis Junction, MarylandFull timeProven, hands-on experience developing and maintaining Java/Spring Boot applications: RESTful APIs, microservices, dependency injection, configuration management, and production troubleshooting. Overview: BigBear.ai is seeking a Principal Software Engineer that will design and maintain the core middleware that powers authentication, authorization, and mission-critical integration services used across the customer site.
NewSoftware Engineer 1 Prodigy OneSoftware Engineer 1Annapolis Junction, MarylandCreating and maintaining complex server enclaves, including analyzing system scanning reports, patching, cert renewals, vulnerability management assessments, and active directory configurations. Bachelor's Degree in System Engineering, Computer Science, Information Systems, Engineering Science, Engineering Management, or a related technical field and at least 8 years of relevant experience.
Test Automation Software Engineer Johns Hopkins Applied Physics LaboratoryTest Automation Software 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.
Software Engineer - Level 1 - Search Stratum NetworksSoftware Engineer - Level 1 - SearchMarylandNet C# o PHP o Node.js o HTML o CSS o JavaScript o Vue.js o React Experience with MariaDB, MS SQL, MySQL, or Oracle Experience leading small teams and/or mentoring junior developers Experience deploying services in Linux environments Nginx, Apache Tomcat, and/or IIS experience Excellent troubleshooting skills Ability to work independently and as part of a team Self-motivated and willing to learn new technologies Good interpersonal skills Strong desire to learn and grow . As leading experts in their fields, our certified and highly experienced network, software development, IT support and security professionals are able to provide the necessary design, implementation, and consulting services to meet the demanding requirements of mission-critical networks.
Artificial Intelligence (AI)/Machine learning- Software Engineer 2 Weeghman & Briggs LLCArtificial Intelligence (AI)/Machine learning- Software Engineer 2Jessup, MD$206,600–$229,600 / yearFull timeArtificial Intelligence (AI)/Machine learning- Software Engineer 2Location: Annapolis Junction, MD | Onsite Clearance Required: TS/SCI with Polygraph Employment Type: Full-Time Salary Range: $206,600-$229,600Join a Growing Team at Weeghman & BriggsWeeghman & Briggs is seeking a motivated and mission-driven Artificial Intelligence (AI)/Machine learning- Software Engineer 2 to support critical government initiatives in Annapolis Junction, MD.Founded in 2016 by Anthony Jordan, Weeghman & Briggs specializes in delivering high-impact analytical services to Government Agencies and private organizations. Since our founding, we have partnered with a range of federal entities and private corporations, earning a strong reputation as a trusted, results-driven company with an exceptional team of professionals.