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.
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.
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.
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.
NewJunior 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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
NewBuilding Electrical Engineer JobotBuilding Electrical EngineerArbutus, MD$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. We are seeking an Electrical Engineer II to support the design and delivery of electrical systems across multiple office locations, including Columbus, Akron, Baltimore, Jacksonville, and Pensacola.
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.
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 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 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.
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.
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).
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.
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.
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.
Digital Signal Processing Engineer Johns Hopkins Applied Physics Laboratory (APL)Digital Signal Processing EngineerLaurel, MD$100,000–$245,000You will work with engineers and scientists to develop new concepts for software defined radios and payloads for space RF and optical systems for communications, PNT, remote sensing, and ISR&T applications. Are willing and able to accommodate flexible hours for spacecraft level testing activities for short periods of time, infrequent travel to customer or sponsor locations as well as spacecraft integration and test sites.
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.
Senior Systems Design Engineer / Analyst Johns Hopkins Applied Physics Laboratory (APL)Senior Systems Design Engineer / AnalystLaurel, MD$100,000–$245,000Shape weapon‑system architectures – Using digital‑engineering tools (Cameo/MagicDraw, physics‑based models, logistics and simulation) you will evaluate current and future weapon concepts, assess performance, and construct resilient, modular designs that meet stringent deterrence requirements. Significant Multi‑disciplinary design depth – A proven record of leading design efforts that span at least three distinct “hard‑science” engineering domains (e.g., mechanical, electrical/electronic, aerospace, nuclear, materials, chemical, petroleum, civil, etc.).
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.
NewSoftware Engineer with TS-SCI with Poly System OneSoftware Engineer with TS-SCI with PolyFort Meade, MD$97,000–$224,000 / yearBachelor’s degree in Computer Science or related discipline from an accredited college or university OR four (4) years of additional SWE experience on projects with similar software processes in lieu of degree. Design, develop and modify software systems, using scientific analysis and mathematical models to predict and measure outcome and consequences of design.
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.
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.
NewSenior Quality Assurance Automation Engineer System OneSenior Quality Assurance Automation EngineerMcLean, VARemoteDrive the expansion of test automation and integration of automated tests into CI/CD pipeline tools, while maintaining clear test documentation, promoting QA best practices, and coordinating with development, product, and operations teams to improve overall delivery quality. Develop and oversee test strategies, test plans, test cases, test data, and automated testing frameworks, while guiding QA team members in test execution, defect identification, and resolution tracking.
Construction Project Engineer BERING STRAITS GLOBAL INNOVATIONS LLCConstruction Project EngineerHanover, MDThe Project Engineer (PE) is responsible for the assistance in the development, execution and maintenance of a fully effective Project as required by our contract with the Client and Subcontractors and as further defined by the Contractor’s Quality Control Plan (CQCP), Health/Safety/Quality program and in accordance with Company’s policies and procedures; and performs additional managerial responsibilities as necessary or assigned. The candidate will be performing all facets of the Bering Straits East Coast model to include quality control management, submittal tracking, daily reporting, communicating deficiencies to the customer, and other various tasks as assigned.