Software Engineer II Booking.comSoftware Engineer IIWashington D.C., District of Columbia$191,600–$212,900 / yearFull timeAcross all areas, we partner closely with engineering, legal, privacy, compliance, and data stakeholders to solve complex platform problems with a strong focus on reliability, scalability, and developer experience. We develop platforms and services that help discover and classify data and ML/AI assets, enforce governance and access policies, and provide reliable controls, visibility, and automation across the company’s data ecosystem.
NewSenior Software Engineer Westinghouse Air Brake Technologies CorpSenior Software Engineergambrills, MDWith roots that date back to George Westinghouse, Thomas Edison, and Louis Faiveley, Wabtec has always built technologies and implemented solutions for a variety of sectors that are critical to meeting the needs of customers and governments alike. The salary rate for this role is currently $0-0 The actual salary offered to a candidate may be influenced by a variety of factors, such as: training, transferable skills, work experience, education, business needs, market demands and work location.
Software Integration Engineer 3 - (Linux, Kubernetes, Bash) AkinaSoftware Integration Engineer 3 - (Linux, Kubernetes, Bash)MarylandBachelor's Degree in Computer Science or related field and have at least eight (8) years of demonstrable experience with integrating, installing, configuring, upgrading, compiling, and supporting COTS/GOTS software in a heterogeneous operating system environment. The individual shall have five (5) years full time Computer Science directly related work that can be substituted for a degree and have at least eight (8) years of demonstrable experience.
Software Integration Engineer 2 - (Kubernetes, Linux, Bash) AkinaSoftware Integration Engineer 2 - (Kubernetes, Linux, Bash)MarylandThe individual shall have five (5) years full-time Computer Science directly related work that can be substituted for a degree and have six (6) years of demonstrable experience with integrating, installing, configuring, upgrading, compiling, and supporting COTS/GOTS software in a heterogeneous operating system environment. Bachelor's Degree in Computer Science or related field and have at least six (6) years of demonstrable experience with integrating, installing, configuring, upgrading, compiling, and supporting COTS/GOTS software in a heterogeneous operating system environment.
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.
Full Stack Java Software Engineer iBoss CybersecurityFull Stack Java Software EngineerWashingtonOur development scope extends from device specific driver, service, and communication protocols to cloud scalable connectivity and big data processing through third-party analytics tool integration and customer enterprise UI creation for security policy management. iboss is a leading AI-powered Zero Trust SASE (Secure Access Service Edge) platform trusted by more than 4,000 enterprises worldwide, including a significant number of Fortune 50 companies and U.S. government agencies.
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.
Principal Software/Data Engineer Themis InsightPrincipal Software/Data EngineerLaurel, MDNineteen (19) years of demonstrated experience in Software Engineering with a Bachelor's degree in Engineering, Computer Science, Mathematics, or appropriate field from an accredited college or university OR Twenty (20) years of experience in Software Engineering with a High School Diploma or GED OR Eighteen (17) years of experience in Software Engineering with a Master's degree in Engineering, Computer Science, Mathematics, or appropriate field from an accredited college or university OR Fourteen (14) years of experience in Software Engineering with a PhD in Engineering, Computer Science, Mathematics, or appropriate field from an accredited college or university. As a Principal Software/Data Engineer on our team, you will develop, maintain, and enhance complex and diverse software systems based upon documented requirements; review and test software components for adherence to the design requirements; and document test results.
Software Engineer (Cloud) - FULLY CLEARED with POLYGRAPH REQUIRED Constellation TechnologiesSoftware Engineer (Cloud) - FULLY CLEARED with POLYGRAPH REQUIREDAnnapolis Junction, Maryland$150,000–$250,000 / yearFront-End Web Development Languages: JavaScript (and eventually some Typescript), React/JSX Back-End Development Languages: node.js/Javascript , Rust (for high-performance or secure portions), Python, shell script Micro-services architecture: Kubernetes, Helm Charts, Micro-Services deployment patterns, Service-mesh, Multi-site applications, Load Balancing topologies, Cloud Migration Tech-Stack Familiarity Architecture: NiFi, Testing frameworks (JEST), Grafana, InfluxDb Elasticsearch, Redis, mysql, Apache Superset, RabbitMQ/Kafka/Message Fabrics, Ansible/Salt,Terraform (for lane development), Web-Sockets, JBLOCKS, CASPORT, Neo4j, Agency Security Labels(CAMKEY, LAC, COI, etc.) Due to federal contract requirements, United States citizenship and an active TS/SCI security clearance and polygraph are required for the position. The benefits package: • Affordable healthcare options with 80% employer paid premium PLUS a company-funded HSA • Comprehensive Dental insurance • Vision with 80% employer paid premium • Employer paid Life insurance 100% • Employer paid Short-term and Long-term disability 100% • Annual training, continued education, and professional memberships reimbursement • Unlimited access to Red Hat Enterprise Linux and AWS training and accreditation • Annual reimbursement for technology i.e. phones, computers, printers, etc.
Software Engineer, Intelligent Systems Virginia TechSoftware Engineer, Intelligent SystemsArlington, VirginiaWith a presence in both Blacksburg and Washington, D.C. metro areas, VTNSI serves dual missions of (1) performing cutting-edge research and development for externally sponsored Department of Defense and Intelligence Community programs and (2) cultivating the next generation of national security workforce and thought leaders by engaging students in curricular, extracurricular, and research and development opportunities. As one of the fastest growing thematic research institutes at Virginia Tech, sponsors and collaborators benefit from VTNSI through both highly experienced student talent pipelines and senior technical leadership that addresses some of our nation’s greatest national security challenges and threats.
Sr. Data Science Software Engineer Staffed4USr. Data Science Software EngineerLaurel, MarylandResponsibilities include developing new methods for automating compliance functions, improving existing processes, and investigating, integrating, and testing compliance modernization Machine Learning/AI algorithms and proof-of-concepts in a research and development environment. The company offers an outstanding benefits package, values work-life balance, and provides opportunities to work on cutting-edge technologies supporting critical national security missions.
Senior Test Hardware Engineer - TeraWave Blue OriginSenior Test Hardware Engineer - TeraWaveWashingtonand/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.
NewSenior Software Build & Release Engineer (Full Stack/Embedded) Blue OriginSenior Software Build & Release Engineer (Full Stack/Embedded)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. Unified Build Ecosystem: Design and maintain a single, integrated build system ( Bazel -centric) that orchestrates the building, testing, and packaging of a variety of codebases, including C/C++ firmware, Go/Java/Python microservices, and containerized cloud workloads.
Quality Engineer Alarmcom Holdings IncQuality EngineerTysons, VAThe ideal candidate has 0-1 years of experience in quality engineering, software testing, internships, or academic projects; is eager to grow automation skills; and is curious about emerging tools and techniques-including AI‑assisted testing solutions-to improve test coverage and efficiency. We collect and use those categories of Personal Information about you for human resources and other business management purposes, including identifying and evaluating you as a candidate for potential or future employment or future positions, recordkeeping in relation to recruiting and hiring, conducting criminal background checks as permitted by law, conducting analytics, and ensuring compliance with applicable legal requirements and Company policies.
Senior Principal Systems Engineer (ONSITE) RTXSenior Principal Systems Engineer (ONSITE)MarylandSolipsys is a wholly owned subsidiary of Collins Aerospace/RTX and is an industry leader in the development of command and control software systems and operates in a dynamic, complex, fast-paced business environment with both commercial and Government customers, including a mix of domestic and international pursuits and programs. Typically requires a degree in Science, Technology, Engineering or Mathematics (STEM) and minimum 10 years prior relevant experience or an Advanced Degree in a related field and minimum 7 years of experience.
Electrical/Computer Engineer Johns Hopkins University Applied Physics Laboratory LLCElectrical/Computer EngineerLaurel, MDSupport laboratory testing and systems engineering activities by configuring data acquisition systems, automating test procedures, and analyzing measurement data from electrical and imaging systems. 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.
Hardware in the Loop Engineer Johns Hopkins University Applied Physics Laboratory LLCHardware in the Loop EngineerLaurel, MDWe are seeking an engineer or scientist that is capable of leading both the design and construction of a new hardware in the loop (HWIL or HIL) system as well as adding capability and expanding existing HWILs to test weapon systems critical to our nations defense. Youll be joining a team that designs, builds and runs hardware in the loop (HWIL) testing around a weapon systems flight computers and other components, including datalinks, GPS receivers, and IMUs.
Senior Engineer, QA Automation SoundExchange, Inc.Senior Engineer, QA AutomationWashington, DC$123,000–$145,000 / yearAs the sole organization designated by the U.S. government to administer the Section 114 sound recording license, SoundExchange seamlessly collects and distributes digital performance royalties from platforms like Pandora, SiriusXM, iHeartRadio, and thousands more, as well as all available international performance royalties through a strong global partnership network. In this role, you will lead automation strategy for our suite of web applications and one mobile application, build scalable and maintainable test frameworks, and partner closely with Engineering, Product, QA, and DevOps teams to improve quality throughout the software delivery lifecycle.
Hybrid Junior Software Engineer | Full Stack/ Clearable JobotHybrid Junior Software Engineer | Full Stack/ ClearableManassas, VA$90,000–$115,000 / yearInformation collected and processed as part of your Jobot candidate profile, and any job applications, resumes, or other information you choose to submit is subject to Jobot's Privacy Policy, as well as the Jobot California Worker Privacy Notice and Jobot Notice Regarding Automated Employment Decision Tools which are available at jobot.com/legal. Our engineering teams build secure, maintainable systems that contribute directly to mission readiness across submarine, carrier, and shore-based environments while operating within collaborative agile development frameworks.
Test Engineer (AN/BYG-1) JobotTest Engineer (AN/BYG-1)Manassas, VA$85,000–$95,000 / yearInformation collected and processed as part of your Jobot candidate profile, and any job applications, resumes, or other information you choose to submit is subject to Jobot's Privacy Policy, as well as the Jobot California Worker Privacy Notice and Jobot Notice Regarding Automated Employment Decision Tools which are available at jobot.com/legal. We are a leading provider of information technology, logistics management, business process re-engineering, financial management, and administrative support services for the Department of the Navy and Homeland Security.