Codasip
Codasip
Codasip — RISC-V технологиясына, қауіпсіз чиптерге және функционалдық қауіпсіздікке бағытталған жартылай өткізгіш зияткерлік меншігі және процессорлар дизайнымен айналысатын компания. Оның портфеліне CHERI қолдауы бар 64 биттік RISC-V қолданбалы ядролары, ендірілген жүйелер мен автомобильдерге арналған процессорлар, сондай-ақ Codasip Studio және CodAL тілі сияқты жобалау құралдары кіреді. Компания автомобиль өнеркәсібі, қорғаныс, авионика, өнеркәсіптік жүйелер және аса маңызды инфрақұрылым сияқты талаптары жоғары нарықтарға арналған стандартты процессорлық зияткерлік меншік пен арнайы әзірленген платформаларды дамытады. Аппараттық құралдар мен киберқауіпсіздік бағыттарында жұмыс істейтін Codasip командалары реттелетін салалардағы қолданбалардың қауіпсіздік және сенімділік талаптарын шешуге арналған процессор технологияларын жасайды.

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.

Сипаттама

  • 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

Талаптар

  • 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

Артықшылықтар

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

Ұқсас жұмыс орындары

Centorrino Technologies

Remote Risk Management Specialist — Australia

Centorrino Technologies

Implement a risk management system for regulated Australian organisations, translating governance needs into configuration, testing, reporting and adoption. Work across the implementation lifecycle with stakeholders on risk data, controls and executive reporting.

Ашу
Marsh McLennan

Claims Consultant, Liability and Property — Sydney (Hybrid)

Marsh McLennan

Manage public liability, professional indemnity and property claims for Marsh Australia’s local government clients. This hybrid Sydney role covers investigations, reserving, costs and negotiations.

Ашу
Hunt St

Remote Admin and Accounts Coordinator

Hunt St

Work remotely from the Philippines supporting an Australian industrial services business with invoicing, receivables, HR administration, and records.

Ашу
State Street

Managing Counsel, Head of Asia-Pacific Legal

State Street

Lead legal strategy for State Street Investment Management’s Asia-Pacific asset management business, advising on institutional distribution, regulation, products, and cross-border operations.

Ашу
General Motors

Staff Generative AI Researcher, World Models

General Motors

Lead research into diffusion-based world models for General Motors’ autonomous vehicles. Advance generative AI, simulation, and Level 3 autonomy through large-scale research.

Ашу
Mercor

AI Safety Red Teamer

Mercor
51 – 200 Қызметкерлер

Mercor seeks an AI Safety Red Teamer to probe frontier models with adversarial prompts. The work focuses on finding weaknesses and helping AI lab partners improve model alignment, robustness, and safety.

Ашу
Mercor

AI Safety Red Teamer

Mercor
51 – 200 Қызметкерлер

Red-team frontier AI systems for Mercor partner labs by exposing vulnerabilities and assessing high-risk model behavior. Design adversarial prompts and help document safety findings.

Ашу