Entwickler (m/w/d) für Synthese oder formale Verifikation bei YosysHQ

Stelle nicht auf LinkedIn

🔥 vor 47 Minuten

🌏 Überall auf der Welt

💵 €6.000 / Monat

⏳ Vertrag

🟡 Mittelstufe

🟠 Senior

🖥 Softwareentwickler

👻 Geisterscore 6%

Was es bedeutet: wie wahrscheinlich diese Stelle offen bleibt, ohne dass aktiv eingestellt wird.So liest du es: 60 % oder höher heißt, wir halten das für einen Geisterjob. Niedrigere Werte sind weniger bedenklich.Wie wir werten: Dauer offen, Neuveröffentlichungen, offene Stellen vs Teamgröße, wie schnell Stellen geschlossen werden, und ob ein Gehalt angegeben ist.Hinweis: eine Schätzung aus öffentlichen Daten, kein Urteil über das Unternehmen. Echte Stellen können hoch punkten, nutze es also als Hinweis, nicht als Fakt.

Jetzt Bewerben

Ähnliche Remote-Jobs finden

E-Mail-Benachrichtigung für neue Jobs einrichten

📊 Überprüfen Sie Ihre Lebenslauf-Bewertung für diese Stelle

Verbessern Sie Ihre Chancen auf ein Vorstellungsgespräch, indem Sie Ihre Lebenslauf-Bewertung vor der Bewerbung überprüfen.

Lebenslauf hochladen

YosysHQ

WebsiteLinkedInAlle Stellen

1 - 10 Mitarbeiter

🔧 Hardware

Hardware

YosysHQ ist das Team hinter Yosys und verwandten Open Source EDA-Projekten und bietet kommerzielle Produkte und Dienstleistungen an.

Beschreibung

• Mitarbeit an den Schwerpunktbereichen Synthese oder formale Verifikation bei YosysHQ • Entwicklung und Pflege von Open-Source-EDA-Tools und Softwarepaketen • Arbeit an Tools für die formale Verifikation mit C++, Rust und Python • Implementierung von Hardware-Model-Checking und verwandten formalen Methoden • Entwicklung von Synthesefunktionen mit C++ und Kenntnissen im RTL-Hardwaredesign • Individuelle Entwicklung einzelner Funktionen und vollständiger Abläufe auf Basis der Softwarekomponenten von YosysHQ • Unterstützung und Schulung von Nutzern und Entwicklern, die mit der Software arbeiten • Eigenständige Übernahme der Verantwortung für zugewiesene Aufgaben und Lösung von Herausforderungen • Teilnahme an Teammeetings, die in der Regel zwischen 15:00 und 18:00 Uhr Wiener Zeit (MEZ/MESZ) stattfinden

🎯 Anforderungen

• Sicherer Umgang mit C++ oder Rust für die formale Verifikation sowie Bereitschaft, die jeweils andere Sprache und Python zu erlernen • Vertrautheit mit der Implementierung von Hardware-Model-Checking oder Erfahrung mit Verifikation bzw. formalen Methoden, beispielsweise SAT-/SMT-Solvern, automatisiertem oder interaktivem Theorem Proving, Programmiersprachentheorie oder Automatentheorie • Erste Berührungspunkte mit RTL-Hardwaredesign im Bereich der formalen Verifikation • Sicherer Umgang mit C++ für die Synthese • Erste Erfahrung mit RTL-Hardwaredesign, idealerweise für ASICs • Übertragbare Erfahrung in der Entwicklung von Software für technische oder wissenschaftliche Anwendungen, der Implementierung von Algorithmen aus wissenschaftlicher Literatur oder der Arbeit an einem Compiler • Erfahrung darin, sich in ein umfangreiches, bereits bestehendes Projekt einzuarbeiten • Fähigkeit, Verantwortung zu übernehmen, selbstständig zu arbeiten und Herausforderungen ohne umfangreiche Betreuung zu bewältigen • Wohnsitz darf sich nicht in einem Land befinden, das Sanktionen oder Exportbeschränkungen unterliegt; außerdem darf kein Ausschluss von Tätigkeiten für die US-Regierung bestehen • Für die Bewerbung sind ein Lebenslauf und ein kurzes Anschreiben erforderlich

🏖️ Vorteile

• Flexibles Arbeiten im Homeoffice – unabhängig vom Aufenthaltsort • Flexible Arbeitszeiten; außerhalb der Teammeetings freie Wahl der Arbeitszeit • Teilzeitoption mit 1 bis 5 Arbeitstagen pro Woche • Flache Vergütungsstruktur mit demselben Vergütungssatz für alle • Möglichkeit, an Open-Source-EDA-Projekten zu arbeiten • Arbeit mit Technologien für Synthese und formale Verifikation • Unterstützung und Schulung für Nutzer und Entwickler der Softwarepakete