Synthesis or Formal Verification Developer - Remote

About the Role

Join YosysHQ as a Synthesis or Formal Verification Developer in this exciting remote position. As a key member of our team, you'll contribute to innovative open-source EDA projects, pushing the boundaries of electronic design automation (EDA). This role offers the flexibility to work from anywhere in the world while collaborating with a dynamic team of professionals.

What You'll Do

• Contribute to synthesis or formal verification areas, enhancing our open-source tools.
• Utilize your expertise in C++ or Rust, and be open to learning new programming languages.
• Work independently with limited supervision, managing your tasks effectively.
• Participate in team meetings typically scheduled between 3 PM and 6 PM Vienna time.
• Engage with large pre-existing projects, applying your knowledge of hardware model checking.

Requirements

• Proficiency in C++ or Rust is essential; familiarity with hardware model checking is a plus.
• Experience in RTL hardware design, ideally for ASIC, is beneficial.
• Background in verification or formal methods is advantageous.
• Ability to work independently and manage tasks without direct supervision.
• Passion for contributing to open-source tools and projects.

Nice to Have

• Experience with large-scale projects in the EDA domain.
• Willingness to learn and adapt to new technologies and methodologies.
• Strong communication skills for effective collaboration within a remote team.

What We Offer

• Work from anywhere in the world, providing you with the flexibility to balance work and life.
• Flexible working hours tailored to your schedule.
• Opportunity to work on innovative open-source projects that make a difference.
• Collaborate with a small, dynamic team that values equality and inclusivity.
• Flat pay structure promoting equality within the team, with a competitive rate of 6000€/month.