ZipRecruiter

Log In

2

Remote Formal Verification Engineer Jobs in Washington

System One

Cloud Service Desk Engineer

Bethesda, MD · Remote

$55 - $70/hr

Support VDI connectivity engineering, ensuring remote users on macOS and Windows platforms can ... Experience working under formal change control, audit, and security governance processes Required ...

Hirekeyz Inc

DevSecOps Engineer

Washington, DC · Remote

Remote / Washington, DC (Remote Flexibility Available) Clearance: Ability to obtain MBI (Tier 2) ... deployment verification * Collaborate with development teams to troubleshoot issues, optimize ...

Booz Allen Hamilton, Inc.

Software Engineer

Alexandria, VA · On-site +1

$69K - $158K/yr

Remote Work: Yes Job Number: R0243074 Location: Alexandria,VA,US Share job via: Share Software ... We reserve the right to take your picture to verify your identity and prevent fraud. Candidate AI ...

Naval Sea Systems Command

GENERAL ENGINEER

Washington, DC · On-site +1

$102K - $158K/yr

To learn more about E-Verify, including your rights and responsibilities, visit e-verify.gov ... remote or isolated sites. You must be able to travel on military and commercial aircraft for ...

Leidos

Systems Engineer

Gaithersburg, MD · Remote

... remote and high-dependency aviation environments. These efforts focus on delivering mission ... Experience supporting verification and validation activities in regulated environments

Leidos

Systems Engineer

Ashburn, VA · Remote

... remote and high-dependency aviation environments. These efforts focus on delivering mission ... Experience supporting verification and validation activities in regulated environments

Booz Allen Hamilton, Inc.

Systems Engineer

Arlington, VA · On-site +1

$62K - $141K/yr

Remote Work: Yes Job Number: R0243072 Location: Arlington,VA,US Share job via: Share Additional ... We reserve the right to take your picture to verify your identity and prevent fraud. Candidate AI ...

Naval Sea Systems Command

GENERAL ENGINEER

Washington, DC · On-site +1

$102K - $158K/yr

To learn more about E-Verify, including your rights and responsibilities, visit e-verify.gov ... remote or isolated sites. You must be able to travel on military and commercial aircraft for ...

next page

Showing results 1-20

All JobsRemote Formal Verification Engineer JobsRemote Formal Verification Engineer Jobs in Washington

Remote Formal Verification Engineer information

What is the difference between Remote Formal Verification Engineer vs Remote Hardware Verification Engineer?

AspectRemote Formal Verification EngineerRemote Hardware Verification Engineer
Required CredentialsBachelor's/Master's in Electrical Engineering, Computer Science; certifications in formal methodsBachelor's/Master's in Electrical Engineering, Computer Engineering; certifications in hardware testing
Work EnvironmentDesign and analyze digital systems using formal methods remotelyTest and validate hardware components remotely in lab or simulation environments
Industry UsageSemiconductor, electronics, tech companies focusing on verificationSemiconductor, electronics, hardware manufacturing companies
Search & Comparison IntentOften compared due to similar industry and skills, focusing on verification methods

The Remote Formal Verification Engineer specializes in mathematically proving the correctness of digital systems remotely, while the Remote Hardware Verification Engineer tests and validates hardware components remotely. Both roles require strong technical credentials and are used in similar industries, but they focus on different verification techniques and processes.

What are Remote Formal Verification Engineers?

Remote Formal Verification Engineers are professionals who use mathematical methods to verify the correctness of hardware or software designs, ensuring they meet specified requirements and are free from critical errors. They typically work from home or any location outside a traditional office, collaborating with teams online. Their main tasks include writing formal specifications, developing verification strategies, analyzing results, and reporting on system reliability. This role is essential in industries like semiconductor design, automotive, and aerospace, where system failures can have significant consequences.

What are the key skills and qualifications needed to thrive as a Remote Formal Verification Engineer, and why are they important?

To thrive as a Remote Formal Verification Engineer, you need a strong background in digital design, formal verification methodologies, and a relevant degree in computer engineering or a related field. Expertise in formal verification tools (such as JasperGold or Questa Formal), hardware description languages (like Verilog or VHDL), and scripting languages is typically required. Strong problem-solving ability, attention to detail, and effective remote communication skills set top performers apart. These skills ensure the accurate validation of hardware designs, reduce costly errors, and enable efficient collaboration in distributed teams.

How does a Remote Formal Verification Engineer typically collaborate with development and design teams across different time zones?

As a Remote Formal Verification Engineer, effective collaboration with development and design teams is critical, especially when working across multiple time zones. Most teams use a combination of asynchronous communication tools (like email, Slack, and project management platforms) and scheduled video meetings to align on goals, clarify verification requirements, and review progress. It's common to document verification plans and results thoroughly so colleagues in other regions can review and contribute. Flexibility in working hours and proactive communication help ensure smooth handoffs and minimize blockers, making remote collaboration productive and efficient.
What are popular job titles related to Remote Formal Verification Engineer jobs in Washington? For Remote Formal Verification Engineer jobs in Washington, the most frequently searched job titles are:
What job categories do people searching Remote Formal Verification Engineer jobs in Washington look for? The top searched job categories for Remote Formal Verification Engineer jobs in Washington are:
What cities in Washington are hiring for Remote Formal Verification Engineer jobs? Cities in Washington with the most Remote Formal Verification Engineer job openings:
Remote Formal Verification Engineer jobs near you
Cloud Service Desk Engineer

Cloud Service Desk Engineer

System One

Bethesda, MD • Remote

$55 - $70/hr

Contractor

Medical, Dental, Vision, Life, Retirement

Posted 5 days ago

Job description

Cloud Service Desk Engineer Contract to Hire Bid Support- Start expected mid-August 2026, if awarded Clearance – Active Top Secret required Remote Rate: $55/hr. to $70/hr. commensurate with experience System One IT is seeking a Cloud Service Desk Engineer to provide engineering-level support for cloud-connected endpoint and identity services at a federal agency client. This position is in the bid phase, expected to begin in mid-August 2026 if awarded. In this role, you will handle complex and escalated engineering tickets related to cloud identity, conditional access, device compliance, and remote access — bridging Microsoft cloud services with enterprise endpoint management. Duties and Responsibilities:

  • Engineer and maintain conditional access policies and device compliance requirements in Microsoft Entra ID and Intune, ensuring cloud-connected endpoints meet security posture requirements before granting network access
  • Support Microsoft Intune enrollment workflows for cloud-managed devices, including configuration profile deployment and compliance enforcement
  • Implement and maintain passwordless authentication and hardware-backed credentials for privileged and sensitive accounts across cloud-connected environments
  • Support VDI connectivity engineering, ensuring remote users on macOS and Windows platforms can securely access the virtual desktop environment
  • Maintain device enrollment and identity association workflows, ensuring accurate asset inventory and user-to-device linkage across cloud and hybrid environments
  • Configure and maintain logging and telemetry for cloud identity and access events; ensure audit trails are forwarded to enterprise SIEM platforms
  • Resolve complex and escalated engineering tickets related to cloud services, identity, and access; produce runbooks and documentation for recurring issue patterns
Education and Years of Experience:
  • Bachelor's degree in Information Technology, Cybersecurity, or a related field preferred
  • Education requirements may be waived based on professional experience, at the government’s discretion
  • 8+ years of experience in Information Technology, Endpoint Engineering, or Cybersecurity
  • 6+ years performing engineering (not help desk) functions in enterprise environments
  • Hands-on experience with Microsoft Entra ID and Intune for cloud identity and device compliance management
  • Experience engineering conditional access policies, role-based access, and identity-aware network access controls
  • Experience supporting VDI environments and remote access connectivity for Windows and macOS users
  • Experience implementing passwordless authentication and hardware-backed credentials in an enterprise environment
  • Experience working under formal change control, audit, and security governance processes
Required Skills & Certifications:
  • Microsoft certifications in identity, endpoint management, or cloud administration
  • Experience with Microsoft Sentinel for cloud identity and access telemetry
  • Familiarity with hybrid identity environments integrating on-premises Active Directory with Entra ID

Clearance Requirements: Active Top Secret (TS) clearance required. Citizenship Status Required: Must be a U.S. Citizen System One, and its subsidiaries including Joulé and Mountain Ltd., are leaders in delivering outsourced services and workforce solutions across North America. We help clients get work done more efficiently and economically, without compromising quality. System One not only serves as a valued partner for our clients, but we offer eligible employees health and welfare benefits coverage options, including medical, dental, vision, spending accounts, life insurance, voluntary plans, as well as participation in a 401(k) plan. System One is an Equal Opportunity Employer. All qualified applicants will receive consideration for employment without regard to race, color, religion, sex (including pregnancy, childbirth, or related medical conditions), sexual orientation, gender identity, age, national origin, disability, family care or medical leave status, genetic information, veteran status, marital status, or any other characteristic protected by applicable federal, state, or local law.

#M-MM1 #LI-MM1 Ref: #856-Baltimore-S1

Apply