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.
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.
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.
Project Engineer The H&K GroupProject EngineerFinksburg, MDThe Project Secretary provides administrative and operational support to project managers and the entire team to ensure smooth project coordination, documentation management, communication, and other aspects of the operations. Beginning as a small family business a half century ago, we are now a dynamic group of vertically integrated companies that has been growing and prospering for over 50 years.
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.
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.
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 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.
NewSoftware Development Engineer JobotSoftware Development EngineerCape Saint Claire, MD$65–$80 / hourDevelopers at this level are building greater independence, taking ownership of small to medium-sized work items, and strengthening their core engineering skills across multiple application layers, including user interfaces, services, APIs, and data. Our teams include professionals across software engineering, product development, clinical informatics, research, and healthcare technology who share a commitment to reducing complexity and improving outcomes for patients and providers.
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.
NewElectrical Engineer, Infrastructure Design JobotElectrical Engineer, Infrastructure DesignBaltimore, MD$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. We are a Full-Service Engineering company that specializes in providing design and engineering services for all aspects of building and utility infrastructure construction.
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.
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.
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.
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.
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.
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.
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.
NewSenior Engineer, Software - Autonomous Aircraft Integration Shield AISenior Engineer, Software - Autonomous Aircraft IntegrationWashington, DCFlight Data Capture & Analysis — Manage data collection during missions and post-test analysis, working with autonomy engineers to refine behaviors and identify improvements. • Collaboration Across Teams — Work closely with autonomy, GNC, systems, and test teams to ensure mission-critical functionality is delivered on time and validated thoroughly.
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.
DevOps Engineer By Light Professional IT ServicesDevOps EngineerHanover, MDAbility to perform many duties involving DevOps functions including, but not limited to, authoring and maintaining automation deployment and monitoring scripts, researching, implementing and maintaining Continuous Integration / Continuous Delivery (CI-CD) tools and processes, automating application deployments, managing virtualized and containerized assets, creating virtual and physical network configurations, servers, communications, and test and developer engineering support. Interact with developers to understand software changes that will impact development and testing activities, examine any relevant change implementation, then report the changes to developers and testers welcoming feedback for future improvements.
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.
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.
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.
NewSection Engineer - BGE Gas Transmission Eng Baltimore Gas and Electric CompanySection Engineer - BGE Gas Transmission EngBALTIMORE, MD$112,000–$154,000Primary Duties: Leads highly technical consultation and training through OJT/OJE (may include some class room instruction as well) on highly complex and unique technical areas requiring the application of advanced engineering principles and may require advanced knowledge of complex analog and digital field test equipment. We are a Fortune 200 company, 20,000 colleagues strong serving more than 10.7 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).
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.
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.
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.
NewCommercial Construction Project Engineer HITT ContractingCommercial Construction Project EngineerFalls Church, VA$77,000–$82,000 / yearMaster required job-specific and technical skills in order to promote to an assistant superintendent or assistant project manager following the 12-month training program including, but not limited to, the ability to: Set up and maintain jobsite office and all jobsite records, including project directory, construction documents, subcontractor directory, daily reports, submittal logs, RFI logs, subcontractor correspondence, etc. Ability to learn sector- and project-specific software systems, including but not limited to: Microsoft Office 365 (Project, Excel, Word, Outlook, PowerPoint, etc.), ProCore, Adobe Suite, BlueBeam, and JD Edwards software suite.
NewRadar Systems Engineer Johns Hopkins Applied Physics Laboratory (APL)Radar Systems EngineerLaurel, MD$85,000–$195,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.
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.
NewAccessibility Engineer System OneAccessibility EngineerVienna, VASystem One, and its subsidiaries including Joulé and Mountain Ltd., are leaders in delivering outsourced services and workforce solutions across North America. • Support Marketing Technology Services Delivery teams across products including marketing website (NFO), intranet (eNet), and design system (Cmd+R).
Software Engineer Lead System OneSoftware Engineer Lead99999, MarylandStrong proficiency in z/OS (MVS) operations in a large-scale environment with multiple Sysplex systems (including IPL procedures). • Current working knowledge of subsystems: JES2, SDSF, RACF, TSO, TCP/IP, Control-M, CICS, DB2 .
NewSenior Associate, AI Engineer KPMGSenior Associate, AI EngineerWashington, DCIf you're looking for a firm with a strong team connection where you can be your whole self, have an impact, advance your skills, deepen your experiences, and have the flexibility and access to constantly find new areas of inspiration and expand your capabilities, then consider a career in Advisory. Document processes, code, and technical workflows to support knowledge sharing and project continuity; collaborate with project teams to troubleshoot technical issues and ensure solutions meet client requirements.
NewSenior Specialist, Federal Data Engineer KPMGSenior Specialist, Federal Data EngineerWashington, DCIf you're looking for a firm with a strong team connection where you can be your whole self, have an impact, advance your skills, deepen your experiences, and have the flexibility and access to constantly find new areas of inspiration and expand your capabilities, then consider a career in Advisory. These include the duties and responsibilities listed above, as well as the abilities to adhere to company policies, exercise sound judgment, effectively manage stress and work safely and respectfully with others, exhibit trustworthiness, and safeguard business operations and company reputation.
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.
NewStaff AI Engineer Grafana LabsStaff AI EngineerWashington DC, DCRemoteRapid experimentation and iteration: Implement a highly iterative process where you quickly prototype, test, and validate with real users, including shipping and evolving LLM- or agent-powered workflows for incident lifecycle management and automated analysis tasks. • Collaborate cross-functionally: Work with data analysts, product managers, and designers to shape AI-driven product features, including integration of agentic components with internal tools, alerting systems, runbooks, and developer workflows.
HVAC System Engineer System OneHVAC System EngineerWestminster, MDRemote$75,000–$113,000 / yearThe Project Engineer is responsible for the system design, including system calculations, system drawings, integration, testing, commissioning support, and technical support to other internal departments. Execute the design and development of HVAC systems and controls for passenger rail transit vehicles, ensuring on-time delivery within budget and specifications.