Codasip
Codasip
Codasip ist ein Unternehmen für Halbleiter-IP und Prozessorentwicklung mit Schwerpunkt auf RISC-V-Technologie, sicheren Chips und funktionaler Sicherheit. Das Portfolio umfasst CHERI-fähige 64-Bit-RISC-V-Anwendungskerne, Embedded- und Automobilprozessoren sowie Designwerkzeuge wie Codasip Studio und die CodAL-Sprache. Das Unternehmen entwickelt sowohl standardisierte Prozessor-IP als auch maßgeschneiderte Plattformen für anspruchsvolle Märkte wie die Automobilindustrie, Verteidigung, Avionik, industrielle Systeme und kritische Infrastrukturen. Mit Teams aus den Bereichen Hardware und Cybersicherheit entwickelt Codasip Prozessortechnologien, die auf die Sicherheits- und Zuverlässigkeitsanforderungen regulierter Anwendungen ausgerichtet sind.

Verifikationsingenieur – RISC-V-CPUs (Hybrid, Tschechien)

Werden Sie Teil von Codasip und verifizieren Sie RISC-V-Prozessoren und -Erweiterungen in einem sicheren Unternehmen für Halbleiterarchitekturen. Entwickeln Sie automatisierte Verifikationsabläufe für fortschrittliche CPU-Designs.

Beschreibung

  • RISC-V-Prozessoren und Prozessorerweiterungen validieren
  • Verifikationslösungen entwickeln, die Testbenches, Testbench-Komponenten, Stimulus-Generierung und formale Umgebungen umfassen
  • Mit Ingenieurinnen und Ingenieuren zusammenarbeiten, um Verifikationsaktivitäten für Komponenten und Subsysteme abzuschließen
  • Verifikationsstrategien für Blöcke und Subsysteme festlegen und geeignete Tools auswählen
  • Technische Spezifikationen bewerten und gezieltes Feedback zur Verifikation geben
  • Simulationen durchführen, Fehler untersuchen und die Ursachen komplexer Probleme ermitteln
  • Zugewiesene Aufgaben planen, schätzen, priorisieren und überwachen
  • Kennzahlen zur Verifikationsleistung messen und berichten
  • Automatisierte Verifikations-Workflows entwickeln
  • Fortschrittliche CPUs verifizieren, einschließlich komplexer Prozessor-Designs mit Out-of-Order-Ausführung
  • Verantwortung für bestimmte Designbereiche übernehmen und mehrere Verifikationsansätze anwenden

Anforderungen

  • Derzeit in der Tschechischen Republik ansässig sein und über eine Arbeitserlaubnis für das Land verfügen
  • Kommerzielle Erfahrung mit funktionalen Prozessorverifikationsmethoden für CPUs oder andere ASICs haben, einschließlich Simulation, Testgenerierung, Coverage-Analyse und Gate-Level-Simulation
  • Die Verifikation von CPU-Architekturen oder anderem geistigem Eigentum verstehen
  • Klaren, präzisen Code in SystemVerilog, Python, C++, Rust oder einer vergleichbaren Sprache schreiben
  • Bereits die Verifikation eines Designblocks verantwortet haben
  • Linux zur Automatisierung routinemäßiger Aufgaben verwenden
  • Versionsverwaltungstools wie Git und SVN kennen
  • Die RISC-V-Architektur verstehen
  • Ein ausgeprägtes Verständnis von Computersystemen und Computerarchitektur haben
  • Analytisches Denken und ausgeprägte Fähigkeiten zur Zusammenarbeit im Team zeigen
  • Effektiv teamübergreifend arbeiten, um Probleme zu debuggen und ihre Ursachen zu ermitteln

Zusatzleistungen

  • Die Ausschreibung nennt keine Vorteile, Zusatzleistungen oder zusätzliche Vergütung.

Ähnliche Stellen

Mayer Brown

Juristische persönliche Assistenz, Immobilienrecht

Mayer Brown
1.001 – 5.000 Mitarbeitende
B2BRecht

Unterstützen Sie den geschäftsführenden Partner des Londoner Immobilienbüros von Mayer Brown bei komplexer Terminplanung, Reisen, Dokumenten, Mandatsarbeit und Geschäftsentwicklung. Die Aufgabe verbindet vertrauliche Assistenz für Führungskräfte mit Mandatsverwaltung und Veranstaltungsorganisation.

Öffnen
Liquidity Services

Remote eCommerce-Analyst/in II

Liquidity Services

Betreuen Sie eCommerce-Programme für Kunden bei Liquidity Services und koordinieren Sie Marktplatzabläufe sowie die Zusammenarbeit verschiedener Teams. Analysieren Sie Leistungsdaten und leiten Sie Empfehlungen ab, die Ergebnisse verbessern.

Öffnen
BetterMe

Junior-Spezialist:in für digitales Marketing, Meta Ads

BetterMe

Steigere die Nutzergewinnung von BetterMe über Meta Ads und verbessere die Kampagnenleistung mit KI-Tools und kreativen Tests. Entwickle gemeinsam mit den Teams für Kreation, Analytics und Produkt Full-Funnel-Strategien und prognostiziere ihre geschäftlichen Auswirkungen.

Öffnen
Blitt & Gaines Law Offices

Rechtsanwalt (Associate) im Inkassorecht

Blitt & Gaines Law Offices
201 – 500 Mitarbeitende
Recht

Vertretung von Finanzinstituten in Inkassoverfahren – von der Prüfung von Forderungen und der Erstellung von Schriftsätzen bis zu Gerichtsterminen und streitigen Verfahren. Bearbeitung von Fällen vor Gerichten in Arkansas, einschließlich Prozessen und Schiedsverfahren.

Öffnen
University of Edinburgh Information Services Group

Fachkraft für digitales Marketing

University of Edinburgh Information Services Group
501 – 1.000 Mitarbeitende
BeratungGesundheitswesenLogistik

Vermarkten Sie die schottlandweiten Innovationsförderangebote von Interface mit digitalen Kampagnen, Plattformen und evidenzbasierten Inhalten. Die Tätigkeit richtet sich an Zielgruppen aus Wissenschaft und Wirtschaft.

Öffnen