Synthesis or Formal Verification Developer at YosysHQ

Sie kennen YosysHQ vielleicht von unseren vielen Open Source EDA-Projekten. Wir sind die Maintainer von Yosys und dem dazugehörigen Open Source EDA-Ökosystem. Unser Team erweitert die Grenzen der EDA auf interessante und unerwartete Weise und macht diese Werkzeuge und Methoden für Fachleute, Hobbyisten und Akademiker gleichermaßen verfügbar. Wir bieten sofort einsatzbereite Softwarepakete an, die unsere Werkzeuge nahtlos in industrielle Entwurfsumgebungen integrieren und Unterstützung sowie Schulungen für Benutzer unserer Softwarepakete bereitstellen. Wir bieten auch die individuelle Entwicklung von Funktionen und gesamten Abläufen basierend auf unseren Softwarekomponenten sowie Unterstützung und Schulung für Entwickler, die an benutzerdefinierten Projekten basierend auf unserer Open Source-Arbeit arbeiten.

Wir sind etwa 12 Personen mit zwei Hauptfokusbereichen: Synthese und formale Verifikation. Wenn Sie zu einem dieser Bereiche beitragen können, freuen wir uns auf Ihre Bewerbung.

Aufgaben

• Für den Bereich der formalen Verifikation: Unsere Werkzeuge verwenden C++, Rust und Python. Sie sollten bereits mit entweder C++ oder Rust vertraut sein und bereit sein, die anderen zu lernen. Idealerweise wären Sie mit der Implementierungsseite des Hardware-Modellprüfens vertraut. Alternativ denken wir, dass Sie erfolgreich sein könnten, wenn Sie einen Hintergrund im allgemeinen Bereich der Verifikation oder formalen Methoden (wie SAT/SMT-Lösen, automatisiertes/interaktives Theorembeweisen, Programmiersprachen-Theorie oder Automatentheorie) haben und ein wenig Kontakt mit RTL-Hardware-Design hatten.
• Für den Bereich der Synthese: Sie sollten mit C++ vertraut sein. Sie sollten Erfahrung im RTL-Hardware-Design (idealerweise für ASIC) haben. Jede der folgenden Erfahrungen könnte wahrscheinlich auf diesen Job übertragbar sein: Software für Ingenieur- oder Wissenschaftsanwendungen erstellen, eine praktische Anwendung basierend auf einem Algorithmus aus der wissenschaftlichen Literatur implementieren, an einem Compiler arbeiten.

Da wir ein kleines und beschäftigtes Team sind, haben wir begrenzte Ressourcen für Schulungen. Um in dieser Rolle erfolgreich zu sein, müssen Sie Erfahrung darin haben, sich mit einem größeren bestehenden Projekt vertraut zu machen. Sie sollten bereit sein, Verantwortung für zugewiesene Aufgaben zu übernehmen, diese unabhängig zu bearbeiten und Herausforderungen ohne umfangreiche Aufsicht anzugehen.

Anforderungen

Wichtige Hinweise: Dies ist eine flexible Remote-Rolle, die Teilzeit (1-5 Tage pro Woche) sein könnte. Sie würden als unabhängiger Auftragnehmer/Freiberufler für ein österreichisches Unternehmen arbeiten, von wo auch immer Sie sind. Unsere Teammeetings finden normalerweise zwischen 15:00 und 18:00 Uhr Wiener Zeit (CET/CEST) statt, ansonsten können Sie wählen, wann Sie arbeiten möchten. YosysHQ hat eine flache Gehaltsstruktur, bei der jeder den gleichen Satz verdient: derzeit 6000€/Monat für Vollzeitvertragsarbeit. Daher ist der einzige Parameter, der verhandelbar ist, die Anzahl der Tage pro Woche. Da YosysHQ mit US-Regierungsauftragnehmern arbeitet, dürfen Sie nicht in einem Land leben, das Sanktionen oder Exportbeschränkungen unterliegt oder aus anderen Gründen von der Arbeit für die US-Regierung ausgeschlossen ist.

So bewerben Sie sich: Selbst wenn Ihr Hintergrund nicht perfekt mit diesen Bereichen übereinstimmt, sind wir immer daran interessiert, von leidenschaftlichen und talentierten Personen zu hören. Wenn Sie an der Arbeit, die wir tun, interessiert sind, senden Sie uns bitte Ihren Lebenslauf und ein kurzes Anschreiben, in dem Sie darlegen, wie Ihre bisherigen Erfahrungen mit der Arbeit, die wir leisten, zusammenhängen. Wir sind besonders gespannt auf Bewerber, die mit unseren Open-Source-Tools interagiert oder zu ihnen beigetragen haben – obwohl dies keine Voraussetzung ist. Zeigen Sie uns Ihr Potenzial, und lassen Sie uns erkunden, wie Sie einen Einfluss ausüben können!