YosysHQ

Synthesis or Formal Verification Developer

YosysHQ

contract

Posted on:

Location Type: Remote

Location: Austria

Visit company website

Explore more

✨ AI Apply
Apply

Salary

💰 €6,000 per month

Tech Stack

PythonRust

About the role

  • Contribute to formal verification or synthesis areas
  • Work with C++, Rust, and Python
  • Collaborate with a small and busy team

Requirements

  • Comfortable with C++ or Rust
  • Familiarity with the implementation side of hardware model checking
  • Background in verification or formal methods
  • Experience with RTL hardware design
  • Familiarity with algorithms in scientific literature
  • Experience working on a compiler
  • Ability to learn independently and take responsibility for tasks
Benefits
  • Flexible remote role
  • Working as an independent contractor/freelancer
Applicant Tracking System Keywords

Tip: use these terms in your resume and cover letter to boost ATS matches.

Hard Skills & Tools
C++RustPythonhardware model checkingverification methodsRTL hardware designcompiler developmentalgorithms
Soft Skills
collaborationindependent learningresponsibility