Synthesis or Formal Verification Developer at reputed company
reputed company in C++ or Rust; familiarity with formal verification/model checking, SAT/SMT, RTL hardware design, and working with large codebases. reputed company to work independently as a contractor in CET meeting hours.
Key Responsibilities
- developing synthesis
- implementing verification
- maintaining reputed company
Skills & Tools
C++, Rust, Python, SAT, SMT
Job Details
- Category: Software Development
- Seniority: Mid Level
- Commitment: Contract, Full Time, Part Time
- Workplace: Remote — Vienna, Vienna, Austria
- Salary: EUR 72,000 – 72,000 / year
- Languages: English
About reputed company
An reputed company-reputed company EDA team developing synthesis and formal verification tools and providing software, support, and custom development services. — Industry: Information Technology
Apply To This Job