NewIntellectual Property Attorney - Electrical Engineering JobotIntellectual Property Attorney - Electrical EngineeringAlexandria, VA$200,000–$600,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. Headquartered in Philadelphia, the firm represents clients ranging from startups and emerging growth companies to multinational corporations across technology, life sciences, manufacturing, consumer products, and healthcare industries.
Lead, Electrical Engineering - MEMS Subject L3Harris TechnologiesLead, Electrical Engineering - MEMS SubjectHerndon, VA$127,500–$236,500 / yearIdentify and pursue new business opportunities in MEMS, Silicon Photonics and PIC technology areas, supporting proposal development and engaging with customers to capture new programs. As a key technical leader, you will drive seedling and innovation IRAD projects, identify and capture new business opportunities, and provide strategic direction for our Nanosystems team and capabilities.
Staff Electrical Engineer FIBERTEK, INC.Staff Electrical EngineerHerndon, VAIn developing, verifying, and upgrading the electronics in Fibertek's electro-optical systems, you will handle a wide range of engineering tasks, including circuit board development, firmware (FPGA & CPU) development, cable/harness design, and documentation. Placement within the range will depend on factors such as the scope and responsibilities of the position, the candidate’s experience, education and training, key skills, and relevant market and business considerations.
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.
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.
NewElectrical Engineer - (MEP / Design-Build Consulting Engineers) JobotElectrical Engineer - (MEP / Design-Build Consulting Engineers)Vienna, VA$120,000–$170,000 / year8-10+ years of experience in design and specification of lighting systems, power systems, fire alarm systems, telecom/data systems, medium voltage power systems, UPS systems, emergency generator systems, grounding systems, and utility systems. 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.
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.
NewSr Electrical PE / PM JobotSr Electrical PE / PMFairfax, VA$130,000–$160,000 / yearSuccessful candidates will have Engineering Consulting Firms experience with a background in Electrical Buildings Systems Design (Lighting, Power Distribution, etc.) and 3-5 years of recent Project Management experience overseeing schematics through Construction Administration, Staff, Schedules, Budges, Scope of Work, etc. 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.
NewSr Electrical PE JobotSr Electrical PEHerndon, VA$125,000–$175,000 / yearTypical duties include writing technical reports, conducting surveys, performing calculations, overseeing, and completing power, telemetry, and telecommunications designs, conducting research and development, systems integration, testing, hands-on assembly, and PLC programming. Seeking a Sr Electrical Engineer to serve as the electrical discipline team leader for the project, directing other engineers and designers as required, provide electrical design expertise and leadership for the entire project, from initial survey through final inspection.
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.
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.
NewBIM Modeler-Electrical JobotBIM Modeler-ElectricalMount Airy, MD$70,000–$90,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. With over 2 years of experience in a similar role, you will have the opportunity to contribute to our team's success by driving the development and implementation of complex electrical systems.
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).
NewSenior Electrical Superintendent JobotSenior Electrical SuperintendentAshburn, VA$65–$80 / hourInformation 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 culture is people first, and we provide an excellent culture, exciting and ground-breaking projects, outstanding benefits, and a wealth of opportunity for advancement in multiple locations across North America.
NewElectrical Estimator- (Transmission & Distribution) JobotElectrical Estimator- (Transmission & Distribution)Frederick, MD$150,000–$225,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 estimators are highly involved in project planning and collaborate closely with engineering, preconstruction, and field operations teams to develop competitive and strategic bids.
NewElectrical Estimator - Substation JobotElectrical Estimator - SubstationArbutus, MD$150,000–$225,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 growing electrical and energy infrastructure organization supporting utility-scale power projects across substations, transmission, renewable energy, and battery energy storage systems (BESS).
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).
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.
RF Design & Test Engineer TeleWorld SolutionsRF Design & Test EngineerReston, VATeleWorld Solutions is seeking a Senior RF Design & Field Testing Engineer to support RF design, prediction modeling, field testing, post-processing, and technical research activities for commercial wireless networks, with a primary focus on 5G NR and FCC Part 15/unlicensed wireless technologies. This role is responsible for developing RF designs, executing field validation and coexistence testing, analyzing RF performance data, and supporting site integration, deployment, and troubleshooting efforts.
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.
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.
NewProject Engineer - Maritime Inmarsat Government, IncProject Engineer - MaritimeReston, VAFull timeBy providing powerful new ways for people to connect with one another, gain greater access to education, entertainment, medical research, commerce, and much more, our team is empowering millions of customers worldwide. The successful applicant will be driving projects which require integrated teams across Government and Industry partners, balancing stakeholder needs with the art of the possible.
Specialist, Software Engineer (Embedded Software) L3Harris TechnologiesSpecialist, Software Engineer (Embedded Software)Herndon, VAWith customers’ mission-critical needs always in mind, our employees deliver end-to-end technology solutions connecting the space, air, land, sea and cyber domains in the interest of national security. L3Harris Technologies is an agile global aerospace and defense technology innovator, delivering end-to-end solutions that meet customers’ mission-critical needs.
NewSenior Traveling Superintendent JobotSenior Traveling SuperintendentAshburn, VA$65–$80 / hourInformation 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 culture is people first, and we provide an excellent culture, exciting and ground-breaking projects, outstanding benefits, and a wealth of opportunity for advancement in multiple locations across North America.
Aviation Electronics, Electrical & Computer Systems Technician U.S. NavyAviation Electronics, Electrical & Computer Systems TechnicianWalkersville, MDWork Environment Assignments with squadrons at naval air stations and aboard aircraft carriers worldwide; work in hangars, avionics labs, and outdoors on flight lines in all weather conditions and high noise environments; close teamwork with other aviation ratings and aircrew in a structured maintenance organization; potential temporary duty with detachments and deployments supporting carrier or expeditionary operations. Additional qualifications for this job may include: United States citizenship and eligibility for a security clearance; normal color perception; interest in aviation and working around aircraft; strong aptitude in electronics, computers, and precision technical work; manual dexterity, good memory, and physical fitness sufficient to work safely on flight lines, in hangars, and on shipboard aircraft.
(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.
Director, Program Management L3Harris TechnologiesDirector, Program ManagementHerndon, VA$184,000–$341,000 / yearKey responsibilities include developing trusted relationships with internal and external customers, ensuring exceptional execution of development and production programs, and partnering closely with Business Development and Capture teams to shape new opportunities and define competitive, winning solutions. The leader will manage and expand our Autonomous Capabilities portfolio, including Torpedo Tube Launch and Recovery (TTLR) programs, and our Electrical & Propulsion System Integration (EPSI) programs such as T-AGOS, the Ship-to-Shore Connector, IVER 4-900, and related efforts.
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).
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.
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.
Staff Software Engineer, Security & Privacy AbnormalStaff Software Engineer, Security & PrivacyWashington DC, DCDistributed systems expert – you bring deep experience designing and operating large-scale distributed systems, and have partnered with security teams to build secure-by-default solutions. Were looking for a distributed systems expert who has worked closely with security teams — someone who can drive Product Security at scale and translate that into clear, executable technical roadmaps.
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.
Senior Reverse Engineer / Cyber Capability Engineer Johns Hopkins Applied Physics Laboratory (APL)Senior Reverse Engineer / Cyber Capability EngineerLaurel, MD$105,000–$290,000We have custom facilities tailored to specific classes of systems including foreign materiel, telecommunications/network infrastructure, and industrial systems as well as general reverse engineering labs. The Johns Hopkins University Applied Physics Laboratory (APL) brings world-class expertise to our nation’s most critical defense, security, space and science challenges.
NewRadar System Engineer - Maritime and Next-Generation Radars Johns Hopkins Applied Physics Laboratory (APL)Radar System Engineer - Maritime and Next-Generation RadarsLaurel, MD$85,000–$195,000The Johns Hopkins University Applied Physics Laboratory (APL) brings world-class expertise to our nation’s most critical defense, security, space and science challenges. 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.
NewQuality Control Associate HITT ContractingQuality Control AssociateFalls Church, VA$70,000–$100,000 / yearExecute four phases of control (Planning, Preparatory, Initial and Inspections) for each FOW with the subcontractors, vendors, and client(s) and perform all required meetings. Every day, our team members do amazing things in pursuit of our shared purpose to build trust with our clients, partners, subcontractors, and teammates.
AI-Enabled Cyber Capabilities Developer Johns Hopkins Applied Physics Laboratory (APL)AI-Enabled Cyber Capabilities DeveloperLaurel, MD$105,000–$290,000It requires designing AI-native architectures, orchestrating tool-using agents, and rapidly iterating on prototypes that demonstrate functional, outcome-driven impact. The Johns Hopkins University Applied Physics Laboratory (APL) brings world-class expertise to our nation’s most critical defense, security, space and science challenges.
Computational Scientist – Metasurfaces, Photonics, and Inverse Design Johns Hopkins Applied Physics Laboratory (APL)Computational Scientist – Metasurfaces, Photonics, and Inverse DesignLaurel, MD$85,000–$195,000Because our research portfolio spans a variety of topics, success in this role requires curiosity, technical independence, and the ability to quickly learn new physics, methods, and tools from textbooks and scientific literature. 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.
Reverse Engineer / Cyber Capability Engineer Johns Hopkins Applied Physics Laboratory (APL)Reverse Engineer / Cyber Capability EngineerLaurel, MD$100,000–$245,000We have custom facilities tailored to specific classes of systems including vehicles, telecommunications/network infrastructure, and industrial systems as well as general reverse engineering labs. Our team specializes in software and hardware reverse engineering, vulnerability research, and developing proof-of-concept offensive cyber capabilities with a focus on embedded systems.
Blockchain Vulnerability Researcher Johns Hopkins Applied Physics Laboratory (APL)Blockchain Vulnerability ResearcherLaurel, MD$100,000–$245,000We strive to foster an innovative and collaborative team environment where engineers can hack the latest technologies to find and exploit vulnerabilities to solve the hardest national security challenges and have real-world impact. The Johns Hopkins University Applied Physics Laboratory (APL) brings world-class expertise to our nation’s most critical defense, security, space and science challenges.
Advanced Optical Component Design and Characterization Researcher Johns Hopkins Applied Physics Laboratory (APL)Advanced Optical Component Design and Characterization ResearcherLaurel, MD$105,000–$290,000As part of a multi-disciplinary research team, you will join computational and experimental scientists and engineers who are passionate about developing innovative solutions that can impact the future development and application of electromagnetic devices using novel metasurface and phase-change material designs. We are seeking a creative and multidisciplinary scientist to help us mature existing projects and grow new ones by identifying emerging sponsor challenges that require novel electromagnetic solutions in the optical frequency range.
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.
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.
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%).
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.
Real-Time Software Engineer LeidosReal-Time Software EngineerArlington, VA$90,000–$180,000If 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 . Projects involve small multi-disciplinary teams of engineers working together in spiral or agile development environments to meet aggressive customer schedules aimed at near-term field demonstrations.
GPU Software Engineer LeidosGPU Software EngineerArlington, VA$107,900–$195,050If 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 . June 8, 2026 For U.S. Positions: While subject to change based on business needs, Leidos reasonably anticipates that this job requisition will remain open for at least 3 days with an anticipated close date of no earlier than 3 days after the original posting date as listed above.
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.
NewFormal Verification and Software Assurance Engineer Johns Hopkins Applied Physics Laboratory (APL)Formal Verification and Software Assurance EngineerLaurel, MD$100,000–$245,000Experience with (1) Static Analysis tools such as Coverity and Klockwork, (2) Dynamic Analysis tools such as Valgrind, libFuzzer, and Java Pathfinder, (3) Symbolic Execution Engines such as KLEE and angr, (4) Model Checkers such as TLA+ and SPIN, (5) SMT Solvers such as Z3, CVC5 and MathSAT (6) other Automated Theorem Provers such as ACL-2 and GnatProve, (7) Interactive Theorem Provers such as Lean and Rocq, and any other formal methods tools. Experience with formal methods tools and techniques, such as language safety properties, symbolic execution, abstract interpretation, model checking, automated and interactive theorem proving, programming language analysis and design, type theory, static source code analysis, and formal logic.
NewSenior Data Scientist (TS/SCI cleared) Johns Hopkins Applied Physics Laboratory (APL)Senior Data Scientist (TS/SCI cleared)Laurel, MD$105,000–$290,000The Threat Analytic Systems (QAI) Group is seeking talented team members who will help provide our nation with ground-breaking capabilities that bridge the gaps between data, the latest developments in technology, and real-world impact of national importance. 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.