ZipRecruiter

Log In

2

Remote Formal Verification Engineer Jobs in Ohio

Altronic, LLC

Applications Engineer

Girard, OH · On-site +1

Key Responsibilities • Provide remote technical support to customers and distributors ... A formal engineering degree is welcome but not required; equivalent field experience is also ...

Merative

$109K - $164K/yr

... Engineer (Mid-Level) plays a hands-on role in building and operating SCIA's automation platform ... Remote first / work from home culture * Flexible vacation to help you rest, recharge, and connect ...

next page

Showing results 1-20

All JobsFormal Verification Engineer JobsRemote Formal Verification Engineer JobsRemote Formal Verification Engineer Jobs in Ohio

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 the most commonly searched types of Formal Verification Engineer jobs in Ohio? The most popular types of Formal Verification Engineer jobs in Ohio are:
What are popular job titles related to Remote Formal Verification Engineer jobs in Ohio? For Remote Formal Verification Engineer jobs in Ohio, the most frequently searched job titles are:
What job categories do people searching Remote Formal Verification Engineer jobs in Ohio look for? The top searched job categories for Remote Formal Verification Engineer jobs in Ohio are:
What cities in Ohio are hiring for Remote Formal Verification Engineer jobs? Cities in Ohio with the most Remote Formal Verification Engineer job openings:
Remote Formal Verification Engineer jobs near you
Remote Sensing Software Engineer

Remote Sensing Software Engineer

Booz Allen Hamilton, Inc.

Dayton, OH • On-site, Remote

$69K - $158K/yr

Full-time, Part-time

Medical, Life, Retirement, PTO

Posted 23 days ago

Booz Allen Hamilton rating

8.8

Company rating: 8.8 out of 10

Based on 47 frontline employees who took The Breakroom Quiz

9th of 58 rated business consultants

Job description


Remote Work:
No
Job Number:
R0242684
Location:
Dayton,OH,US
Share job via:
Share
Remote Sensing Software Engineer
The Opportunity
At Booz Allen, you'll join a team using advanced imaging, physics-based modeling, and AI/ML to solve some of the nation's most compelling Space Domain Awareness (SDA) and remote sensing challenges. You'll contribute to the design and development of high-fidelity processing pipelines that transform raw sensor data into insight.
You'll join a collaborative technical delivery team where you'll contribute to secure, reliable, user centric tools that accelerate mission outcomes.
What You'll Do:
  • Develop software tools for radiometric modeling and satellite observation geometry
  • Implement imaging and signal processing workflows including motion compensation, multi-frame alignment, and super-resolution
  • Build ML enabled detection, anomaly identification, and object classification modules using operational EO/IR and synthetic datasets
  • Design scientific Python pipelines, such as NumPy, OpenCV, Astropy, or SciPy, for real time and batch processing
  • Support orbital modeling tasks, such as SGP4, TLE ingestion, or basic pose estimation
  • Conduct imagery preprocessing such as radiometric calibration, artifact correction, and multi-frame filtering
  • Maintain reproducible environments using GitLab, containers, and experiment-tracking tools
  • Collaborate with astrodynamics SMEs, operations personnel, and ML engineers to deliver integrated mission capabilities

Join us. The world can't wait.
You Have:
  • 4+ years of experience with remote sensing, image processing, or GEOINT data exploitation
  • Experience designing, modifying, developing, writing, and implementing software programming applications using agile methods
  • Experience with Python and scientific Python packages such as NumPy, SciPy, OpenCV, or xarray
  • Experience with basic orbital mechanics
  • Experience with ML frameworks such as PyTorch or TensorFlow
  • Experience with large sensor datasets such as HDF5 or cloud object storage
  • Active TS/SCI clearance; willingness to take a polygraph exam
  • Bachelor's degree in a STEM field

Nice If You Have:
  • Experience with administration of continuous integration/continuous deployment (CI/CD) pipelines using Kubernetes, Docker, or Jenkins
  • Experience with sensor phenomenology, radiometric calibration, or remote sensing interpretation
  • Experience with super-resolution, deblurring, spectral exploitation, or resolved feature extraction
  • Experience with uncertainty quantification, Kalman filtering, or tracking algorithms
  • Experience with AI augmented development workflows or agentic tools
  • Experience with GitLab based CI/CD workflows
  • Master's degree in an engineering field, or Physics, Mathematics, Computer Science, or a related STEM field

Clearance:
Applicants selected will be subject to a security investigation and may need to meet eligibility requirements for access to classified information; TS/SCI clearance is required.
Compensation
At Booz Allen, we celebrate your contributions, provide you with opportunities and choices, and support your total well-being. Our offerings include health, life, disability, financial, and retirement benefits, as well as paid leave, professional development, tuition assistance, work-life programs, and dependent care. Our recognition awards program acknowledges employees for exceptional performance and superior demonstration of our values. Full-time and part-time employees working at least 20 hours a week on a regular basis are eligible to participate in Booz Allen's benefit programs. Individuals that do not meet the threshold are only eligible for select offerings, not inclusive of health benefits. We encourage you to learn more about our total benefits by visiting the Resource page on our Careers site and reviewing Our Employee Benefits page.
Salary at Booz Allen is determined by various factors, including but not limited to location, the individual's particular combination of education, knowledge, skills, competencies, and experience, as well as contract-specific affordability and organizational requirements. The projected compensation range for this position is $69,300.00 to $158,000.00 (annualized USD). The estimate displayed represents the typical salary range for this position and is just one component of Booz Allen's total compensation package for employees. This posting will close within 90 days from the Posting Date.
Identity Statement
As part of the hiring process, we will ask you to complete an identity verification process that leverages advanced biometrics and artificial intelligence to ensure authenticity and protect against identity fraud. You are expected to be on camera during interviews and assessments. We reserve the right to take your picture to verify your identity and prevent fraud.
Candidate AI Usage Policy
AI is a part of our daily work at Booz Allen, and we are committed to the responsible and ethical use of AI tools. However, we want to ensure a fair candidate process based on your own skills and knowledge. As part of this commitment, the use of artificial intelligence (AI) or other tools to assist with responses during interviews (whether in-person or virtual) is prohibited unless permission is explicitly provided.
Work Model
Our people-first culture prioritizes the benefits of collaboration, whether it occurs in person or virtually. To support engagement and effective communication, employees working virtually are generally expected to have their cameras on during meetings.
  • Remote: If this position is listed as remote, there may still be occasions when you are required to work in person at a Booz Allen or customer facility.
  • Hybrid: If this position is listed as hybrid, you will be expected to work from a Booz Allen facility frequently, in alignment with leadership expectations and the needs of the role. You may also be required to work from or visit a customer facility.
  • Onsite: If this position is listed as onsite, work will primarily be performed at a Booz Allen office or customer facility, where employees will collaborate directly with colleagues and customers as required by the role.

Commitment to Non-Discrimination
All qualified applicants will receive consideration for employment without regard to disability, status as a protected veteran or any other status protected by applicable federal, state, local, or international law.
Not ready to apply? Join our Talent Community and sign up for job alerts.

What Booz Allen Hamilton employees say

Pay

Benefits

Hours and flexibility

Workplace

Get the full story on Breakroom

Booz Allen Hamilton logo

About Booz Allen Hamilton

Sourced by ZipRecruiter

Booz Allen Hamilton is a leading provider of management and technology consulting services to the US government in defense, intelligence, and civil markets. Headquartered in McLean, Virginia, the firm also serves major corporations, institutions, and not-for-profit organizations. Founded in 1914 by Edwin G. Booz, the company has a long-standing tradition of helping clients achieve success by delivering a wide range of consulting services that include strategic planning, human capital and learning, communication, systems development, and others. The company's mission is to empower people to change the world, and it has a reputation for maintaining the highest standards of integrity and-excellence.

Industry

It services

Company size

10,000+ Employees

Headquarters location

McLean, VA, US

Year founded

1914

View All Booz Allen Hamilton Jobs

Apply