Synthesis or Formal Verification Developer

Job not on LinkedIn

🕒 April 4

🇦🇹 Austria – Remote

💵 €6k / month

⏳ Contract/Temporary

🟡 Mid-level

🟠 Senior

🖥 Software Engineer

👻 Ghost score 47%

What it means: how likely this posting is sitting open without active hiring.How to read it: 60% or higher means we think this is a ghost. Lower scores are less of a worry.How we score it: age, reposts, open roles vs team size, how fast jobs close, and whether pay is listed.Fine print: an estimate from public data, not a judgment of the company. Real jobs can score high, so treat it as a hint, not a fact.

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

🔧 Hardware

Hardware

YosysHQ is the team behind Yosys and related Open Source EDA (Electronic Design Automation) projects, offering commercial products and services. They focus on providing solutions that enhance the design process in electronics engineering and support the development of tools for hardware design.

📋 Description

• Contribute to formal verification or synthesis areas • Custom development on software components • Address challenges independently within a small team

🎯 Requirements

• Comfortable with C++ or Rust • Familiarity with hardware model checking or verification methods • Experience with RTL hardware design for ASIC (synthesis area)

🏖️ Benefits

• Flexible remote role • Independent contractor position