Synthesis or Formal Verification Developer

This is a fully remote position, open to applicants in Austria.

📋 Description

• Contribute to the synthesis or formal verification domains at YosysHQ.

• Develop and uphold tools using C++, Rust, and Python.

• Engage in the implementation of hardware model checking and formal methods, or RTL/ASIC synthesis workflows.

• Create software for engineering or scientific applications, implement algorithms from scientific literature, or participate in compiler-related projects.

• Familiarize yourself with and contribute to a significant pre-existing open-source project.

• Take ownership of assigned tasks and tackle challenges autonomously.

• Contribute to Yosys and the broader open-source EDA ecosystem.

• Potentially engage with or contribute to YosysHQ’s open-source tools.

⛳️ Requirements

• Proficient in C++ or Rust for formal verification; openness to learning additional languages, including Python.

• Familiarity with the implementation of hardware model checking is preferred.

• Alternatively, a background in verification or formal methods such as SAT/SMT solving, automated/interactive theorem proving, programming language theory, or automata theory.

• Some exposure to RTL hardware design for formal verification.

• Proficient in C++ for synthesis tasks.

• Experience with RTL hardware design, ideally in ASIC environments.

• Background in building software for engineering or science applications, implementing algorithms from scientific literature, or working on compilers may be relevant to this role.

• Experience in becoming acquainted with a large, pre-existing project.

• Ability to take charge of assigned tasks and work independently with minimal supervision.

• Must not reside in a country subject to sanctions or export restrictions, nor be prohibited from working for the US government.

• A CV and a brief cover letter are required for application submission.

🏝️ Benefits

• Flexible remote work options.

• Flexible working hours.

• Part-time opportunities available (1–5 days per week).

• Flat pay hierarchy, ensuring equal rates for all team members.

• Freedom to work from any location.

• Team meetings typically scheduled between 3pm and 6pm Vienna time (CET/CEST), with the flexibility to choose your own working hours.