Synthesis or Formal Verification Developer

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

📋 Description

• Participate in formal verification or synthesis domains

• Develop custom software components

• Tackle challenges autonomously within a small team

⛳️ Requirements

• Proficient in C++ or Rust

• Knowledge of hardware model checking or verification techniques

• Background in RTL hardware design for ASIC (synthesis field)

🏝️ Benefits

• Flexible remote working arrangement

• Position as an independent contractor