NewGeneral Engineer ExelonGeneral EngineerCrumpton, MD$92,000–$126,500Develops studies, plans, criteria, specifications, calculations, evaluations, design documents, performance assessments, integrated systems analysis, cost estimates, budgets, associated with the planning, design, licensing, construction, commissioning, operation, and maintenance of Exelon's electric generation, transmission, distribution, gas and telecommunication facilities/systems. (4) Career related experiences is defined as changes in technical job responsibilities and does not have to include a change in department Note: Items (1) and (3) are mutually inclusive, whereby the maximum experience requirement reduction is one(1) year (e.g., in the case of an employee with both a master's degree in Engineering AND a PE license, the minimum experience requirement would be reduced by one (1) year).
Enterprise Architect/Systems Engineer LeidosEnterprise Architect/Systems EngineerClarksburg, MD$131,300–$237,350Our talented team is at the forefront in Security Engineering, Computer Network Operations (CNO), Mission Software, Analytical Methods and Modeling, Signals Intelligence (SIGINT), and Cryptographic Key Management. If you received an email purporting to be from Leidos that asks for payment-related information or any other personal information (e.g., about you or your previous employer), and you are concerned about its legitimacy, please make us aware immediately by emailing us at LeidosCareersFraud@leidos.com.
Systems Integration Engineer LeidosSystems Integration EngineerMount Airy, MD$87,100–$157,450TFDM program is a Federal Aviation Administration’s (FAA) NextGen program based on airport surface management provides that efficiencies for both the airport surface and terminal airspace by providing a new and comprehensive integrated surface traffic control and management system. June 25, 2026For U.S. Positions: While subject to change based on business needs, Leidos reasonably anticipates that this job requisition will remain open for at least 3 days with an anticipated close date of no earlier than 3 days after the original posting date as listed above.
Lead Systems Integration Engineer LeidosLead Systems Integration EngineerClarksburg, MD$87,100–$157,450TFDM program is a Federal Aviation Administration’s (FAA) NextGen program based on airport surface management provides that efficiencies for both the airport surface and terminal airspace by providing a new and comprehensive integrated surface traffic control and management system. June 3, 2026For U.S. Positions: While subject to change based on business needs, Leidos reasonably anticipates that this job requisition will remain open for at least 3 days with an anticipated close date of no earlier than 3 days after the original posting date as listed above.
Systems Engineer LeidosSystems EngineerTemple Hills, MD$107,900–$195,050If you received an email purporting to be from Leidos that asks for payment-related information or any other personal information (e.g., about you or your previous employer), and you are concerned about its legitimacy, please make us aware immediately by emailing us at LeidosCareersFraud@leidos.com. • The candidate should be a proactive leader and team player with strong communication, management, analytical, and problem solving skills; proven ability to thrive in environments that constantly embraces new technology.
Systems Engineer - Corporate Pratum CompaniesSystems Engineer - CorporateGaithersburg, MD$90,000–$105,000 / yearFull timeThe Systems Engineer works closely with the Senior Vice President of Support Services, internal IT staff, business leaders, and third-party vendors to support infrastructure, cybersecurity, networking, and cloud initiatives. This role is exempt and has an anticipated annualized base salary range of $90k-$105k for a new employee depending on a number of relevant factors including individuals’ experience, qualifications, knowledge, skills, abilities, client/property or company budgetary limitations/guidelines, and other job-related company and market considerations.
Staff Software Development Engineer (Agentic AI/ML) CVS Health CorpStaff Software Development Engineer (Agentic AI/ML)MD$118,450–$260,590 / year7+ years of experience as a Machine learning engineer or combination of machine learning and software engineering with 5+ years leading software development projects, including setting project goals, monitoring progress, tracking milestones, communicating with stakeholders, and mentoring junior developers. Leveraging LLMs, vector databases, and orchestration frameworks to build agentic systems, Applying prompt engineering, retrieval-augmented generation (RAG), and multi-agent collaboration patterns.
Staff Software Engineer Xometry IncStaff Software EngineerNorth Bethesda, MDXometry's digital marketplace gives manufacturers the critical resources they need to grow their business while also making it easy for buyers at Fortune 1000 companies to tap into global manufacturing capacity. The estimated base salary range for new hires into this role is $140,000- $230,000 annually + annual bonus depending on factors such as job-related skills, relevant experience, and location.
Staff Software Engineer - Search / AI CVS Health CorpStaff Software Engineer - Search / AIMD$106,605–$284,280 / yearCurrently, we are seeking a Staff Software Engineer - Search / AI who as a Senior technical leader, be responsible for driving architecture, design, and delivery of scalable, cloud-native platforms built on microservices architecture and AI capabilities. CVS Health is looking for hands-on, passionate people who want to join a high energy and growing team to make a difference in customers' lives and who want to be on the forefront of digital innovation that aims to reinvent what a pharmacy and a health care company can be in the digital world.
Staff Software Engineer (HYBRID) GEICO GENERAL INSURANCE COMPANYStaff Software Engineer (HYBRID)Bethesda, MDAs part of the MarTech organization, this Staff Engineer will collaborate closely with product managers, data scientists, content strategists, and marketing teams to design and deliver cutting-edge knowledge-driven platforms that enable personalized, contextually relevant content generation at enterprise scale. In this role, you will lead the technical strategy and implementation of knowledge graph systems, automated content generation workflows, semantic data platforms, and intelligent content delivery solutions that empower our content, marketing, and customer experience teams.
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.
NewStaff Engineer - Software Sunrise Systems IncStaff Engineer - SoftwareSparks, MD$90–$96 / hourThey will work under the supervision of the software project team lead and will participate in a full software development life cycle, which includes development in such areas as graphical user interfaces, structured databases, reporting engines, network communications, as well as various process control systems (thermal, optical, mechanical, robotic, and vision). The right candidate is a positive, forward-looking person who collaborates often and effectively with project team members of differing disciplines, presents a positive and professional demeanor, and is willing to learn about the Advanced Diagnostics (ADx) medical device instrumentation and applications.
Staff Software Engineer XometryStaff Software EngineerNorth Bethesda, MD$170,000–$195,000 / yearYou'll create formal networks between our partner's and Xometry's engineering groups to develop new ways of conducting operations—specifically regarding "ring-fenced" data governance where part files remain securely within the partner's network infrastructure. Deep Technical Expertise: Expert-level mastery of Python, AWS infrastructure, and modern frontend frameworks (React/NextJS) used for complex enterprise applications.
Staff Software Engineer (C#/Java/AI) - Underwriting Automation - Hybrid GEICO GENERAL INSURANCE COMPANYStaff Software Engineer (C#/Java/AI) - Underwriting Automation - HybridBethesda, MDGEICOs Underwriting Automation team is seeking a Staff Software Engineer to help lead the strategy and execution of a technical roadmap modernizing our Service Engineering organization with API first design. You will work with Engineers of all levels to innovate and build new systems, improve and enhance existing systems and identify new opportunities to apply your knowledge to solve critical problems.
Staff Software Development Engineer CVS Health CorpStaff Software Development EngineerMD$106,605–$284,280 / yearFurthermore, the Staff Engineer role includes closely working with a team of engineers to drive delivery excellence, partner with business and other IT leaders to build digital assets, provide expert level support to resolve complex issues and provide RCA, identify gaps in systems in current digital eco system and provide solutions to enhance overall performance. CVS Health Digital is looking for hands-on, passionate people who want to join a high energy and growing team to make a difference in customers' lives and who want to be on the forefront of digital innovation that aims to reinvent what a pharmacy and a health care company can be in the digital world.
Staff Software Engineer (IC4a) StratAcuity Staffing Partners IncStaff Software Engineer (IC4a)Baltimore, MD$70–$80 / hourIn terms of professional development, Everforth Apex hosts an on-demand training program, provides access to certification prep and a library of technical and leadership courses/books/seminars once you have 6+ months of tenure, and certification discounts and other perks to associations that include CompTIA and IIBA. Everforth Apex also offers a HSA (Health Savings Account on the HDHP plan), a SupportLinc Employee Assistance Program (EAP) with up to 8 free counseling sessions, a corporate discount savings program and other discounts.
Staff Engineer - Software, Frontend Platform Engineering OneMain FinancialStaff Engineer - Software, Frontend Platform EngineeringBaltimore, MarylandThis role requires strong technical leadership, the ability to influence engineering direction across teams, and experience building and supporting large-scale customer-facing web and mobile applications. This role is ideal for a hands-on technical leader who is passionate about modern web technologies, frontend architecture, developer experience, observability, and platform scalability.
Software Engineer TS/SCI Poly BCT LLCSoftware Engineer TS/SCI PolyAnnapolis Junction, MD$100,000–$200,000 / yearProvides specific input to the software components of system design to include hardware/software trade-offs, software reuse, use of Commercial Off-the-shelf (COTS)/Government Off-the-shelf (GOTS) in place of new development, and requirements analysis and synthesis from system level to individual software components. · High School Diploma or GED, plus twenty-four (24) years of general systems engineering experience; · Bachelor’s degree in a qualified engineering or related field, plus (20) years of systems engineering experience; or.
Staff Software Engineer (Backend) - Billing Platform *HYBRID* GEICO GENERAL INSURANCE COMPANYStaff Software Engineer (Backend) - Billing Platform *HYBRID*Bethesda, MD$110,000–$230,000 / yearThis platform includes a comprehensive array of components such as a core billing engine, invoicing system, commissions management, collections, payment processing, CRM integration, subscription management, credit control and dunning management, along with reporting and analytics. The Billing Platform team at GEICO oversees the tools, infrastructure, data, reporting, analytics, and services essential for delivering seamless billing experiences to internal users, end customers, and partners.
Staff Cyber Software Engineer Northrop Grumman CorpStaff Cyber Software EngineerMD$185,900–$292,100 / yearThe above salary range represents a general guideline; however, Northrop Grumman considers a number of factors when determining base salary offers such as the scope and responsibilities of the position and the candidate''s experience, education, skills and current market conditions. Basic Qualifications: Bachelor's degree and experience must be in computer science, information systems, or network engineering with 12 years of experience, Masters degree with 10 years of experience, PhD with 8 years of experience.
Staff Embedded Software Engineer Northrop Grumman CorpStaff Embedded Software EngineerBaltimore, MD$169,000–$253,600 / yearNorthrop Grumman Mission Systems (NGMS) is seeking a Staff Embedded Software Engineer Integrated Product Team (IPT) Lead to lead a cross‑discipline engineering team, manage cost accounts across one or more programs, and serve as a primary interface with Engineering and Program Management. Develop and execute to project budgets and schedules, including Earned Value Management System (EVMS), critical path management, Estimates-at-Completion (EACs), and workload forecasts.
Staff Engineer, Software Engineering GEICO GENERAL INSURANCE COMPANYStaff 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.
NewStaff Test Software Engineer Northrop Grumman CorpStaff Test Software EngineerMD$169,000–$253,600 / yearBasic Qualifications: Bachelor's Degree in Computer Science, Computer Engineering, Software Engineering, or another STEM discipline with a minimum of 12+ years software development experience working on embedded real-time systems 10+ years with a Master's Degree or 8 years with a Ph. Northrop Grumman's Space Systems is looking for you to join our team as a Staff Test Software Engineer in Linthicum, MD, with the desire to learn new technologies and develop software for cutting-edge Space Payloads.
Cyber RF Software Engineer Staff Lockheed Martin CorpCyber RF Software Engineer StaffHanover, MD$128,200–$225,975 / yearPay Rate: The annual base salary range for this position in California, Massachusetts, and New York (excluding most major metropolitan areas), Colorado, Hawaii, Illinois, Maryland, Minnesota, New Jersey, Vermont, Washington or Washington DC is $128,200 - $225,975. Each day as a team lead, I oversee one or more software development teams and ensure that our work is excellent and matches or exceeds the outline of the software development process being used on any particular project.
Cyber RF Software Engineer Senior Staff Lockheed Martin CorpCyber RF Software Engineer Senior StaffHanover, MD$150,800–$265,880 / yearPay Rate: The annual base salary range for this position in California, Massachusetts, and New York (excluding most major metropolitan areas), Colorado, Hawaii, Illinois, Maryland, Minnesota, New Jersey, Vermont, Washington or Washington DC is $150,800 - $265,880. Each day as a team lead, I oversee one or more software development teams and ensure that our work is excellent and matches or exceeds the outline of the software development process being used on any particular project.
Cyber Software Engineer Senior Staff - DSP Lockheed Martin CorpCyber Software Engineer Senior Staff - DSPMD$134,000–$236,325 / yearPay Rate: The annual base salary range for this position in California, Massachusetts, and New York (excluding most major metropolitan areas), Colorado, Hawaii, Illinois, Maryland, Minnesota, New Jersey, Vermont, Washington or Washington DC is $134,000 - $236,325. The following are the primary functions of the position: SIGINT Development Support: • Provide SIGINT Development (SIGDEV) analytic support to optimize and develop assigned customer accesses, ensuring effective signal processing and intelligence gathering.
Cyber Software Engineer Staff - SIGNAL SWE Lockheed Martin CorpCyber Software Engineer Staff - SIGNAL SWEFort Meade, MD$128,200–$225,975 / yearDesired Skills: • Digital Signal Processing background with strong understanding of satellite communications system design and theory with implementation of concepts into software • Experience with DSP hardware and software development tools such as DSP processors, development kits, and IDEs • Experience with FPGA, microcontroller, or ASIC design • Familiarity with implementation and integration of SDR technologies into virtual (VMWare) and containerized (Docker/K8) environments • Experience with Development Suites (MATLAB, X-Midas, etc.). Pay Rate: The annual base salary range for this position in California, Massachusetts, and New York (excluding most major metropolitan areas), Colorado, Hawaii, Illinois, Maryland, Minnesota, New Jersey, Vermont, Washington or Washington DC is $128,200 - $225,975.
Staff Software Engineer, Reliability Engineering & SDLC Governance ViaSat IncStaff Software Engineer, Reliability Engineering & SDLC GovernanceGermantown, MD$205,000–$307,000 / yearQuality Metrics & Governance: Define, track, and report on core organizational quality and reliability metrics (e.g., MTTR, MTTD, defect escape rates, change failure rates) across the full lifecycle, ensuring these metrics directly correlate to improved customer satisfaction and system trust. As the Staff Software Engineer, Reliability Engineering & SDLC Governance, you will establish accountability for software quality across the Access Edge organization and drive continuous quality improvement across our entire software delivery lifecycle.
Staff Engineer - Terminal Software ViaSat IncStaff Engineer - Terminal SoftwareGermantown, MD$200,500–$300,500 / yearThe ViaSat Access Edge Terminal Software team is responsible for the design, development, delivery, and support of software running on embedded satellite terminal products (Ka-band, L-band, 5G) that are used in aviation, maritime, residential, and other markets. For specific work locations within San Jose, the San Francisco Bay area, and New York City metropolitan area, the base pay range for this role is $200,500.00- $300,500.00/ annually.
Associate Director Staff Engineer Software OneMain Financial Group, LLCAssociate Director Staff Engineer SoftwareBaltimore, MDDefine and evolve scalable, resilient architectures for communication platforms supporting customer engagement (voice, messaging, digital channels). Design event-driven and streaming architectures to support real-time communication and marketing workflows.
Staff Software Architect CVS Health CorpStaff Software ArchitectMD$106,605–$260,590 / yearYou will define the long-term software and systems architecture vision for the Clinical Insights Engine platform, drive cross-functional alignment on engineering strategy, and lead the design of mission-critical systems that power clinical AI models, ML inference pipelines, enterprise reporting, and large-scale healthcare analytics. Lead the design of highly scalable, fault-tolerant, and cost-optimized platforms supporting clinical AI/ML workloads - including LLM inference pipelines, document processing at scale, and real-time clinical data services.
Senior Staff Engineer GEICO GENERAL INSURANCE COMPANYSenior Staff EngineerBethesda, MD$115,000–$260,000 / yearContribute directly to and leading by example in day-to-day engineering activities (writing feature code and automated tests, raising PRs and reviewing peers PRs, developing and managing CI/CD pipelines, production support, among others). Provide thought leadership in GIA Platform, staying ahead of industry trends and emerging technologies to create effective strategy that minimizes business disruption while balancing the modernization of legacy platform components.
Aerospace Software Engineer/Developer Johns Hopkins University Applied Physics Laboratory LLCAerospace Software Engineer/DeveloperLaurel, MDWe are seeking a software engineer/developer to help us develop and translate algorithms, concepts and approaches for the mission planning, fire control and guidance of missile systems to flight-ready software. in Aerospace, Mechanical, or Electrical Engineering; Computer Science; applied mathematics; or related technical field with relevant experience in modeling and simulation of flight systems.
Software Engineer TS/SCI Poly Leidos Holdings IncSoftware Engineer TS/SCI PolyMDPreferred Qualifications * Experience with the following: Java Enterprise Edition (JEE) (i.e., EJB, JPA, JTA, JAX-B, JAX-RS, JAX-WS), SQL, application servers (Tomcat, WebLogic, JBoss), Spring framework, scripting. She/he will provide software process management and control throughout the coding portion of the software development process and will promote code reuse and cross-program collaboration while reducing maintenance costs by creating common functions and shared actions for developers and testers.
Software Engineer TS/SCI Polygraph Leidos Holdings IncSoftware Engineer TS/SCI PolygraphMDShe/he will provide software process management and control throughout the coding portion of the software development process and will promote code reuse and cross-program collaboration while reducing maintenance costs by creating common functions and shared actions for developers and testers. Preferred Qualifications Experience with the following: Java Enterprise Edition (JEE) (i.e., EJB, JPA, JTA, JAX-B, JAX-RS, JAX-WS), SQL, application servers (Tomcat, WebLogic, JBoss), Spring framework, scripting.
Senior Staff Engineer - Financial Substantiation Platform *Hybrid* GEICO GENERAL INSURANCE COMPANYSenior Staff Engineer - Financial Substantiation Platform *Hybrid*MD$120,000–$260,000 / yearGEICO seeks a Senior Staff Software Engineer to design, build, and scale the Substantiation Platform-systems that validate and reconcile financial data across enterprise sources, supporting controls, compliance, and auditability at high volume. You will work with Finance, Compliance, Product, the Financial Data Warehouse, and ERP-aligned teams to deliver reliable reconciliation services, clear data lineage, and integrate source systems with financial reporting and GL-related ERP workflows.
Senior Software Engineer Covista IncSenior Software EngineerColumbia, MD$84,835.61–$153,548.46 / yearCovista is the parent company of American University of the Caribbean School of Medicine, Chamberlain University, Ross University School of Medicine, Ross University School of Veterinary Medicine and Walden University. Our colleagues come from a wide range of backgrounds, business, academia, healthcare, government and nonprofits, and are part of a culture where doing exceptional work and making a meaningful difference for students and society aren"t separate goals-they"re one and the same.
Senior Software Engineer (SWE-3) Leidos Holdings IncSenior Software Engineer (SWE-3)MD$107,900–$195,050 / yearThe software engineer will work closely with data scientists and end users to develop innovative analytic tools to further discovery and tradecraft around critical global challenges, then deliver innovative solutions focused on operationalizing data science. Job Responsibilities/Qualifications: Mission Focus: Work directly with data scientists as well as mission analysts to solve the most demanding strategic problems; perform end-to-end software engineering to prototype, develop, integrate, test, and deploy tools and tradecraft into the customer's corporate architecture.
Lead Engineer Software - Full Stack Technical Lead (Remote) Blue Cross and Blue Shield AssociationLead Engineer Software - Full Stack Technical Lead (Remote)Baltimore, MDRemote$115,128–$228,657 / yearPURPOSE: Performs complex analysis, design, development, automated unit and integration testing, and debugging of computer software ranging from operating system architecture integration and software design to selection of computer systems, language, and/or equipment. QUALIFICATIONS: Education Level: Bachelor''s Degree in Information Technology or Computer Science OR in lieu of a Bachelor''s degree, an additional 4 years of relevant work experience is required in addition to the required work experience.
Senior Software Engineer (SWE-4) Leidos Holdings IncSenior Software Engineer (SWE-4)MD$107,900–$195,050 / yearJob Responsibilities/Qualifications: Mission Focus: Work directly with Marine Corps Forces Cyberspace Command (MFCC), the Cyber Mission Force (CMF), as well as software engineers to solve the most demanding strategic problems; perform end-to-end software engineering to develop, integrate, test, and deploy tools and tradecraft into the customer's corporate architecture. The software engineer will work closely with engineers and end users to support in research and development of software products designed to exploit vulnerabilities of adversary technology, develop and optimize algorithms, author scripts and develop utility software.
Senior Manager-Staff Software Engineering GEICO GENERAL INSURANCE COMPANYSenior Manager-Staff Software EngineeringBethesda, MD$140,000–$300,000 / yearA Senior Manager is an engineering leader who works with the engineering staff to innovate and build new engineering solutions, improve and enhance existing solutions as well as leverage engineering solutions to solve critical operational problems. 5+ years managing and developing technical teams - hiring, coaching, performance conversations, capacity planning, and day-to-day prioritization - in addition to supervising personnel in technical operations or engineering settings.
Software Engineer Johns Hopkins University Applied Physics Laboratory LLCSoftware EngineerLaurel, MDAre a skilled and efficient programmer in systems or scientific programming languages (e.g., Python, C++, Rust, Julia, etc.) with a desire to expand into new areas of coding languages and processes. 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.
Graphics Software Engineer Johns Hopkins University Applied Physics Laboratory LLCGraphics Software EngineerLaurel, MDWe are seeking a creative, driven, and motivated software engineer to help invent, build, and sustain engineering rendering software for producing complex scenes, objects, and simulation-derived data. 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.
Staff Engineer - Full Time - Remote Experity IncStaff Engineer - Full Time - RemoteMDRemote$121,400–$161,500 / yearExperity is a mission-driven team transforming on-demand healthcare across the U.S., empowering urgent care clinics with industry-leading software that makes care faster, easier, and more patient-focused. Joining us means doing meaningful work that directly improves the healthcare experience for millions-from helping families access care quickly to ensuring clinics run smoothly behind the scenes.
Multidisciplinary Systems Engineer (Electronics/Software) WGS SYSTEMS LLCMultidisciplinary Systems Engineer (Electronics/Software)Frederick, MDYou'll contribute approximately 50% of your time to electronics engineering tasks (circuit design, PCB layout, hardware debugging, sensor integration) and 50% to software development (embedded systems, firmware development, data acquisition, and analytics infrastructure support). This hybrid role offers unique exposure to both hardware and software disciplines, ideal for someone who enjoys variety and wants to build broad systems engineering capabilities in the defense/aerospace sector.
NewCloud Software Engineer, TS\/SCI with Polygraph Rivermatrix TechnologiesCloud Software Engineer, TS\/SCI with PolygraphAnnapolis Junction, Annapolis JunctionAs a Senior Cloud Software Engineer, you will operate with a high degree of independence across the full software development lifecycle, including requirements analysis, design, development, integration, testing, deployment, and maintenance. This role focuses on supporting all aspects of agile software design and development for products deployed across large-scale compute clusters.
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.
Senior Test Automation Software Engineer Johns Hopkins University Applied Physics Laboratory LLCSenior Test Automation Software EngineerLaurel, MDAPL 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.
C++ Software Engineer Johns Hopkins University Applied Physics Laboratory LLCC++ Software EngineerLaurel, MDWe believe in building strong, productive teams, continually growing our capabilities, cultivating collaborative relationships and encouraging a work environment that embraces integrity, trust, confidence, teamwork, accountability, and a little bit of fun. 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.
2026 PhD Graduate - Formal Verification and Software Assurance Engineer Johns Hopkins University Applied Physics Laboratory LLC2026 PhD Graduate - Formal 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 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.