2

Remote Formal Verification Jobs in Ohio (NOW HIRING)

$109K - $164K/yr

... formal change management and release controls Expected Impact Within the first 6-12 months, this ... Remote first / work from home culture * Flexible vacation to help you rest, recharge, and connect ...

... formal advisor to student pre-law organizations as requested. Minimum Qualifications: Required ... This organization participates in E-Verify. Remote Work For positions that are approved for remote ...

Postdoctoral Fellow - Neuroscience

Oxford, OH · On-site +1

$46K - $62K/yr

D. degree in Psychology, Neuroscience, or a closely related field by date of appointment; formal ... This organization participates in E-Verify. Remote Work For positions that are approved for remote ...

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

$106K - $150K/yr

Remote, US About the Role The Alliance Manager is responsible for managing and expanding a formal ... Information collected during the hiring process is used solely to assess qualifications, verify ...

Remote Formal Verification information

What is remote formal verification?

Remote formal verification refers to the process of using mathematical techniques and specialized software tools to rigorously prove the correctness of hardware or software systems, typically while working from a remote location. Unlike traditional testing, formal verification provides guarantees about system behavior by checking against formal specifications. Professionals in this field often collaborate with teams online, review code or hardware designs, and use tools such as model checkers or theorem provers to identify and eliminate potential errors before deployment.

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

AspectRemote Formal VerificationRemote Hardware Verification
CredentialsTypically requires degrees in Computer Science or Electrical Engineering, plus certifications in formal methodsRequires degrees in Electrical Engineering, Computer Engineering, or related fields; certifications may include FPGA or ASIC design
Work EnvironmentPrimarily focused on software tools, modeling, and mathematical proofs, often in a remote settingInvolves testing and validation of hardware prototypes or designs, often in labs or remotely via simulation tools
Industry UsageUsed in semiconductor, aerospace, and safety-critical software industriesCommon in semiconductor, electronics manufacturing, and embedded systems industries

Remote Formal Verification focuses on mathematically proving the correctness of hardware or software designs using formal methods, often in a software-centric environment. Remote Hardware Verification involves testing physical hardware or simulations to ensure hardware functions correctly. Both roles require technical expertise but differ in their focus on software proofs versus hardware testing.

What are some common challenges faced by remote formal verification engineers, and how can they be addressed?

Remote formal verification engineers often face challenges related to effective collaboration and communication, as formal verification requires close coordination with design and verification teams. Working across time zones and relying on digital tools can make it harder to quickly resolve ambiguities in specifications or debug issues. To address these challenges, it’s essential to establish clear documentation practices, schedule regular video meetings, and actively participate in code reviews and knowledge-sharing sessions. Leveraging collaborative platforms and maintaining open communication channels can help mitigate the impact of physical distance and ensure project goals are met efficiently.

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 expertise in digital design, formal methods, and verification methodologies, usually supported by a degree in electrical engineering, computer engineering, or computer science. Familiarity with formal verification tools like JasperGold, Questa Formal, or OneSpin, and proficiency in hardware description languages (HDLs) such as Verilog or VHDL are critical. Strong analytical thinking, attention to detail, and clear communication are standout soft skills, especially when collaborating remotely with global teams. These skills and qualifications are essential to ensure that complex hardware designs are reliable, bug-free, and meet stringent industry standards.
What are the most commonly searched types of Formal Verification jobs in Ohio? The most popular types of Formal Verification jobs in Ohio are:
What cities in Ohio are hiring for Remote Formal Verification jobs? Cities in Ohio with the most Remote Formal Verification job openings:
Certified Medical Dosimetrist

Certified Medical Dosimetrist

University Hospitals

Avon, OH • Remote

Full-time

Re-posted 7 days ago


University Hospitals rating

7.3

Company rating: 7.3 out of 10

Based on 618 frontline employees who took The Breakroom Quiz

302nd of 886 rated healthcare providers


Job description

  • A Brief Overview:
    The Dosimetrist I is an entry-level dosimetry professional responsible for developing treatment plans under the
    supervision and guidance of senior dosimetrists and medical physicists. This role focuses on applying
    fundamental knowledge of anatomy, radiation physics, and oncology principles to create accurate, safe, and
    effective treatment plans using established protocols. The Dosimetrist I assists in contouring, dose calculation,
    and plan verification, while learning to operate and support the treatment planning and record-and-verify
    systems. The individual works collaboratively with physicians, physicists, and therapists to support efficient
    patient care. This position emphasizes developing technical proficiency, gaining exposure to complex cases, and
    demonstrating sound judgment in clinical decision-making under direct oversight. The Dosimetrist I position
    requires completion of a probationary training period, typically 3-6 months as determined by evaluations from
    the Director of Physics & Dosimetry, prior to transitioning to a fully remote model. Continued remote work is
    contingent upon demonstrated ability to perform all assigned duties effectively and independently. The individual
    must commit to a fixed schedule within standard clinic hours (7 am to 6 pm) and remain readily available during
    those hours via the department's preferred communication platform. While the role is designed to function
    remotely, the dosimetrist must be able to travel to a UH Seidman Cancer Center Radiation Oncology location
    within a reasonable time frame in the event of a network outage, system downtime, or other urgent on-site
    needs.


    What You Will Do:
    Design treatment plans (3D-CRT, IMRT, VMAT, SBRT) to deliver prescribed radiation doses with optimal
    beam geometry.
    Contour normal tissues and dose-limiting structures using one or more imaging modalities.
    Perform secondary dose calculations to confirm treatment accuracy.
    Perform image fusion (e.g. MR Brain fusions) across multiple datasets per physician/physicist guidance.
    Create and transfer reference images and localization marks for patient setup verification.
    Transfer and process images between PACS, treatment planning systems, and other image platforms.
    Document all pertinent treatment planning information in the record-and-verify system and electronic
    medical record (EMR), following departmental standards.
    Participate as part of the general dosimetry planning pool.
    Contribute to the development of departmental dosimetry policies and procedures under the guidance of
    clinical operations leadership.
    Attend required dosimetry meetings, teaching sessions, and departmental seminars.
     

Additional Responsibilities

  • Performs other duties as assigned.
  • Complies with all policies and standards.
  • For specific duties and responsibilities, refer to documentation provided by the department during orientation.
  • Must abide by all requirements to safely and securely maintain Protected Health Information (PHI) for our patients. Annual training, the UH Code of Conduct and UH policies and procedures are in place to address appropriate use of PHI in the workplace.

Education Qualifications
Associate's Degree Graduate of an accredited hospital or University affiliated formal dosimetry program
(Required) or
Bachelor's Degree Graduate of an accredited hospital or University affiliated formal dosimetry program
(Preferred)


Experience Qualifications
Experience with treatment planning systems (RayStation preferred) and familiarity with multiple
modalities including 3D-CRT, IMRT, VMAT, and SBRT. (Preferred) and
Experience with linear accelerator platforms, including Varian and Elekta systems. (Required) and
Proficiency with secondary dose calculation software such as RadCalc. (Required) and
Experience using record-and-verify systems such as Mosaiq. (Required) and
Familiarity with image registration and contouring software (e.g., MIM). (Required) and
Experience working within electronic medical record (EMR) systems. (Required) and
Competence in using computers, remote access tools, and standard office software to support clinical
operations. (Required) 


Skills and Abilities
In-depth knowledge of radiation therapy principles, methods, and procedures, including treatment
planning techniques for 2D, 3D-CRT, IMRT, VMAT, and SBRT. (Required proficiency)
Knowledge of linear accelerators, simulators, CT scanners, and their role in treatment planning and
delivery. (Required proficiency)
Strong understanding of data transfer processes and verification of treatment information in record-andverify
systems. (Required proficiency)
Familiarity with imaging modalities and image fusion techniques to support accurate contouring and plan
development. (Required proficiency)
Strong organizational and time management skills to prioritize tasks in a complex clinical environment.
(Required proficiency)
Effective written and oral communication skills to collaborate with physicians, physicists, therapists, and
other members of the care team. (Required proficiency)
Ability to work independently and as part of a multidisciplinary team. (Required proficiency)
Technical proficiency with computers, remote access platforms, and standard office software to support
both clinical and remote workflows. (Required proficiency)
Strong problem-solving and critical thinking skills to troubleshoot planning and workflow challenges.
(Required proficiency)
Commitment to maintaining accuracy, attention to detail, and adherence to patient safety and quality
standards. (Required proficiency)
Licenses and Certifications
Certified Medical Dosimetrist (CMD) (Required Upon Hire)

Travel Requirements

  • 10%

What University Hospitals employees say

Pay

Benefits

Hours and flexibility

Workplace

Get the full story on Breakroom


University Hospitals logo

About University Hospitals

Sourced by ZipRecruiter

For more than 155 years, University Hospitals has been on a mission to heal, teach and discover. As a renowned academic medical center and community hospital network, we’ve expanded across Northeast Ohio to deliver what matters most to our patients: personalized, compassionate care; medical discovery and breakthroughs; and high-quality, affordable care close to home.

Industry

Health care and social assistance

Company size

10,000+ Employees

Headquarters location

Cleveland, OH, US

Year founded

1866