Remote Synthesis/Formal Verification Engineer (Contract)

YosysHQ; Wien; Remote; Vertraulich; Part time

Job summary

A leading EDA software company in Austria is seeking a skilled individual for contributions in formal verification and synthesis. This remote role offers flexibility and a flat pay structure of €6000/month for full-time work. Candidates should be comfortable with C++ or Rust and have experience in RTL hardware design or verification. Interested individuals are encouraged to apply with their CV and a cover letter detailing their relevant experience.

Qualifications

• Comfortable with C++ or Rust, willing to learn the others.
• Familiar with hardware model checking implementation.
• Experience in verification or formal methods.

Responsibilities

• Contribute to formal verification or synthesis areas.
• Take responsibility for assigned tasks and work independently.

Skills

C++

Rust

Python

RTL hardware design

Experience with verification

Job description

A leading EDA software company in Austria is seeking a skilled individual for contributions in formal verification and synthesis. This remote role offers flexibility and a flat pay structure of €6000/month for full-time work. Candidates should be comfortable with C++ or Rust and have experience in RTL hardware design or verification. Interested individuals are encouraged to apply with their CV and a cover letter detailing their relevant experience.