Structural Engineer Hillis-CarnesStructural EngineerAnnapolis Junction, MDFull timeHillis-Carnes Engineering Associates (HCEA) is an ENR Top 500, regional, multi-disciplined engineering firm with advanced capabilities in geotechnical and geostructural engineering, environmental consulting, specialty construction, construction materials engineering and testing, and third-party inspections. Project Management: Must be experienced in project management, with the ability to control schedules, budgets, resources, and provide the highest level of client services.
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.
NewSr Mechanical Engineer/Dept. Head JobotSr Mechanical Engineer/Dept. HeadWashington, DC$120,000–$175,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. Successful candidates will have a strong background in MEP Consulting (Mechanical, Plumbing, & Fire Protection Engineering) with proven leadership experience.
NewSr Energy Engineer - DC JobotSr Energy Engineer - DCWashington, DC$90,000–$155,000 / yearProject Managers work independently on complex projects, network to expand the market outreach for Existing Building Decarbonization projects, and collaborate closely with clients, contractors, and internal teams. – Lead energy modeling and building performance simulations and perform life-cycle cost analyses to evaluate the ROI and overall economic feasibility of various decarbonization strategies, including high-efficiency HVAC systems and the integration of geothermal and other renewable energy sources.
NewCivil Project Engineer JobotCivil Project EngineerGermantown, MD$80,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. Essential Job Functions: Conduct engineering analysis and design in support of the project team Perform hydraulic and hydrologic analysis to determine engineered solutions for storm drainage and stormwater management applications.
NewEngineer Constellation EnergyEngineerHuntingtown, MD$87,000–$154,000Perform other job assignments and duties as directed by management or pursuant to company policy, including but not limited to emergency response, departmental coverage, call outs, and support of outage activities in positions outside the department. Now integrated with Calpine, our portfolio includes 55 gigawatts of capacity from nuclear, natural gas, geothermal, hydro, wind and solar facilities, with the generating capacity to power the equivalent of 27 million homes.
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.
NewElectrical Engineer Constellation EnergyElectrical EngineerMechanicsville, MD$92,700–$114,000Perform other job assignments and duties as directed by management or pursuant to company policy, including but not limited to emergency response, departmental coverage, call outs, and support of outage activities in positions outside the department. Now integrated with Calpine, our portfolio includes 55 gigawatts of capacity from nuclear, natural gas, geothermal, hydro, wind and solar facilities, with the generating capacity to power the equivalent of 27 million homes.
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.
NewEngineer; Cloud Systems or Architect, Cloud Systems GCP (Google Cloud Professional) (SME) PlanIT GroupEngineer; Cloud Systems or Architect, Cloud Systems GCP (Google Cloud Professional) (SME)Reston, VAClient CIO Architecture, Strategy & Innovation (CASI) is responsible to assist Vice President of Information Technology (IT) design, develop, maintain, support, and translate corporate business vision and strategy along with stakeholder input into objectives for building, enhancing, or replacing business and IT systems capabilities, together with an implementation of a comprehensive IT roadmap, all-the-while maintaining resilience to change as a key architectural and strategy objective for the enterprise. • Tasks – might include (neither exhaustive nor restrictive): o Advises and assists IT functional groups to define and implement solutions aligned with a Cloud based Microservices / Service Oriented Architecture (SOA) for infrastructure or business applications.
NewFacility Operations Center Engineer, ADC InfraOps FOC Amazon Data Services, Inc.Facility Operations Center Engineer, ADC InfraOps FOCArlington, VAThe Facility Operations Center (FOC) is a singular support team which proactively monitor the life-safety systems and the infrastructure equipment alarms (e.g., chillers, temperature sensors, generators, UPSs, switchgear, breakers, PDUs, and ATSs) that provides power and cooling to the platform 24x7x365. We pioneered cloud computing and never stopped innovating — that’s why customers from the most successful startups to Global 500 companies trust our robust suite of products and services to power their businesses.
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 - Structural Shoring & Civil Design Sunbelt RentalsProject Engineer - Structural Shoring & Civil DesignElkridge, MD$81,951–$112,682.90 / yearThis role bridges the gap between civil structural engineering analysis and geotechnical soil properties, producing critical project calculations and AutoCAD drawings under the direction of a Professional Engineer (PE). Certifications: Engineer-in-Training (EIT) certification or a licensed Professional Engineer (PE) is highly desirable (or the clear ability/desire to obtain your PE in the near future).
NewSr. Quality Control Engineer, Integrated Project Quality (IPQ) Amazon Data Services, Inc.Sr. Quality Control Engineer, Integrated Project Quality (IPQ)Herndon, VAQCE will serve as the technical lead for day-to-day quality management activities and direct oversight of quality control vendors across OSA facilities in North America and on data center deployments across AWS build regions in North and South America (AMER). They must have a proven record of leading technical quality on large-scale critical infrastructure deployments, including progressive Quality Control, Installation Verification, Equipment Protection, and cost- and schedule-mitigating measures.
Prin Engineer (Underground Transmission) ExelonPrin Engineer (Underground Transmission)Woodbridge, VA$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 (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.
NewStructural - Project Engineer System OneStructural - Project EngineerAlexandria, VABachelor’s degree or higher in Civil Engineering (Structural focus) or Architectural Engineering from an ABET-accredited program. We’re looking for a Structural Project Engineer to join a dynamic, employee-owned architecture and engineering team that values innovation, collaboration, and professional growth.
Construction Project Engineer - Industrial Projects System OneConstruction Project Engineer - Industrial ProjectsArlington, VA$75,000–$110,000 / yearAs a Construction Project Engineer, you will work onsite with the Project Team to plan, develop, coordinate, and manage onsite construction engineering activities for Industrial projects – primarily Water/Wastewater Treatment plant construction but also factories/production facilities, data centers, focused mostly in Northern Virginia, District of Columbia (DC), and Baltimore area. Develop, implement, and administer project engineering procedures and other work controlling documents (submittals, RFI’s, expediting material deliveries, payment of Subcontractors/Vendors, and Owner pay requests).
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.
NewSystem Integration & Test Engineer JobotSystem Integration & Test EngineerRockville, MD$110,000–$165,000 / yearWith deep expertise in cloud-first architectures, automation, DevSecOps, virtualization, reliability engineering, and large-scale systems integration, we help organizations modernize infrastructure, improve operational efficiency, and support mission-critical environments where performance, security, and resiliency are essential. Our teams partner closely with customers to deliver innovative solutions across cloud strategy, cybersecurity, systems integration, data engineering, machine learning, AI, disaster recovery, and enterprise infrastructure initiatives.
NewHardware Engineer JobotHardware EngineerGaithersburg, MD$120,000–$140,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. 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 PowerShell Engineer (Secret Clearance) JobotSenior PowerShell Engineer (Secret Clearance)West McLean, VA$120,000–$160,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 will focus on building automation solutions within Windows 11 environments to improve operational efficiency, strengthen security posture, and enhance the overall end-user experience.
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.
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.
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.
Hybrid Cloud Engineer ECLAROHybrid Cloud EngineerWashington DC, DCCloud Operations & Reliability: Experience designing highly available systems using Azure-native tools for monitoring, backup, disaster recovery, and cost optimization. Virtualization & Core Infrastructure: Deep expertise in VMware (vSphere, ESXi, NSX, vCenter, SRM) and enterprise compute, storage, networking, and Active Directory.
NewSenior Python Full Stack Engineer Vaco LLCSenior Python Full Stack EngineerMcLean, VA$130,000–$150,000Determining compensation for this role (and others) at Vaco by Highspring depends upon a wide array of factors including but not limited to: the individual’s skill sets, experience and training; licensure and certification requirements; office location and other geographic considerations; other business and organizational needs. Vaco by Highspring values a diverse workplace and strongly encourages women, people of color, LGBTQ+ individuals, people with disabilities, members of ethnic minorities, foreign-born residents, and veterans to apply.
Land Development Engineer/ Project Manager System OneLand Development Engineer/ Project ManagerChantilly, VAYou’ll work alongside a diverse team of engineers, planners, landscape architects, and designers to bring complex projects to life—ranging from mixed-use developments and data centers to federal facilities and community infrastructure. As a Land Development Engineer or Project Manager, you will play a key role in delivering impactful site and infrastructure projects that shape communities across both public and private sectors.
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.
SPOC Engineer Inmarsat Government, IncSPOC EngineerReston, VAFull timeThese activities may be under guidance or instruction from management/support personnel or conducted directly by the individual and will include routine on-station operational tasks on the satellites and Ground Control System (GCS), special activities in response to non-nominal conditions, off-line support functions, together with first level trouble shooting and anomaly resolution of the satellites and GCS. Leveraging an industry-leading scalable, multi-band network infrastructure, Inmarsat Government offers a suite of managed network services and end-to-end communication solutions to support users on land, at sea and in the air, even in the world’s most remote regions.
NOC Support Engineer Inmarsat Government, IncNOC Support EngineerReston, VAFull timeLeveraging an industry-leading scalable, multi-band network infrastructure, Inmarsat Government offers a suite of managed network services and end-to-end communication solutions to support users on land, at sea and in the air, even in the world’s most remote regions. The NOC Support Engineer is responsible for maintaining, modifying, and managing the NOC's software and monitoring infrastructure, including hardware and software applications used to monitor and manage Inmarsat Government's global MPLS and SATCOM networks.
NewSr Electrical Engineer (Secret Clearance) System OneSr Electrical Engineer (Secret Clearance)Chantilly, VA$110,000–$170,000 / year10+ years of experience in design and specification of: lighting systems, power systems, fire alarm systems, telcom/data systems, medium voltage power systems, UPS systems, emergency generator systems, grounding systems, and utility systems . Perform calculations, select equipment, and design systems (lighting, power, fire alarm, and telcom/data systems) .
NewSME Cloud Engineer Govcio LLCSME Cloud EngineerAlexandria, VA$170,000–$218,000Certifications: Professional-level cloud engineering certifications (e.g., AWS Certified Solutions Architect Professional, AWS Certified Security Specialty, Microsoft Certified: Azure Solutions Architect Expert, or Azure Security Engineer Associate), alongside baseline enterprise IT certifications (e.g., CASP+ CE, CISSP, or equivalent technical baselines). Responsibilities: As a SME Cloud Engineer, the ideal candidate will specialize in the integration and automation of enterprise management tools, with a strong focus on connecting Microsoft Sentinel, Swimlane, ACAS, and Tanium to create a cohesive and automated infrastructure posture across our hybrid environment.
NewSpecialist, 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.
NewLead, 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.
NewLead, Systems Engineer - Mission Protection L3Harris TechnologiesLead, Systems Engineer - Mission ProtectionSpringfield, VAThe ideal candidate demonstrates strong leadership, technical depth in threat-informed engineering, and the ability to integrate Mission Protection requirements into operational planning, system architecture, and lifecycle activities. The selected candidate will apply operational security (OPSEC), counterintelligence, cyber defense, and threat analysis principles to protect critical systems and ensure the survivability and resilience of U.S. assets in contested and degraded environments.
New(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.
Structural Engineer Keller North America, Inc.Structural EngineerWoodbridge, VASuccessful candidates will work with the design and construction of post tensioned system in concrete structures such as high rise condominiums, apartment buildings, office buildings, parking garages. Suncoast is a specialty concrete contractor ranked in the top 100 in the ENR 600 specialty contractors and the largest supplier of post tensioned material for commercial buildings in the country.
NewSpecialist, Systems Engineer - Watch Officer L3Harris TechnologiesSpecialist, Systems Engineer - Watch OfficerSpringfield, VA$90,500–$168,500 / yearActively participate in daily operations stand-up meetings to provide updates on ongoing activities, highlight key operational priorities, and address any challenges or risks impacting mission success. Possess knowledge of, or experience with, space operations, including managing and monitoring satellite systems, performing telemetry analysis, and conducting mission-critical activities such as orbital adjustments, payload operations, and anomaly resolution.
NewSenior 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.
NewSenior 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.
NewSenior Full Stack Engineer - Contract TalentBurst, Inc.Senior Full Stack Engineer - ContractReston, VARemoteThe candidate should have hands-on experience building scalable web applications, implementing automated testing frameworks, working in Agile teams, and contributing across the full software development lifecycle. Collaborate with Product Managers, UX Designers, QA Engineers, and Software Developers throughout the development lifecycle.
Commercial 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 .
NewRelease Manager, Design Engineering Amazon Data Services, Inc.Release Manager, Design EngineeringHerndon, VAEvaluate complex design changes across multiple engineering disciplines including electrical power distribution, mechanical cooling systems, structural loads, civil site work, architectural layouts, controls systems, plumbing infrastructure, and fire protection systems. As a Design Change Manager, you will serve as a technical expert evaluating design change requests across electrical, mechanical, civil, structural, architectural, controls, plumbing, fire protection, and thermal systems.
NewSME Network Engineer Govcio LLCSME Network EngineerArlington, VA$161,900–$199,260Provides engineering and operational support for cloud providers to include AWS and Azure, on-premise datacenters, campus networks, Dynamic Multipoint Virtual Private Networks (DMVPN), Layer 2/3, wireless networks, network applications installed on client workstations, optimization of various LAN and WAN environments, datacenter load balancing, network access security to include 802.1x and Cisco ISE. Overview: GovCIO is currently hiring for a SME Network Engineer with an active Secret clearance to provide classified and unclassified Tier 3 senior-level support for the design, implementation, and deployment of network-specific technologies across a government Enterprise environment consisting of hundreds of locations worldwide.
NewIntegration 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.
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.
Network Engineer MANTECHNetwork EngineerJoint Base Andrews, MDOccasionally move about inside the office to access file cabinets, office machinery, or to communicate with co-workers, management, and customers, via email, phone, and or virtual communication, which may involve delivering presentations. High School Diploma or GED with 7+ years of progressively responsible experience in Network Engineering, Network Analysis, or a related technical discipline.
NewDigital Pathology Field Service Engineer TD SYNNEXDigital Pathology Field Service EngineerWashington, DCWe are looking for highly skilled and customer-focused Field Service Engineers to support our cutting-edge digital pathology systems in clinical environments. Connect with Your Community: Participate in internal, peer-led inclusive communities and activities, including business resource groups, local volunteering events, and more environmental and social initiatives.
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.