deliverables Review and support FV test plans YOU NEED TO POSSESS THE FOLLOWING KNOWLEDGE AND SKILLS: Passion for electronics, embedded SW, or programming and algorithms Model checking and/or theorem proving Experience with formal verification techniques (abstractions, constraints, coverage, equivalence checking, etc.) Knowledge of HDL languages (Verilog, SystemVerilog, VHDL … languages, e.g. Python Communicative English NICE-TO-HAVES: Desire to play a role in shaping the RISC-V world of tomorrow Interest in complex algorithms Experience in FV tools (QuestaFormal, OneSpin, Jasper, VC Formal) WHAT WE CAN OFFER YOU: Opportunity to work with RISC-V, computer architecture of the future more »
bristol, south west england, United Kingdom Hybrid / WFH Options
The ONE Group Ltd
Are you passionate about Algorithm, and have a keen interest in working on some high-tech projects? Want a job for life? One that will provide you with invaluable skills and the opportunity to work with some of the highest more »
Gloucester, Gloucestershire, South West, United Kingdom Hybrid / WFH Options
Ad Warrior
SEO Executive Location: Gloucester Salary: £24,000 - £30,000 per year Are you an SEO Executive looking to join a collaborative and friendly marketing agency based in Gloucestershire? Our client is one of the South Wests fastest-growing digital marketing more »
RF Engineer Domain: Electronic Warfare Location : Bristol, BS34 7QS Onsite: 2/3 days per week The Opportunity: Europe’s #1 Integrated Defence Company seeks a talented RF Electronic Warfare Engineer to support complex design and engineering activities for next more »