Synthesis or Formal Verification Developer

Job not on LinkedIn

🕒 June 10

Apply Now

Find Similar Remote Jobs

Set Up Email Alert For New Jobs

📊 Check your resume score for this job

Improve your chances of getting an interview by checking your resume score before you apply.

Upload Resume

YosysHQ

WebsiteLinkedInAll Job Openings

1 - 10 employees

YosysHQ is the team behind Yosys and related Open Source EDA projects, offering commercial products and services.

📋 Description

• Contribute to synthesis or formal verification • Use C++, Rust, and Python tools • Work independently and address challenges • Attend team meetings according to schedule

🎯 Requirements

• Comfortable with C++ or Rust, willing to learn others • Familiar with hardware model checking • Experience with RTL hardware design (ideally for ASIC) • Building software for engineering/science applications • Working on a compiler • Some experience involving pre-existing projects • Comfortable taking responsibility for assigned tasks

🏖️ Benefits

• Flexible remote role • Independent contractor/freelancer for an Austrian company • Team meetings usually between 3pm and 6pm Vienna time (CET/CEST) • Flat pay hierarchy