NewMechanical Design Engineer System OneMechanical Design EngineerYork, PAIdentify new technologies and market segments; develop competitive programs and machine features to increase market share and meet customer demands. Coordinate with vendors, consultants, and engineering teams to deliver engineering design/analysis services, offering solutions to technical challenges.
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.
NewMechanical Engineer, Assistant Project Manager JobotMechanical Engineer, Assistant Project ManagerYork, PA$110,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. Responsibilities: Design mechanical systems for large central cooling and heating plants, including boilers, chillers, cooling towers, pumps, large bore piping, and control systems.
NewSr Mechanical Engineer/Dept. Head JobotSr Mechanical Engineer/Dept. HeadBaltimore, MD$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.
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.).
Protective Design Engineer Whitman, Requardt & Associates, LLPProtective Design EngineerBaltimore, MD$85,000–$135,000 / yearFull timeIncludes a wide range of protective design solutions (AT/FP, perimeter security, vehicle entry control points, blast/ballistic resistance, electronic security systems, etc.) in support of a varied client base. The specific compensation offered to a candidate may vary based on factors including, but not limited to, the candidate’s relevant knowledge, training, skills, work location, and/or experience.
Protective Design Engineer - Mid-Level Whitman, Requardt & Associates, LLPProtective Design Engineer - Mid-LevelBaltimore, MD$90,000–$150,000 / yearFull timeIncludes a wide range of protective design solutions (AT/FP, perimeter security, vehicle entry control points, blast/ballistic resistance, electronic security systems, etc.) in support of a varied client base. The specific compensation offered to a candidate may vary based on factors including, but not limited to, the candidate’s relevant knowledge, training, skills, work location, and/or experience.
Senior Protective Design Engineer Whitman, Requardt & Associates, LLPSenior Protective Design EngineerBaltimore, MD$100,000–$180,000 / yearFull timeIncludes a wide range of protective design solutions (AT/FP, perimeter security, vehicle entry control points, blast/ballistic resistance, electronic security systems, etc.) in support of a varied client base. The specific compensation offered to a candidate may vary based on factors including, but not limited to, the candidate’s relevant knowledge, training, skills, work location, and/or experience.
NewRCDD Technology Engineer JobotRCDD Technology EngineerBaltimore, MD$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.
Project 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).
NewRF Design Engineer Johns Hopkins Applied Physics Laboratory (APL)RF Design EngineerLaurel, MD$85,000–$195,000As a member of the Sensor Systems Engineering group, you collaborate with teams of passionate engineers and scientists who build, analyze, and test systems for the Air and Missile Defense Sector. APL provides eligible staff with a comprehensive benefits package including retirement plans, paid time off, medical, dental, vision, life insurance, short-term disability, long-term disability, flexible spending accounts, education assistance, and training and development.
Water/Wastewater Process Mechanical Engineer - Entry Level Whitman, Requardt & Associates, LLPWater/Wastewater Process Mechanical Engineer - Entry LevelBaltimore, MD$72,000–$97,000 / yearFull timeA copy of current, or most recent, school transcript (If you are applying via a 3rd party site that does not allow attachments, please email transcript to careers@wrallp.com. Whitman, Requardt & Associates, LLP (WRA) is seeking a motivated Entry-Level Water/Wastewater Process Mechanical Engineer to join our dynamic team in Baltimore, MD.
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.
NewMechanical Engineer Johns Hopkins Applied Physics Laboratory (APL)Mechanical EngineerLaurel, MD$100,000–$245,000As a member of the Sensor Systems Engineering group, you will be working with teams of passionate engineers and scientists who design, analyze, and test systems for the Air and Missile Defense Sector. APL provides eligible staff with a comprehensive benefits package including retirement plans, paid time off, medical, dental, vision, life insurance, short-term disability, long-term disability, flexible spending accounts, education assistance, and training and development.
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.
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.
NewA/V Engineer JobotA/V EngineerHanover, PA$75,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 successful candidate will play a crucial role in designing, managing, and maintaining our audio/visual and IT systems, ensuring smooth operations in our control room and across the company.
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.
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).
NewLiaison Engineer PwrQ Holdings LLCLiaison EngineerHanover, MD$80,000–$90,000 / yearProduction Support & Troubleshooting: provide on-the-spot solutions for manufacturing problems, such as improperly fitting parts or defective materials, often participating in Material Review Boards (MRB). The Liaison Engineer-Electrical serves as the critical bridge between engineering design, manufacturing, and quality control for our low-voltage power distribution equipment.
NewMechanical-Systems Engineer, Shipboard Systems Group Johns Hopkins Applied Physics Laboratory (APL)Mechanical-Systems Engineer, Shipboard Systems GroupLaurel, MD$100,000–$245,000You will work with a multidisciplinary team that supports our sponsors in developing advanced analysis methods for deployed systems, modernizing existing Navy hardware, and integrating new weapon systems onto Navy platforms. Engage directly with our Navy sponsor and associated prime and subcontractors to provide oversight of hardware design and production efforts for future weapon systems and Navy platforms.
NewSr Engineer - BGE System Ops Support Baltimore Gas and Electric CompanySr Engineer - BGE System Ops SupportBALTIMORE, MD$103,200–$141,900We 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). Leads and performs engineering tasks and projects associated with a critical or analytical engineering project or a small number of complex projects that require specialized knowledge in many areas, may include field testing, troubleshooting, and peer review (25%).
Project Manager - Building Design Whitman, Requardt & Associates, LLPProject Manager - Building DesignBaltimore, MD$175,000–$210,000 / yearFull timeCome join our collaborative team of engineers and architects on a variety of challenging projects, including high-performance buildings, industrial and manufacturing facilities, office environments, mission critical/secure spaces, historic preservation, and higher education. Lead multidiscipline A/E teams through concept studies, final design, and construction phase services for clients across a broad range of markets, including DoD, Federal/Local Government and Industrial.
NewSr Engineer - - BGE T&S Strategic Project Engineering Baltimore Gas and Electric CompanySr Engineer - - BGE T&S Strategic Project EngineeringBALTIMORE, MD$103,200–$141,900Develops 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, commissioning, operation, and maintenance of Exelon's electric facilities/systems for high-priority data center , interconnection projects including Battery Energy Storage System (BESS) and renewable energy, and EPC-led projects . 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).
Part-Time Project Manager - Building Design Whitman, Requardt & Associates, LLPPart-Time Project Manager - Building DesignBaltimore, MD$90–$125 / hourPart timeCome join our collaborative team of engineers and architects on a variety of challenging projects, including high-performance buildings, industrial and manufacturing facilities, office environments, mission critical/secure spaces, historic preservation, and higher education. Lead multidiscipline A/E teams through concept studies, final design, and construction phase services for clients across a broad range of markets, including DoD, Federal/Local Government and Industrial.
Electrical Engineer System OneElectrical EngineerYork, PADesign, develop and modify schematics, detail drawings, assemblies, sub-assemblies, BOM’s and panel layouts using AutoCAD Electrical on new and legacy equipment. System One stands as one of the largest outsourced services and workforce solutions firms in the U.S. We are seeking an experienced Electrical Engineer for our client in York, PA.
POWER SYSTEMS DIVISION (PSD) APPLICATIONS ENGINEER Carter Machinery Company, IncPOWER SYSTEMS DIVISION (PSD) APPLICATIONS ENGINEERElkridge, MD$85,000–$115,000 / yearThe PSD Applications Engineer is responsible for assisting consulting engineers, contractors, and end-users in the design of power plants that result in the sale of Caterpillar power generation products. In addition to base pay, the compensation package may include participation in performance-based incentive programs (e.g., discretionary or non-discretionary plans), as well as overtime eligibility depending on the role.
NewMechanical Test Lab Engineer - 2nd Shift (onsite) Johnson ControlsMechanical Test Lab Engineer - 2nd Shift (onsite)New Freedom, PA$75,000–$90,000 / yearJohnson Controls, a global leader in thermal management, mission-critical building systems, energy efficiency, and decarbonization, helps customers use energy more productively, reduce carbon emissions, and operate with the precision and resilience required in rapidly expanding industries such as data centers, healthcare, pharmaceuticals, advanced manufacturing, and higher education. Backed by advanced technology, lifecycle services and an industry-leading field organization, we elevate customer performance, turn goals into real-world results and help move society forward.
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.
Sales Engineer CoolSysSales EngineerCatonsville, MD$75,000–$90,000Responsibilities: The Sales Engineer will bridge the gap between our engineering team and customers, providing expert advice and technical solutions that help clients understand and utilize our products. Provide valuable feedback from customers to the engineering and product development teams to influence future product offerings.
SALES ENGINEER Carter Machinery Company, IncSALES ENGINEERElkridge, MD$0.75–$1.25 / hourExperience dealing with multiple disciplines, such as contractors, consultants, engineers and end-users; work as a liaison with other members of the sales team and technical support to solve client problems. The Sales Engineer is responsible for the sale of new Caterpillar generator sets with ancillary equipment such as weatherproof enclosures, fuel tanks, and automatic transfer switches.
NewManufacturing Automation/ Commissioning Engineer System OneManufacturing Automation/ Commissioning EngineerYork, PASupport installation, startup, and system validation activities at customer sites, including Factory Acceptance Testing (FAT) and Site Acceptance Testing (SAT). System One, and its subsidiaries including Joulé and Mountain Ltd., are leaders in delivering outsourced services and workforce solutions across North America.
Computer Aided Manufacturing Engineer Johns Hopkins Applied Physics Laboratory (APL)Computer Aided Manufacturing EngineerLaurel, MD$100,000–$245,000Computer Aided Manufacturing Engineering for incoming printed circuit boards including rigid, rigid-flex, and flexible circuits, as well as developing processing flows for the fabrication area using CAM software. APL provides eligible staff with a comprehensive benefits package including retirement plans, paid time off, medical, dental, vision, life insurance, short-term disability, long-term disability, flexible spending accounts, education assistance, and training and development.
NewPrincipal Cybersecurity Engineer- Architecture OneMain FinancialPrincipal Cybersecurity Engineer- ArchitectureBaltimore, MD$130,000–$156,000 / yearAlong with security platform mastery in more than one platform area (IDS/IPS, firewall/WAF, access and identity, malware defense, threat modeling, exposure management, among others), the Principal Cybersecurity Engineer is formally trained in enterprise IT design and architecture practices. The Principal Cybersecurity Engineer has a demonstrated mastery in multiple security and non-security technology platforms, with the ability to both lead and advise on the overall designs and strategies of both security and non-security technologies.
NewLead Network Engineer Above and Beyond Talent AcquisitionLead Network EngineerBaltimore, MD$60–$65 / hourContractorFull timeFor over 100 years, their dedicated team has helped customers improve their financial lives with responsible, transparent solutions for debt, medical bills, home improvements, and auto purchases. Client Info / Who they are: Above and Beyond Talent Acquisition represents the country’s largest lending-exclusive financial company, serving millions with safe, affordable installment loans through 1,500 branches in 44 states.
NewSenior Transmission Line Engineer LeidosSenior Transmission Line EngineerBaltimore, MDRemote$73,450–$132,775Leidos seeks the best and the brightest, and in return, we invest in you, with an eye on your future, through career advancement, growth opportunities, and continuous improvement via mentoring, formal and informal project management training and assistance with obtaining pertinent certifications. If you received an email purporting to be from Leidos that asks for payment-related information or any other personal information (e.g., about you or your previous employer), and you are concerned about its legitimacy, please make us aware immediately by emailing us at LeidosCareersFraud@leidos.com .
NewSenior Ocean Systems Engineer Johns Hopkins Applied Physics Laboratory (APL)Senior Ocean Systems EngineerLaurel, MD$100,000–$245,000You will work with a team from government, industry, and academia to develop performance specifications, lead technical studies, and develop systems engineering products for emerging maritime programs, to include autonomous undersea vehicles (AUVs). Collaborate with multiple DoD system partners to evaluate current strategies, risks, and opportunities to develop and implement T&E strategies that refine/improve their programs and missions.
NewConstruction Project Manager - Mechanical JobotConstruction Project Manager - MechanicalBaltimore, MD$125,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. The successful candidate will be responsible for the management and execution of all phases of the project lifecycle, from initial concept, design, and planning to installation, testing, and handover.
NewLead Software Engineer OneMain FinancialLead Software EngineerBaltimore, MD$96,000–$115,200 / yearThe ideal candidate will have in-depth experience with Workforce Management (WFM), Customer Relationship Management (CRM) systems, call recording solutions, dialers, reporting tools, API integrations, and a strong hands-on working knowledge of NiceCX systems. Data modeling experience to design, develop, and maintain GraphQL APIs and Data Solutions using RDBMS like Aurora, Postgres, and in-memory data stores like Amazon Memory DB and Redis, ensuring optimal performance, data integrity, availability and scalability.
NewLow-Speed Propulsion Engineer Johns Hopkins Applied Physics Laboratory (APL)Low-Speed Propulsion EngineerLaurel, MD$100,000–$245,000APL provides eligible staff with a comprehensive benefits package including retirement plans, paid time off, medical, dental, vision, life insurance, short-term disability, long-term disability, flexible spending accounts, education assistance, and training and development. The Johns Hopkins University Applied Physics Laboratory (APL) brings world-class expertise to our nation’s most critical defense, security, space and science challenges.
NewPrincipal Technical Sales Manager - Federal Engineer Projects Constellation EnergyPrincipal Technical Sales Manager - Federal Engineer ProjectsMiddle River, MD$127,800–$142,000The Technical Sales Manager (TSM) provides building-systems knowledge & development/design expertise in support of sales efforts for Energy Efficiency focused Infrastructure Renewal and Building Upgrade & Improvement projects. Bachelor's degree in Mechanical Engineering and 8-years of project development or sales engineering experience developing facilities-based or building infrastructure projects or equivalent combination of education and relevant experience.
Sr. Systems Engineer - Microsoft 365 Trigyn Technologies IncSr. Systems Engineer - Microsoft 365Baltimore, MDTemporaryContractorFull timeExperience managing directory sync into Azure AD and deep knowledge of Azure AD Sync for Federation, authentication, SSO, and directory sync with Azure AD. Systems engineer – Microsoft 365 to develop solutions for e-mail and collaboration tools as well as handle day-to-day operations within the division.
Sr. DevOps Engineer (Saas App./Accela/OpenGov) TRIGYN TECHNOLOGIES, INC.Sr. DevOps Engineer (Saas App./Accela/OpenGov)Baltimore, MD$75–$80 / hourContractorThe ideal candidate will have extensive experience in designing, developing, and maintaining high-performance applications and will play a key role in driving our software initiatives forward. In addition, the Senior DevOps Engineer must have experience implementing, customizing, and supporting popular Government Saas applications such as, but not limited to, Accela and OpenGov.
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).
NewElectrical PE- 8+ years JobotElectrical PE- 8+ yearsCatonsville, MD$110,000–$140,000 / yearProject Types Include: Military/DoD facilities, Healthcare, Federal, Justice, K–12, Higher Education, Corporate Commercial, Pharmacy, Retail, Multifamily & Assisted Living, Hospitality, Cultural & Historic, Data Centers, Industrial, and Residential. 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.
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.
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 Nuclear Surety Systems Engineer Johns Hopkins Applied Physics Laboratory (APL)Senior Nuclear Surety Systems EngineerLaurel, MD$100,000–$245,000Serve as the Lab’s focal point and thought leader for nuclear surety engineering with emphasis on leveraging and implementing systems engineering principles to enhance strategic systems nuclear surety design and modifications. Are you interested in applying technical leadership, innovation, system engineering skills, and specialty nuclear surety expertise toward the difficult critical challenges of ensuring the safety and security of this nation’s most critical defense systems?.
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.
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.