RF Design & Test Engineer TeleWorld SolutionsRF Design & Test EngineerReston, VATeleWorld Solutions is seeking a Senior RF Design & Field Testing Engineer to support RF design, prediction modeling, field testing, post-processing, and technical research activities for commercial wireless networks, with a primary focus on 5G NR and FCC Part 15/unlicensed wireless technologies. This role is responsible for developing RF designs, executing field validation and coexistence testing, analyzing RF performance data, and supporting site integration, deployment, and troubleshooting efforts.
(DoD SkillBridge), Specialist, Integration & Test Engineer L3Harris Technologies(DoD SkillBridge), Specialist, Integration & Test EngineerHerndon, VABS/BA (or equivalent) in Optical, Electrical, Computer Engineering, Computer Science, Information Technology or related field, and minimum 6 years Software or systems experience or Graduate’s degree and 4 years software or systems experience. This Integration and Test / Technical trainer needs to experience in developing and executing structured training sessions tailored to customer needs, ensuring knowledge retention and effective skills transfer.
NewTest 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.
Senior Specialist, Integration & Test Engineer L3Harris TechnologiesSenior Specialist, Integration & Test EngineerChantilly, VAWith customers’ mission-critical needs always in mind, our employees deliver end-to-end technology solutions connecting the space, air, land, sea and cyber domains in the interest of national security. By submitting your resume for this position, you understand and agree that L3Harris Technologies may share your resume, as well as any other related personal information or documentation you provide, with its subsidiaries and affiliated companies for the purpose of considering you for other available positions.
Integration and Test Engineer NGB-12.24 CredenceIntegration and Test Engineer NGB-12.24Joint Base Andrews, MDThis includes reviewing weapon system contractor-provided integration program deliverables to assist the Government in their review of documentation and assisting in the development of organic data for the following systems engineering milestones: System Requirements Review (SRR), System Design Review, Preliminary Design Review, Critical Design Review, Test Readiness Review, and engineering design audits such as Functional Configuration Audit (FCA) and Physical Configuration Audit (PCA) respective to the needs of each modification program. Program coordination tasks shall include but not be limited to: coordinating all requirements between aircraft modification programs to include ground test requirements, flight test requirements, test assets, and any other potential resources; briefing and/or preparing briefings on modification program test status to the NGB as requested; assisting in identifying and developing test core documentation for modification programs, and; execution oversight for associated program test documents.
IP and Optical Test Engineers By Light Professional IT ServicesIP and Optical Test EngineersFort Meade, MD$100,000–$200,000 / yearProvide expertise in order to certify and support Optical systems to include optical switches, amplifiers, regenerators, Optical Dense Wavelength Division Multiplexing (DWDM), Optical Transport Networking (OTN), Optical Transport Unit (OTU) frames, OTN-based backbones, optical light paths, optical spectrum sharing, optical virtual private networks (O-VPNs), wavelength-based private services, Packet-Optical Transport System (P-OTS), Ethernet, Flexible Ethernet (FlexE), Carrier Ethernet. These technologies include network devices (Optical Transport Systems, Optical Line Systems, Optical Transponders, routers, switches, firewalls, and Intrusion Detection Systems (IDS), and services Authentication, Authorization and Accounting (AAA), Access Control List (ACL), secure remote access (i.e Secure shell, Secure VPN, IPSec), and IPv6 capable devices.
NewSenior Software (AI) Test Engineer PlanIT GroupSenior Software (AI) Test EngineerReston, VADescription: The assigned resource will be responsible for developing the AI program focused on automating requirements and test case preparation, utilizing Visual Studio Code, Python, Copilot AI, and other tools provided by the postal service. • Design and develop test automation scripts using Selenium with Python, leveraging available AI models and LLMs to accelerate script creation, maintenance, and self healing.
IP Network Test Engineer By Light Professional IT ServicesIP Network Test EngineerFort Meade, MDExpertise in large-scale IP Networking & Testing with backbone routers (Juniper MX and Cisco ASR9K) running ISIS, BGP/MP-BGP (multi AS), MPLS routing protocols, switches and testing gear including traffic generators from IXIA, Spirent Test Center and Agilent N2X. These technologies include network devices (routers, switches, firewalls, and Intrusion Detection Systems (IDS), and services Authentication, Authorization and Accounting (AAA), Access Control List (ACL), secure remote access (i.e Secure shell, Secure VPN, IPSec), and IPv6 capable devices.
NewSystems Integrator / Test Engineer FIBERTEK, INC.Systems Integrator / Test EngineerHerndon, VAJob Description: Fibertek, Inc. is a leading developer of laser and electro-optic systems for the aerospace community, with key contributions to lasers for atmospheric sensing, laser communications, and lidar sensors for NASA, DoD, and other aerospace customers. Experience in Systems Engineering and/or other engineering disciplines with an emphasis on test requirements development, test planning, test documentation, and systems integration, verification, and validation.
Staff Electrical Engineer FIBERTEK, INC.Staff Electrical EngineerHerndon, VAIn developing, verifying, and upgrading the electronics in Fibertek's electro-optical systems, you will handle a wide range of engineering tasks, including circuit board development, firmware (FPGA & CPU) development, cable/harness design, and documentation. Placement within the range will depend on factors such as the scope and responsibilities of the position, the candidate’s experience, education and training, key skills, and relevant market and business considerations.
NewSr Commissioning Engineer (Data Centers) – Remote JobotSr Commissioning Engineer (Data Centers) – RemoteSterling, VARemote$120,000–$165,000 / yearSuccessful candidates will have experience in Electrical Systems & Equipment with a focus in Data Centers and Mission Critical Facilities; experience and an understanding of Building MEP Systems Design, Construction, and Commissioning of Critical Systems ranging in size, rating, and complexity; Commissioning, Testing and Troubleshooting of Electrical Systems and related controls. Knowledgeable with common mechanical, and controls-related building equipment, including: Engine generators / Uninterruptible power supplies & battery systems / Medium and low-voltage electrical switchgear/ PLC controls and sequences of operations / Automatic transfer switches / Static transfer switches / Power distribution units / Busways.
NewSenior Manufacturing Test Development Engineer JABIL CIRCUIT, INCSenior Manufacturing Test Development EngineerWashington, DCThis includes creating test plans, test cases, and test scripts to assess the functionality and performance of hardware components or devices such as motherboard, memory, CPU, storage (SSD, HDD, NVMe) and PCIE devices (NIC, GPU, Mezz cards, RAID cards). Expertise with hardware and API solutions for controlling, managing and stressing L10 devices (servers, network and storage SSDs, NVMe): IPMI, Redfish, mprime, FIO, Linpack, ptugen, memtester.
NewSystem Engineer JobotSystem EngineerAlexandria, VA$95,000–$110,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 intelligent transportation and mobility solutions, delivering innovative software, systems, and services that help organizations manage complex transportation infrastructure more efficiently, safely, and sustainably.
Electrical Engineer II (VA) GCR Professional ServicesElectrical Engineer II (VA)Chantilly, Virginia$40–$50 / hourContractorProject Management: Plan and manage electrical engineering projects, including creating project timelines, allocating resources, and coordinating with cross-functional teams. Collaboration: Collaborate with other engineers, technicians, and professionals to integrate electrical systems into larger projects or products.
Timing and Synchronization Test Engineer By Light Professional IT ServicesTiming and Synchronization Test EngineerFort Meade, MDBy Light Professional IT Services LLC readies warfighters and federal agencies with technology and systems engineered to connect, protect, and prepare individuals and teams for whatever comes next. We are looking for an experienced, innovative and enthusiastic network engineer to join our DISA team in delivering high quality timing distribution systems.
NewElectrical Commissioning Engineer JobotElectrical Commissioning EngineerWashington, DC$90,000–$120,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 practical approach addresses our clients' complex energy needs, maximizing savings and return on investment while minimizing environmental impact across all served markets.
NewCommissioning Project Engineer (Data Centers) JobotCommissioning Project Engineer (Data Centers)Fairfax, VA$90,000–$160,000 / yearMust be self-motivated and well versed in Data Center projects touching on large building MEP systems design, commissioning, retro-commissioning, energy modeling/analysis and construction for complex buildings. Information 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.
NewSystems Engineer JobotSystems EngineerArlington, VA$100,000–$110,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. Their platforms help agencies improve traffic flow, road safety, and air quality, and they support large-scale, high-volume transportation networks worldwide.
NewMechanical Commissioning Engineer / Project Manager (Data Centers) JobotMechanical Commissioning Engineer / Project Manager (Data Centers)Sterling, VARemote$135,000–$165,000 / yearThe successful candidate must be self-motivated and well versed in Data Center projects touching on large building MEP systems design, commissioning, retro-commissioning, energy modeling/analysis and construction for complex buildings. If you are a Commissioning Project Manager with Data Center experience please apply or email directly at https://jobot.com/apply/mechanical-commissioning-engineer-project-manager-data-centers/1224725190?utm_source=Monster.
NewSenior 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.
NewRCDD Technology Engineer JobotRCDD Technology EngineerWashington, DC$140,000–$190,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. This role serves as a trusted advisor to clients, leading technology consulting efforts while supporting business development, proposal preparation, project execution, and team mentorship.
NewSystems Engineer (Intelligent Transportation System Industry Exp Required) JobotSystems Engineer (Intelligent Transportation System Industry Exp Required)Alexandria, VA$100,000–$110,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. The ideal candidate has experience supporting Linux and Windows environments, containerized applications, and production systems while working directly with customers and internal engineering teams.
NewProject Engineer - Maritime Inmarsat Government, IncProject Engineer - MaritimeReston, VAFull timeBy providing powerful new ways for people to connect with one another, gain greater access to education, entertainment, medical research, commerce, and much more, our team is empowering millions of customers worldwide. The successful applicant will be driving projects which require integrated teams across Government and Industry partners, balancing stakeholder needs with the art of the possible.
NewElectrical Engineer EIT/PE JobotElectrical Engineer EIT/PEFairfax, VA$90,000–$140,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. Ideal candidates will have experience with engineering consulting firms, electrical power, lighting, fire alarm, and building systems for institutional and commercial buildings, as well as proficiency in Revit and AutoCAD.
Specialist, Software Engineer (Embedded Software) L3Harris TechnologiesSpecialist, Software Engineer (Embedded Software)Herndon, VAWith customers’ mission-critical needs always in mind, our employees deliver end-to-end technology solutions connecting the space, air, land, sea and cyber domains in the interest of national security. L3Harris Technologies is an agile global aerospace and defense technology innovator, delivering end-to-end solutions that meet customers’ mission-critical needs.
DevSecOps Engineer CredenceDevSecOps EngineerMcLean, VA$150,000–$175,000The position focuses on enabling reliable and scalable software delivery by building and optimizing CI/CD pipelines, infrastructure automation, and deployment workflows, while improving developer experience, release velocity, application quality, and system reliability across multi-stack environments. This role supports a variety of modern applications, including backend services, frontend applications, and data pipelines, with a strong emphasis on pipeline engineering, Infrastructure as Code (Terraform), and cloud-native deployments.
NewMechanical Commissioning Engineer JobotMechanical Commissioning EngineerWashington, DC$90,000–$120,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 practical approach addresses our clients' complex energy needs, maximizing savings and return on investment while minimizing environmental impact across all served markets.
NewSr. 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.
Senior Field Engineer Sparks GroupSenior Field EngineerSterling, VAThis role is ideal for a hands-on engineer with strong PLC/HMI programming experience who enjoys field work, troubleshooting complex systems, and traveling to customer sites throughout the U.S. and occasionally internationally. Responsibilities : • Program, troubleshoot, and commission PLC- and HMI-based control systems utilizing RSLogix 500, RSLogix 5000, Studio 5000, and FactoryTalk View platforms.
Senior Software Engineer Teknowleap, IncSenior Software EngineerSterling, VAFull timeSENIOR SOFTWARE ENGINEER (5 positions offered) to design, develop and code applications using Java and Scala; Integrate backend software applications using Postgres and NoSQL databases; Create performance test suite using Jmeter; Implement cloud infrastructure using AWS services; Build Continuous Integration and Continuous Deployment (CI/CD) pipelines using Github, Jenkins and Artifactory. A Bachelor’s degree with 5 yrs of progressively responsible experience will be accepted in lieu of the Master’s degree and 2 years of experience; Any suitable combination of education, training or experience is acceptable.
Lead, Software Engineer L3Harris TechnologiesLead, Software EngineerHerndon, VAIn addition to technical contributions, this position conducts the day‑to‑day software lead activities by providing technical guidance, assigning tasks, reviewing and approving formal documentation, and estimating labor, tools, and other resources to meet budget and schedule commitments. With customers’ mission-critical needs always in mind, our employees deliver end-to-end technology solutions connecting the space, air, land, sea and cyber domains in the interest of national security.
Senior Specialist, Systems Engineer - User Acceptance Tester L3Harris TechnologiesSenior Specialist, Systems Engineer - User Acceptance TesterSpringfield, VAThe successful candidate will support a high performing team of Government and Contractor professionals by testing software releases to ensure they function correctly, documenting failed test cases, and documenting any changes or updates needed to existing procedures. With customers’ mission-critical needs always in mind, our employees deliver end-to-end technology solutions connecting the space, air, land, sea and cyber domains in the interest of national security.
NewCompliance Engineer PwrQ Holdings LLCCompliance EngineerHanover, MDWe are seeking a Compliance Engineer which supports pre-sales, estimating, engineering, manufacturing and field services by providing commercial and technical product regulatory expertise related to low and medium voltage power distribution equipment, E-houses and control systems. Experience in engineering roles within manufacturing, industrial, or related technical industries – specifically power distribution equipment (UL 508A, UL 891, UL 1558).
NewIT - Systems Engineer II PlanIT GroupIT - Systems Engineer IIWashington, DCThe selected candidate needs to have the necessary skills to provide technical assistance at the customer's physical premises to install, move, troubleshoot, repair, modify, and assist with any issue that may arise with telecommunications and related equipment, wiring, circuits, connections, as well as supporting networking and telephone/data communication services. Responsibilities: Overseeing the day-to-day activities related to installation, verification and maintenance of telecommunications equipment, network ports, ethernet and optical Fiber cabling, IP networks.
Materials Engineer DCS CorporationMaterials EngineerFort Belvoir, VAp>Responsible for planning, organizing, and conducting exploratory, advanced, and engineering development as well as production engineering studies/programs for new and improved items for combat use under various battlefield and urban terrain conditions. In this role, you will plan, organize, and conduct exploratory, advanced, and engineering development as well as production engineering studies/programs for new and improved items for combat use under various battlefield and urban terrain conditions.
NewTest Development Manager JABIL CIRCUIT, INCTest Development ManagerWashington, DCWith operations in over 100 facilities across 30 countries, Jabil delivers innovative, integrated, and customized solutions to clients across diverse industries—including automotive, consumer lifestyle and wearables, defense and aerospace, smart home and building, industrial and energy, enterprise and infrastructure, healthcare, mobility, packaging, and printing. This position is focused on leading teams that design, build, and deploy production-grade software platforms, automation systems, and test infrastructure across global manufacturing environments, with a strong emphasis on scalable software development and system architecture.
System/DevSecOps Engineer NuAxis InnovationsSystem/DevSecOps EngineerWashington DC, DCThis role collaborates with Product Owners, Federal Project Managers (FPMs), Business Analysts, Solution Architects, UX/UI Designers, QA Engineers, and DevSecOps teams to deliver end-to-end solutions across the full software development lifecycle. The Senior Full Stack Developer is responsible for designing, developing, integrating, and supporting secure, scalable, and high-performing enterprise web applications using modern cloud-native technologies.
NewSenior Software Engineer, Autonomous Pilot Integration Shield AISenior Software Engineer, Autonomous Pilot IntegrationWashington, DCCollaboration Across Teams — Work closely with the Autonomy Capabilities team (motion planning, tactics), the Perception team, feature crews, and external partners (platform integrators, vehicle/autopilot control vendors, C2 providers) to deliver and validate mission-critical functionality on time. • Hardware/Software Debugging — Diagnose and resolve integration issues across complex autonomy stacks, payload computers, and embedded systems in lab and field environments — including memory, CPU, and timing profiling under operationally-representative loads.
NewQuality Assurance Engineer PlanIT GroupQuality Assurance EngineerReston, VAA minimum of eight (8) years experience in software development, software quality assurance/control, and/or related field; • A degree from an accredited College/University in Software Engineering, Computer Science, or related discipline is preferred; • Able to perform all functional duties independently on high-visibility programs, or mission critical aspects of a given program; • Able to oversee the efforts of direct reporting resources and/or be responsible for the efforts of all staff assigned to a specific job; • Experience training/mentoring less experienced personnel; • Extensive knowledge of and experience with formal software testing for complex software applications; • Extensive experience testing software applications, identifying/documenting defects, and working with developers and end users to resolve defects; • Extensive experience with multiple defect tracking tools (e.g. Rational, Mercury); • Extensive experience authoring software-quality-related documentation such as requirements specifications, test plans, test cases, test scripts and test reports; • Able to obtain Postal clearance; • Excellent communication skills.
NewSr Electrical PE JobotSr Electrical PEHerndon, VA$125,000–$175,000 / yearTypical duties include writing technical reports, conducting surveys, performing calculations, overseeing, and completing power, telemetry, and telecommunications designs, conducting research and development, systems integration, testing, hands-on assembly, and PLC programming. Seeking a Sr Electrical Engineer to serve as the electrical discipline team leader for the project, directing other engineers and designers as required, provide electrical design expertise and leadership for the entire project, from initial survey through final inspection.
NewBuilding Engineer A PEPCOBuilding Engineer AWashington, DCWe are a Fortune 200 company, 19,000 colleagues strong serving more than 10 million customers at six energy companies -- Atlantic City Electric (ACE), Baltimore Gas and Electric (BGE), Commonwealth Edison (ComEd), Delmarva Power & Light (DPL), PECO Energy Company (PECO), and Potomac Electric Power Company (Pepco). Performs related building maintenance, such as brazing of metal benches and guard rails, repairs and installs guttering, installation and tests on the emergency electrical power system, UPS system, batteries, ceiling tile, molding, office furniture, doors, moves, etc.
Prin Engineer (Underground Transmission) ExelonPrin Engineer (Underground Transmission)Washington, DC$122,400–$168,300Develops and/or leads teams in studies, plans, criteria, specifications, calculations, evaluations, design documents, performance assessments, integrated systems analysis, cost estimates, budgets, associated with the planning, design, licensing, construction, operation, and maintenance of Exelon's electric generation, transmission, distribution, gas, and telecommunication facilities/systems. We are a Fortune 200 company, 19,000 colleagues strong serving more than 10 million customers at six energy companies -- Atlantic City Electric (ACE), Baltimore Gas and Electric (BGE), Commonwealth Edison (ComEd), Delmarva Power & Light (DPL), PECO Energy Company (PECO), and Potomac Electric Power Company (Pepco).
NewSenior Software Engineer, Autonomy Behaviors Shield AISenior Software Engineer, Autonomy BehaviorsWashington, DCThe team is responsible for developing autonomous behaviors within Shield AI’s industry-leading mission autonomy software stack and deploying them across a breadth of platforms, including the Anduril Fury, Northrup Grumman Talon, Shield AI V-Bat, and other first and third-party autonomous vehicles. The Autonomy Capabilities team at Shield AI has assembled a diverse team of experts in software, robotics, control systems, optimization, and data analysis to create software solutions that greatly evolve the capabilities of our customers.
Building Systems Engineer HITT ContractingBuilding Systems EngineerFalls Church, VA$37.02–$53.85 / hourAs a critical member of our Facilities Team, the Building Systems Engineer, Senior Associate is responsible for the operation, maintenance, and repair of Net Zero building systems, including mechanical, electrical, plumbing, life safety, and building automation systems. Conducts routine building walk-throughs to assess system performance, document equipment condition, identify energy inefficiencies, and report deficiencies requiring corrective action that could impact energy use or NZE performance targets.
NewSenior Manager, Manufacturing Test Development JABIL CIRCUIT, INCSenior Manager, Manufacturing Test DevelopmentWashington, DCJabil is seeking a Senior Manager, Manufacturing Test Development who will directly contribute to the transformative growth within our Intelligent Infrastructure division by leading the development of rack-scale manufacturing test solutions for hyperscale, AI, and data center infrastructure platforms. This role sits at the intersection of software, hardware, and manufacturing, and you will be responsible for managing the technical direction of rack-scale test software and system integration programs through the lens of the customer, factory, and services.
NewFormal 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.
NewSr Cloud Security Engineer PlanIT GroupSr Cloud Security EngineerFalls Church, VAExperience: 8+ years in a technical Cybersecurity Engineering role, with at least 4 years focused on large-scale cloud or hybrid environments, and a portfolio of projects where AI or Machine Learning was directly applied to solve security or operational scaling problems. • API-First Automation: Deep expertise in building "glue code" that connects disparate COTS and custom applications via secure, automated APIs to streamline cross-functional business activities.
NewActive Directory Engineer System OneActive Directory EngineerSpringfield, VA$130,000 / yearSystem One, and its subsidiaries including Joulé and Mountain Ltd., are leaders in delivering outsourced services and workforce solutions across North America. Manage Active Directory, DNS, SCOM\SCCM, group policy, and PowerShell scripting to ensure system integrity and security.
System Integration Engineer - Remote Teoresi GroupSystem Integration Engineer - RemoteWashington DC, DCRemoteAt Teoresi, we specialize in supporting companies in creating projects using cutting-edge technologies such as self-driving cars and nanotechnology for the medical field. Teoresi Inc is an international Group, with offices in Europe and United States, that acts as an engineering partner to customers’ product and process development.