Codasip
Codasip
Codasip este o companie specializată în proprietate intelectuală pentru semiconductori și proiectarea procesoarelor, cu accent pe tehnologia RISC-V, siliciu securizat și siguranță funcțională. Portofoliul său include nuclee de aplicații RISC-V pe 64 de biți compatibile cu CHERI, procesoare pentru sisteme încorporate și industria auto, precum și instrumente de proiectare precum Codasip Studio și limbajul CodAL. Compania dezvoltă atât proprietate intelectuală standard pentru procesoare, cât și platforme personalizate pentru piețe cu cerințe ridicate, inclusiv industria auto, apărare, avionică, sisteme industriale și infrastructuri critice. Prin intermediul echipelor care lucrează în domeniul hardware și al securității cibernetice, Codasip dezvoltă tehnologii pentru procesoare menite să răspundă nevoilor de securitate și fiabilitate ale aplicațiilor reglementate.

Verification Engineer – RISC-V CPUs (Hybrid, Czechia)

Join Codasip to verify RISC-V processors and extensions within a secure semiconductor architecture company. Build automated verification flows for advanced CPU designs.

Descriere

  • Validate RISC-V processors and processor extensions
  • Create verification solutions spanning testbenches, testbench components, stimulus generation, and formal environments
  • Work with engineers to complete verification activities for components and subsystems
  • Establish verification strategies for blocks and subsystems and choose suitable tools
  • Assess technical specifications and provide feedback focused on verification
  • Execute simulations, investigate defects, and determine root causes for complex issues
  • Plan, estimate, prioritize, and monitor assigned work
  • Measure and report verification performance metrics
  • Develop automated verification workflows
  • Verify advanced CPUs, including complex out-of-order processor designs
  • Own designated areas of the design and apply multiple verification approaches

Cerințe

  • Be currently based in the Czech Republic and have the right to work there
  • Have commercial experience applying functional processor verification methods to CPUs or other ASICs, including simulation, test generation, coverage analysis, and gate-level simulation
  • Understand verification of CPU architectures or other intellectual property
  • Write clear, concise code in SystemVerilog, Python, C++, Rust, or a comparable language
  • Have previously owned verification for a design block
  • Use Linux to automate routine tasks
  • Know version-control tools such as Git and SVN
  • Understand the RISC-V architecture
  • Have a strong understanding of computer systems and architecture
  • Demonstrate analytical thinking and collaborative team skills
  • Work effectively across teams to debug problems and identify root causes

Beneficii

  • The posting does not specify benefits, perks, or additional compensation.

Locuri de muncă similare

Premier Auto Credit

Outside Sales Representative, Auto Finance — California

Premier Auto Credit

Build dealership partnerships and grow auto finance business across California. Structure subprime deals, generate applications, and earn uncapped commissions through field sales.

Deschide
Tiger Analytics

Senior Financial Crime Compliance Business Analyst

Tiger Analytics

Bridge financial-crime compliance teams and IT at Tiger Analytics, an advanced analytics consulting firm. Define AML requirements, data mappings, monitoring rules, and user acceptance testing scenarios.

Deschide
DEKRA North America

General Manager, Process Safety Testing

DEKRA North America

Lead DEKRA’s Princeton process safety testing laboratory, with responsibility for its P&L, safety, quality, and daily operations. Guide business growth, technical delivery, and development of a 15–25-person team.

Deschide
Acorn Stairlifts, Inc.

Customer Support Agent – Orlando, FL (On-Site)

Acorn Stairlifts, Inc.

Support Acorn Stairlifts customers and dealers with technical questions, service scheduling, warranty assistance, and RMA processing. This full-time, on-site role is based in Orlando, Florida.

Deschide