JobotNewEngineering Manager JobotEngineering ManagerTysons, VA$180,000–$230,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. By applying for this job, you agree to receive calls, AI-generated calls, text messages, or emails from Jobot, and/or its agents and contracted partners.
TeleWorld SolutionsWireless Engineering (RF / 4G/5G / Wi-Fi) Intern TeleWorld SolutionsWireless Engineering (RF / 4G/5G / Wi-Fi) InternChantilly, VAInternWith the experience of hundreds of thousands of successful implementations, including macro, DAS, Small Cells, and Wi-Fi, the world’s leading network operators and OEMs trust our knowledge and experience to plan, perform, troubleshoot, and implement an array of technologies and solutions. This internship is designed for students or recent graduates who are passionate about supporting wireless engineering teams in design, testing, and optimization of RF and wireless networks (LTE, 5G, Wi-Fi).
Pinnacle Technical ResourcesFull Stack Engineering Director Pinnacle Technical ResourcesFull Stack Engineering DirectorMcLean,, Virginia$100–$105 / hourContractorThis role uniquely combines hands-on technical leadership with strategic thinking, requiring someone who can design & deliver solutions for today while building capabilities for tomorrow’s AIdriven landscape. The specific compensation for this position will be determined by several factors, including the scope, complexity, and location of the role, as well as the cost of labor in the market; the skills, education, training, credentials, and experience of the candidate; and other conditions of employment.
Amazon Data Services, Inc.NewPermits Manager for Region, DC Design Engineering Amazon Data Services, Inc.Permits Manager for Region, DC Design EngineeringHerndon, VAYou’ll join a diverse team of software, hardware, and network engineers, supply chain specialists, security experts, operations managers, and other vital roles. We pioneered cloud computing and never stopped innovating — that’s why customers from the most successful startups to Global 500 companies trust our robust suite of products and services to power their businesses.
OneMain FinancialNewSoftware Engineering Manager - (Rails, Node, Angular, JavaScript) OneMain FinancialSoftware Engineering Manager - (Rails, Node, Angular, JavaScript)Baltimore, MD$110,000–$132,000 / yearIn this role, you will lead the team responsible for our shared application platform and its operational excellence—ensuring deployments run smoothly, environments remain stable, and cross-functional engineering teams are empowered to deliver with consistency and confidence. 8–10+ years of experience in software engineering, 3 or more years of progressive responsibility as an engineer on development teams directly responsible for building and delivering software-intensive systems.
OneMain FinancialNewManager - Platform Engineering (ServiceNow) OneMain FinancialManager - Platform Engineering (ServiceNow)Baltimore, MD$105,000–$126,000 / yearAs an ideal candidate, you will be responsible for managing and scaling a talented team of ServiceNow analysts, engineers and specialists while positioning the platform as a strategic enabler for partner teams across the enterprise such as Prod Ops, App Dev, EA, IAM, HR, Legal, Compliance, Facilities, Procurement, Finance, Cyber. Rather than owning functional delivery in those domains, your responsibility will be to ensure the ServiceNow platform, and the team deliver the workflows, automations, integrations, insights, and AI-driven enhancements these teams need to operate effectively, securely, and at scale.
LeidosNewComputer Systems Engineer - Pega Resource LeidosComputer Systems Engineer - Pega ResourceWashington, DC$107,900–$195,050The ideal resource will be working as part of a technical support team that designs, builds, maintains and supports the enterprise PEGA infrastructure, reviews, tests and implements patches and upgrades, while developing and maintaining complete and accurate documentation for supported environments. Bachelor's Degree Bachelor's Degree in Computer Science, Mathematics, Engineering, or a related field and 8+ years of relevant experience or a Master’s Degree in Computer Science, Mathematics, Engineering, or a related field and 6 years of relevant experience.
Constellation EnergySenior Relay Engineering Analyst Constellation EnergySenior Relay Engineering AnalystLutherville, MD$128,700–$143,000Has completed assigned skills and knowledge development training (applicable Advanced Engineering, EPRI, and Constellation University training or industry provided training) to develop expert level of knowledge in designated areas. Recommends equipment, new concepts and techniques to improve performance, simplify construction, reduce costs, correct design or material flaws, or comply with changes in codes or regulations.
MicrosoftSoftware Engineering II - CTJ - Poly MicrosoftSoftware Engineering II - CTJ - PolyReston, VA$100,600–$199,000 / yearDevelops an understanding of the code, features, and operations of specific products at scale as required to contribute to incremental improvements in product availability, reliability, efficiency, observability, and/or performance; participates in on-boarding, code/design reviews, and regular meetings with the engineering teams that develop and/or manage those products.-Researches and maintains an awareness in industry trends, advances in distributed systems and cloud technologies, new tools, and/or processes for maintaining and improving product availability, reliability, efficiency, observability, and/or performance. -Engages with product engineering teams by participating code/design reviews, regular meetings, on-call rotations and incident responses throughout product development and operations cycles; leverages technical expertise on underlying systems/platforms and insights drawn from engagements with product engineering teams and telemetry analyses to propose potential improvements in code base and designs across components and features of one or more products.
Creative Global Consulting, LLCEngineering Technician (Production) Creative Global Consulting, LLCEngineering Technician (Production)Sterling, VA$40–$50 / hourFull timeJob Details:Role: Engineering Technician (Production)Location: Sterling, Virginia (On-site) Duration: 12+ Months ContractJob Summary: We are seeking a skilled Engineering Technician to support a production level project at our client’s facility in Sterling, VA. Description:Support production operations by working alongside engineers and welders to perform powder handling and assembly operations.
By Light Professional IT ServicesComputer Security Systems Specialist By Light Professional IT ServicesComputer Security Systems SpecialistMcLean, VAWe’re looking for a Computer Security Systems Specialist to design, document, and implement cybersecurity controls for Army enterprise networks. You’ll ensure systems are engineered and configured to meet DoD, Army, and DISA security requirements, and you’ll support fielded systems through assessment, approval, and operational deployment.
EsriNewSystem Engineer - Cyber Security Engineering Focus EsriSystem Engineer - Cyber Security Engineering FocusVienna, VA$120,640–$197,600 / yearYoull work closely with other system engineers, administrators, and program teams to ensure systems are built, assessed, and operated in compliance with DoD and NIST requirements. Compensation decisions and the base range for this role take into account many factors including but not limited to skill sets; experience and training; licensure and certifications; and other business and organizational needs.
Tenable Network SecurityNewSenior Research Engineer, Systems Engineering Team Tenable Network SecuritySenior Research Engineer, Systems Engineering TeamColumbia, MDRemote$122,500–$163,166.67 / yearDeep expertise in at least one relevant security domain (e.g., Application Security, Vulnerability Management, Cloud Security, Container Security, Threat Intelligence, Software Supply Chain, Network Security, Cryptography), combined with broad general knowledge across security and engineering. This team serves as the critical bridge between our Research organization and Product teams, driving technology transfer and productization of cutting-edge security innovations.
TurnitinDirector, Solutions Engineering TurnitinDirector, Solutions EngineeringWashington, DC$150,225–$250,375 / yearThis leadership role directs the pre-sales and technical solutions function for the organization’s Education Technology (EdTech) products and services, aiming to support revenue growth, customer success, and product innovation across K–12, Higher Education, and Strategic/Professional Education markets. Technical leadership, Strategic thinking, Solution architecture, Pre-sales strategy, Customer-centric mindset, Executive communication, Team development and coaching, Cross-functional collaboration, and Problem solving.
QumuloDirector, Systems Engineering QumuloDirector, Systems EngineeringWashington, DC$275,000–$350,000 / yearThe Director, Systems Engineering (Pre-Sales/Solution Architecture) will lead the technical pre-sales function, managing a team of high-performing Solution Architects who partner closely with Sales to drive new business, expansion, and customer success. You will collaborate across Product, Engineering, Sales, Marketing, and Customer Success to ensure Qumulo’s technology is clearly articulated, effectively demonstrated, and expertly positioned to solve real customer challenges.
JobotNewEntry Level Software Integrator | Clearance | Linux/Windows JobotEntry Level Software Integrator | Clearance | Linux/WindowsManassas, VA$80,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. Integrating and testing software deliveries, verifying bug fixes, and performing regression testing across multiple hardware and operating system configurations.
JobotNewJunior Software Systems Integration Engineer - RHEL - Secret Clearance Required JobotJunior Software Systems Integration Engineer - RHEL - Secret Clearance RequiredManassas, 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. Integrating and testing software deliveries, verifying bug fixes, and performing regression testing across multiple hardware and operating system configurations.
EsriNewTechnical Consultant - System Engineering focus EsriTechnical Consultant - System Engineering focusVienna, VA$84,240–$142,480 / yearApply working knowledge of technologies that complement ArcGIS Enterprise, including relational databases (RDBMS), NoSQL stores, object storage systems, SAN, NAS, and related enterprise data tier components. In this role, you will work directly with customers to design, deploy, migrate, and support enterprise‑scale GIS systems, with an emphasis on advanced deployment strategies such as high availability, disaster recovery, and Kubernetes‑based architectures.
OneMain FinancialNewAssoc Director Software Engineering - Rule Engines (hands-on) OneMain FinancialAssoc Director Software Engineering - Rule Engines (hands-on)Baltimore, MD$120,000–$144,000 / yearProactively applies industry leading technology trends, best practices, design principles and patterns, and methods including Agile software development, iterative delivery, and cloud computing. Own delivery of decisioning platforms end-to-end, ensuring on-time, high-quality implementation of core components of Decisioning infrastructure that power credit, pricing, and risk strategies.
JobotNewSoftware Engineer | Java/ Clearable JobotSoftware Engineer | Java/ 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.
Amazon Data Services, Inc. - A19NewEngineering Operations Technician (Night Shift) Amazon Data Services, Inc. - A19Engineering Operations Technician (Night Shift)Sterling, VAThey will maintain, operate, and troubleshoot, Data Center Operation’s Mission Critical Facilities, which includes stand-by diesel generators and related fuel systems, as well as three phase electrical systems such as: switch gear, UPSs, PDUs, wet cell batteries and associated systems, CRAC, centrifugal chillers, cooling towers/water chemical system, air handlers and associated systems, pumps, & motors. They will maintain, operate, and troubleshoot mission-critical data center facility equipment including stand-by diesel generators and related fuel systems, 3 phase electrical systems such as switchgear, UPS units, PDUs, and wet cell batteries and associated systems.
Amazon Data Services, Inc.NewEngineering Operations Technician, Night Shift Amazon Data Services, Inc.Engineering Operations Technician, Night ShiftSterling, VAThey will maintain, operate, and troubleshoot, Data Center Operation’s Mission Critical Facilities, which includes stand-by diesel generators and related fuel systems, as well as three phase electrical systems such as: switch gear, UPSs, PDUs, wet cell batteries and associated systems, CRAC, centrifugal chillers, cooling towers/water chemical system, air handlers and associated systems, pumps, & motors. They will maintain, operate, and troubleshoot mission-critical data center facility equipment including stand-by diesel generators and related fuel systems, 3 phase electrical systems such as switchgear, UPS units, PDUs, and wet cell batteries and associated systems.
LeidosNewFirewall Engineering Architect LeidosFirewall Engineering ArchitectGreenbelt, MD$92,300–$166,850This position requires deep technical expertise in firewall and network security engineering, strong leadership capabilities, and the ability to collaborate effectively with NASA senior leadership, program management, cybersecurity leads, and cross-functional engineering teams. The selected candidate will serve as the lead architect for NASA’s Firewall Engineering domain, guiding a highly skilled team responsible for advanced security design, migration planning, policy development, and the integration of next-generation firewall technologies across NASA’s enterprise.
JobotNewSoftware/Systems Integration Engineer (Secret Clearance Required) JobotSoftware/Systems Integration Engineer (Secret Clearance Required)Manassas, VA$95,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. We are seeking a proactive Junior Systems/Software Integration Engineer to assist with the deployment, configuration, and validation of complex software solutions across multiple computing environments.
TeleWorld SolutionsSoftware Developer (Full Stack/Backend) Intern TeleWorld SolutionsSoftware Developer (Full Stack/Backend) InternChantilly, VAInternWith the experience of hundreds of thousands of successful implementations, including macro, DAS, Small Cells, and Wi-Fi, the world’s leading network operators and OEMs trust our knowledge and experience to plan, perform, troubleshoot, and implement an array of technologies and solutions. This is a unique opportunity for a college student to gain hands-on experience working on an established, high-scale project, where you will contribute to real-world features that power global wireless networks.
JobotNewSystem Safety Engineer JobotSystem Safety EngineerHerndon, VA$150,000–$200,000 / yearWith deep expertise in cloud-first architectures, automation, DevSecOps, virtualization, reliability engineering, and large-scale systems integration, we help organizations modernize infrastructure, improve operational efficiency, and support mission-critical environments where performance, security, and resiliency are essential. We work closely with stakeholders at every level of the organization—from executive leadership to engineering and operations teams—to provide scalable, resilient, and secure technology solutions that solve complex business and operational challenges.
JobotNewSystem Integration & Test Engineer JobotSystem Integration & Test EngineerHerndon, VA$110,000–$165,000 / yearWith deep expertise in cloud-first architectures, automation, DevSecOps, virtualization, reliability engineering, and large-scale systems integration, we help organizations modernize infrastructure, improve operational efficiency, and support mission-critical environments where performance, security, and resiliency are essential. Our teams partner closely with customers to deliver innovative solutions across cloud strategy, cybersecurity, systems integration, data engineering, machine learning, AI, disaster recovery, and enterprise infrastructure initiatives.
JobotNewSr. Software Engineer JobotSr. Software EngineerGaithersburg, MD$140,000–$165,000 / yearWith deep expertise in cloud-first architectures, automation, DevSecOps, virtualization, reliability engineering, and large-scale systems integration, we help organizations modernize infrastructure, improve operational efficiency, and support mission-critical environments where performance, security, and resiliency are essential. Our teams partner closely with customers to deliver innovative solutions across cloud strategy, cybersecurity, systems integration, data engineering, machine learning, AI, disaster recovery, and enterprise infrastructure initiatives.
JobotNewSenior Software Engineer (C++ / Java) JobotSenior Software Engineer (C++ / Java)MONTGOMRY VLG, MD$165,000–$185,000 / yearWith deep expertise in cloud-first architectures, automation, DevSecOps, virtualization, reliability engineering, and large-scale systems integration, we help organizations modernize infrastructure, improve operational efficiency, and support mission-critical environments where performance, security, and resiliency are essential. This role is ideal for a seasoned engineer who enjoys solving complex technical challenges, contributing to system architecture, and partnering closely with Systems Engineering, Development, and Test teams to deliver robust, scalable solutions.
JobotNewSenior RMF Cybersecurity Engineer (Navy) JobotSenior RMF Cybersecurity Engineer (Navy)Manassas, VA$120,000–$150,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 team specializes in securing critical systems through authorization management, risk mitigation strategies, vulnerability assessment processes, and cybersecurity engineering practices designed to support evolving compliance and operational requirements.
LeidosNewVoice Engineering Architect LeidosVoice Engineering ArchitectGreenbelt, MD$92,300–$166,850Leidos is seeking an experienced Voice / VoIP Architect to provide senior-level technical leadership, architectural oversight, and strategic direction for enterprise voice and unified communications services supporting NASA’s mission and corporate environments. This role is central to designing, evolving, and modernizing large-scale telephony platforms, including hybrid and cloud-based voice architectures and the transition from legacy Cisco environments to Microsoft Teams Telephony.
JobotNewJunior Linux Systems Engineer (RHEL/Clearance) JobotJunior Linux Systems Engineer (RHEL/Clearance)Manassas, VA$80,000–$100,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. Integrating and testing software deliveries, verifying bug fixes, and performing regression testing across multiple hardware and operating system configurations.
JobotNewSenior QA Lead / Senior QA Analyst JobotSenior QA Lead / Senior QA AnalystGaithersburg, MDRemote$135,000–$150,000 / yearWith deep expertise in cloud-first architectures, automation, DevSecOps, virtualization, reliability engineering, and large-scale systems integration, we help organizations modernize infrastructure, improve operational efficiency, and support mission-critical environments where performance, security, and resiliency are essential. We work closely with stakeholders at every level of the organization—from executive leadership to engineering and operations teams—to provide scalable, resilient, and secure technology solutions that solve complex business and operational challenges.
System OneEngineering Technician (Production) System OneEngineering Technician (Production)Sterling, VA$85,000–$85,000 / hourSupport production operations by working alongside engineers and welders to perform powder handling and assembly operations . System One, and its subsidiaries including Joulé and Mountain Ltd., are leaders in delivering outsourced services and workforce solutions across North America.
LeidosData Engineering Specialist LeidosData Engineering SpecialistFort Meade, MD$87,100–$157,450They will assist in designing and implementing data enrichment pipelines, integrating multiple data sources into Confluent (Kafka) and Elastic platforms, and help maintain Kafka and Elastic clusters to support mission-critical operations. The candidate will contribute to platform sustainment and reliability by addressing operational challenges and supporting the automation of the software development lifecycle, including CI/CD pipeline development, containerization, and automated testing, while following DevOps best practices.
JobotNewSoftware Engineer JobotSoftware EngineerArlington, VA$120,000–$150,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. If you have a solid grounding in software engineering, continuous delivery, and computer science, and are looking for a career opportunity to grow and leverage those skills to the fullest while working on cutting edge technologies – Here is the place to be!
TeleWorld SolutionsSoftware Engineer (UI/UX) TeleWorld SolutionsSoftware Engineer (UI/UX)Chantilly, VAFull timeAs this is an established project already up and running, you will play a key role in contributing immediate value through feature enhancements, modernization of legacy components, and the optimization of data-heavy user experiences. You will work at the intersection of design and engineering, ensuring that our complex orchestration workflows remain intuitive, responsive, and visually consistent for our global user base.
JobotNewSenior Product Manager JobotSenior Product ManagerMcLean, VA$150,000–$220,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. Lead new product initiatives building on a proven quality and reliability platform to improve developer experience across AI, API, CLI, and VPC uses, new product org!
Amazon Data Services, Inc.NewSr. Region Planner, DC Planning - AMER Amazon Data Services, Inc.Sr. Region Planner, DC Planning - AMERHerndon, VAWe pioneered cloud computing and never stopped innovating — that’s why customers from the most successful startups to Global 500 companies trust our robust suite of products and services to power their businesses. You’ll join a diverse team of software, hardware, and network engineers, supply chain specialists, security experts, operations managers, and other vital roles.
CredenceSenior Google AI Engineer CredenceSenior Google AI EngineerMcLean, VAArchitect and deliver end‑to‑end AI/ML solutions on Google Cloud using Vertex AI (Workbench, Pipelines, Training, Model Registry, Online/Batch Prediction, Feature Store, Model Monitoring) and Gemini/LLM services—optimized for performance, cost, and maintainability. Proven experience architecting robust data ingestion, processing, and transformation workflows using Dataflow, Data Fusion, Dataproc, BigQuery, and Looker and integrating these platforms with Vertex AI for model training, deployment, and inference.
Johns Hopkins Applied Physics Laboratory (APL)Senior Software Engineer Johns Hopkins Applied Physics Laboratory (APL)Senior Software EngineerLaurel, MD$105,000–$290,000In A5C, we develop and deploy advanced planning capabilities and solutions directly into the hands of the warfighter, empowering them to design and execute dominant defenses for maximum performance across multiple simultaneous multiple missions, multiple services, and multiple command echelon planning levels and domains. This is a unique opportunity to dive deep into both software engineering and mission planning while using your skills to design, develop, and test physics-based models for military planning tools associated with Air & Missile Defense (AMD).
Johns Hopkins Applied Physics Laboratory (APL)Reverse Engineer for RF Systems Johns Hopkins Applied Physics Laboratory (APL)Reverse Engineer for RF SystemsLaurel, MD$100,000–$245,000The 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.
Johns Hopkins Applied Physics Laboratory (APL)Systems Analyst Johns Hopkins Applied Physics Laboratory (APL)Systems AnalystLaurel, MD$100,000–$245,000APL 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.
Johns Hopkins Applied Physics Laboratory (APL)Reverse Engineer and Offensive Cyber Developer Johns Hopkins Applied Physics Laboratory (APL)Reverse Engineer and Offensive Cyber DeveloperLaurel, MD$100,000–$245,000The 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.
Johns Hopkins Applied Physics Laboratory (APL)Senior Reverse Engineer / Cyber Capability Engineer Johns Hopkins Applied Physics Laboratory (APL)Senior Reverse Engineer / Cyber Capability EngineerLaurel, MD$105,000–$290,000We have custom facilities tailored to specific classes of systems including foreign materiel, telecommunications/network infrastructure, and industrial systems as well as general reverse engineering labs. The Johns Hopkins University Applied Physics Laboratory (APL) brings world-class expertise to our nation’s most critical defense, security, space and science challenges.
Johns Hopkins Applied Physics Laboratory (APL)Formal Verification and Software Assurance Engineer Johns Hopkins Applied Physics Laboratory (APL)Formal Verification and Software Assurance EngineerLaurel, MD$100,000–$245,000Experience 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.
Johns Hopkins Applied Physics Laboratory (APL)Reverse Engineer / Cyber Capability Engineer Johns Hopkins Applied Physics Laboratory (APL)Reverse Engineer / Cyber Capability EngineerLaurel, MD$100,000–$245,000We have custom facilities tailored to specific classes of systems including vehicles, telecommunications/network infrastructure, and industrial systems as well as general reverse engineering labs. Our team specializes in software and hardware reverse engineering, vulnerability research, and developing proof-of-concept offensive cyber capabilities with a focus on embedded systems.
Johns Hopkins Applied Physics Laboratory (APL)Blockchain Vulnerability Researcher Johns Hopkins Applied Physics Laboratory (APL)Blockchain Vulnerability ResearcherLaurel, MD$100,000–$245,000We strive to foster an innovative and collaborative team environment where engineers can hack the latest technologies to find and exploit vulnerabilities to solve the hardest national security challenges and have real-world impact. The Johns Hopkins University Applied Physics Laboratory (APL) brings world-class expertise to our nation’s most critical defense, security, space and science challenges.
Integrated Data ServicesArmy - Senior Program Manager (Arlington, VA) Integrated Data ServicesArmy - Senior Program Manager (Arlington, VA)Arlington, VA$175,000–$190,000 / yearIntegrated Data Services (IDS) is seeking a Senior Program Manager to lead the deployment and adoption of the Comprehensive Cost and Requirements (CCaR) System across the Department of the Army to include the Army Secretariat, Army Staff, Major Commands, and Subordinate Commands. This operates at the intersection of financial management, enterprise software, and senior leader decision-making, directly enabling Army leadership to transition from static, manual processes to real-time, data-driven decision advantage.
Integrated Data ServicesAir Force - Senior Account Manager (Arlington, VA) Integrated Data ServicesAir Force - Senior Account Manager (Arlington, VA)Arlington, VA$175,000–$190,000 / yearThis role is responsible for owning the customer relationship, driving enterprise adoption, and expanding the impact of the Project Management Resource Tools (PMRT) System and the Comprehensive Cost and Requirement (CCaR) System across Portfolio Acquisition Executive (PAE) organizations and Headquarters Air Force (HAF) stakeholders. When determining an applicant’s compensation, various factors are taken into consideration including, but not limited to: geographic location, relevant prior work experience, relevant training, special skills/competencies, education, clearance, licenses/certifications, labor categories/contract rates and other business needs.