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, 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.
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.
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 - 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 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.
Electrical Maintenance Technician 4 Sparks GroupElectrical Maintenance Technician 4Washington, DC$50–$65 / hourMaintain and troubleshoot industrial electrical systems, including power distribution, UPS systems, generators, transfer switches, DC systems, BAS controls, and HVAC-related electrical infrastructure. We are seeking a highly skilled Electrical Maintenance Technician IV to support the operation, maintenance, and reliability of mission-critical facility infrastructure in a secure environment.
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.
Electrical Technician AmrizeElectrical TechnicianBaltimore Highlands, MDPerform all electrical repair work, preventative maintenance and emergency call-out tasks on plant electrical equipment while always maintaining code regulations, good craftsmanship, quality and professionalism. Employees that are required to wear respirators must be clean shaven where the respirator seal meets the face in order to pass the qualitative and quantitative fit tests.
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.
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.
NewCommissioning Project Engineer (Data Centers) JobotCommissioning Project Engineer (Data Centers)Fairfax, VA$90,000–$160,000 / yearMust be self-motivated and well versed in Data Center projects touching on large building MEP systems design, commissioning, retro-commissioning, energy modeling/analysis and construction for complex buildings. Information collected and processed as part of your Jobot candidate profile, and any job applications, resumes, or other information you choose to submit is subject to Jobot's Privacy Policy, as well as the Jobot California Worker Privacy Notice and Jobot Notice Regarding Automated Employment Decision Tools which are available at jobot.com/legal.
NewSenior 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.
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.
Aviation Electronics, Electrical & Computer Systems Technician U.S. NavyAviation Electronics, Electrical & Computer Systems TechnicianSeat Pleasant, 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.
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 ENGINEERManassas, VA$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.
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.
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.
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.
NewSenior Manager, Manufacturing Test Development JABIL CIRCUIT, INCSenior Manager, Manufacturing Test DevelopmentWashington, DCJabil is seeking a Senior Manager, Manufacturing Test Development who will directly contribute to the transformative growth within our Intelligent Infrastructure division by leading the development of rack-scale manufacturing test solutions for hyperscale, AI, and data center infrastructure platforms. This role sits at the intersection of software, hardware, and manufacturing, and you will be responsible for managing the technical direction of rack-scale test software and system integration programs through the lens of the customer, factory, and services.
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.
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.
NewMaritime Robotics Systems Engineer Johns Hopkins Applied Physics Laboratory (APL)Maritime Robotics Systems EngineerLaurel, MD$100,000–$245,000We are seeking a Maritime Autonomous Systems Engineer to help the US Navy prototype and adopt new maritime robotics technologies for uncrewed surface vehicles (USVs), uncrewed undersea vehicles (UUVs), and other robotic vehicles. In this role, you will have a direct impact on the Navy’s biggest challenges as you apply your systems engineering, test, and team leadership skills to achieve the goals of APL prototype projects and modernize our sponsors’ acquisition approach for autonomous systems.
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 Manufacturing Test Development Engineer JABIL CIRCUIT, INCSenior Manufacturing Test Development EngineerWashington, DCThis includes creating test plans, test cases, and test scripts to assess the functionality and performance of hardware components or devices such as motherboard, memory, CPU, storage (SSD, HDD, NVMe) and PCIE devices (NIC, GPU, Mezz cards, RAID cards). Expertise with hardware and API solutions for controlling, managing and stressing L10 devices (servers, network and storage SSDs, NVMe): IPMI, Redfish, mprime, FIO, Linpack, ptugen, memtester.