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.
Software System Safety Engineer Booz Allen HamiltonSoftware System Safety EngineerArlington, 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.
CNO - Software Reverse Engineer - C/C++, Embedded, Python Erias VenturesCNO - Software Reverse Engineer - C/C++, Embedded, PythonAnnapolis Junction, MarylandFive (5) years' experience as an embedded developer, in programs and contracts of similar scope, type, and complexity is required; or four (4) years of additional embedded developer experience may be substituted for a bachelor's degree; or a Master’s degree in a relevant discipline may be substituted for two (2) years of experience, reducing the requirement to three (3) years of relevant experience. Description We are seeking a Software Reverse Engineer to perform reverse engineering and debugging on existing software, to identify defects in software and provide ways to correct defects, to research open-source vulnerabilities related to software and to develop methods and techniques to identify if running software is vulnerable.
Software Research Engineer PeratonSoftware Research EngineerSilver Spring, Maryland$135,000–$216,000 / yearFull timeResponsible for designing, testing, coding, and developing solutions to meet customer needs; ensuring software continues to function normally through software maintenance, upgrade, and testing; documenting the application, service, and environment as a reference for future operations and maintenance, including version and platform upgrades. Peraton Labs' cybersecurity research protects mission-critical systems and national cyber infrastructure through a broad range of initiatives in computer network defense, secure-by-design techniques and cyber operations and experimentation platforms.
NewMid - Senior Level Software Development Engineer in Test Mitchell MartinMid - Senior Level Software Development Engineer in TestMerrifield, VA$78 / hourBy applying for this job, you agree to receive AI-generated calls, text messages, and/or emails from Mitchell Martin Inc and its affiliates and contracted partners at various frequency through traditional and automated methods. As a Software Development Engineer in Test, you'll be responsible for creating and executing test cases for web applications, engaging in automation testing, and ensuring high-quality software releases.
Forward Deployed Engineer - Software Modernization TS/SCI Clearance Required Vannevar Labs IncForward Deployed Engineer - Software Modernization TS/SCI Clearance RequiredWashington, DCExperience building, evaluating, or operating coding agents, software engineering agents, code intelligence systems, or agentic developer tools using LangGraph, OpenAI SDK, Model Context Protocol (MCP), Agent2Agent (A2A), and more. You will work directly with technical stakeholders across government and other defense primes supporting national security missions, owning the architecture, development, deployment, and fielding of agentic solutions tailored to real-world systems engineering challenges.
Power BI Developer SiloSmashersPower BI DeveloperArlington, VAFull timeMust be able to work onsiteBachelor's degree in Computer Science, Information Systems or related discipline.7-10 years of experience as BI developer including data warehouse and business intelligence tools.5+ years of experience in designing, building and implementing BI solutions including visual reports/dashboards, scheduling reports/direct query, etc. Requirements and Qualifications:Must be experienced with Business Intelligence tools including assessing business needs, defining requirements and developing the solutions via queries, dashboards, reports and advanced visualizations that align with the detention operations business process and aid in driving their day-to-day data management and business decisions.
Developer SiloSmashersDeveloperArlington, VAThe Developer will support DHS CISA by designing, building, and maintaining secure applications that enable mission-critical operations and modernization efforts. Clearance: Must be a U.S. citizen and able to obtain and maintain DHS suitability clearance, as required by federal contract.
NewSenior Application Developer Alpha Omega IntegrationSenior Application DeveloperWashington, District of ColumbiaThere are multiple factors that are considered in determining final pay for a position, including, but not limited to, relevant work experience, skills, certifications and competencies that align to the specified role, education and certifications as well as contract provisions regarding labor categories that are specific to the position and could fall outside of this range. Provide technical knowledge and analysis of highly specialized applications and operational environment, high-level functional systems analysis, design, integration, documentation and implementation advice on moderately complex problems that require an appropriate level of knowledge of the subject matter for effective implementation.
Conversational AI Developer InterSources Inc.Conversational AI DeveloperAdelphi, MDRemoteInterSources Inc , is a Small, Woman, and Minority-Owned Business Enterprise, ISO/IEC 27001, SOC 2 Type 2 certified company with massive 18+ years of diversified experience in providing IT Consulting Services, Artificial Intelligence, Data Analysis, Application Development, Cloud Services, Cybersecurity, Digital Marketing, ERP Management, Custom Software Development, Web Development, UI/ UX Design, System Integration, QA Support etc. Responsibilities: Drive the full lifecycle development from design to deployment of scalable chatbots and virtual assistants utilizing Microsoft Bot Framework, Kore.ai, or similar CAI technologies.
NewSoftware Developer Johns Hopkins University Applied Physics Laboratory LLCSoftware DeveloperLaurel, MDYou'll be joining our hardworking team of systems engineers, algorithm developers, FPGA and embedded software engineers, and advanced EW technology enthusiasts who enjoy working together to craft creative solutions to complex challenges in addition to bringing real solutions from concept to prototyping. The Johns Hopkins University Applied Physics Laboratory (APL) brings world-class expertise to our nation's most critical defense, security, space and science challenges.
Senior Software Developer ECS Federal LLCSenior Software DeveloperWashington, DC$110,000–$120,000 / yearKey responsibilities are to deliver DevSecOps pipeline solutions and proof of concepts for Continuous Integration/Configuration, Continuous Development, Continuous Delivery/Deployment, Continuous Testing, Continuous Security and Continuous Monitoring. The DevSecOps Engineer is also responsible for driving solutions that meet the customers'' technical, financial and business requirements, and supporting a legacy system in the process of being modernized while being hosted in the cloud utilizing DevSecOps processes.
ServiceNow Developer :: Washington, DC (Remote) ARK Solutions, Inc.ServiceNow Developer :: Washington, DC (Remote)Washington, DCRemoteThe ideal candidate will have experience working with ServiceNow HR Service Delivery (HRSD), Employee Service Center (ESC), and related platform development activities. Seeking for a highly ServiceNow Developer to support the development, administration, and enhancement of ServiceNow solutions within an enterprise environment.
Cryptologic Language Training Developer Level 1 - Chinese CACICryptologic Language Training Developer Level 1 - ChineseAnnapolis Junction, MarylandA speaker with native capability and a minimum ILR proficiency level 4 in reading, listening, and speaking in Chinese and a minimum ILR proficiency level 2 in reading, writing, speaking and listening in English OR a speaker with native capability in English and a minimum ILR proficiency level 3 in reading and listening in Chinese. From eLearning tools and interactive lectures to lively discussions, team exercises, readings, case studies, role plays, and practical demonstrations, you will develop material that would mirror language analyst tasks and update existing materials to meet our client's language training requirements.
Senior Software Developer TeamWorx Security LLCSenior Software DeveloperColumbia, MDRemoteDesign, develop, test, deploy, and maintain applications, automation, and integrations using technologies such as Python, JavaScript, Google Apps Script, APIs, cloud services, and modern web frameworks. We are a team of data scientists, software engineers, researchers, product developers, and operation-minded folks who specialize in developing applications and products that our customers love.
Salesforce Developer - Salesforce Platform Specialist - PT InterSources Inc.Salesforce Developer - Salesforce Platform Specialist - PTAdelphi, MDRemoteWe align strategy with execution and provide secure service solutions by developing and using the latest technologies that thrive our resources to deliver industry-leading capabilities to our clients and customers, making it convenient for our clients to do business with InterSources Inc. Information Evaluation : Ability to critically evaluate information gathered from multiple sources, reconcile conflicts, translate high-level information into detailed solutions, abstract up from low-level information to broader understanding, and distinguish user requests from the underlying true needs.
Junior Full Stack Developer Revolutional, LLCJunior Full Stack DeveloperMcLean, VARemote$60,000–$67,000 / yearWe apply modern capabilities, including AI/ML, cloud, cybersecurity, and IT modernization to solve complex challenges, enable faster and more secure operations, and drive measurable mission outcomes. To perform the above job successfully, an individual must possess the knowledge, skills, and abilities listed; meet the education and work experience required; and must be able to perform each essential duty and responsibility satisfactorily.
Senior Full Stack Java REACT Developer ERP InternationalSenior Full Stack Java REACT DeveloperLaurel, MD$130,000–$160,000 / yearWork collaboratively as a full stack developer on Agile Scrum teams and complete user stories and develop usable code independently with minimal oversight and guidance. Contribute to an atmosphere of cross-functional teamwork within the organization; contributes to acceptance/functional testing duties and part of incremental feature development.
AI/ML Software Developer InterImageAI/ML Software DeveloperArlington, VA$85,000–$130,000This role sits at the intersection of software engineering, data engineering, and AI innovation, supporting the development of enterprise solutions that leverage large datasets and advanced language models. We are seeking a highly skilled Full Stack Developer with strong software design expertise to design, build, and scale modern applications that integrate data-intensive systems and Generative AI capabilities.
Senior SharePoint Developer BizFirstSenior SharePoint DeveloperArlington, VirginiaThis role requires a strong understanding of SharePoint development, administration, and configuration, including integration with Microsoft 365 services and third-party tools such as Sharegate and Nintex Workflows. The ideal candidate will have experience developing and managing SharePoint environments, automating tasks using PowerShell, and migrating sites from on-premises to SharePoint Online.