YosysHQ

1 – 10 Mitarbeitende

YosysHQ entwickelt Yosys und weitere Open-Source-Projekte für die elektronische Designautomatisierung (EDA) im Hardware-Engineering. Das Unternehmen verbindet Open-Source-Tools mit kommerziellen Produkten und Dienstleistungen, die Elektronikteams dabei unterstützen, ihre Workflows für das Design digitaler Hardware zu verbessern. Damit ist YosysHQ besonders für Fachkräfte relevant, die in der Hardwareentwicklung und im EDA-Umfeld arbeiten.

Stellen im Unternehmen

Entwickler für Synthese oder formale Verifikation — YosysHQ, remote in Österreich

Werden Sie Open-Source-EDA-Entwickler bei YosysHQ und arbeiten Sie an Werkzeugen für Synthese oder formale Verifikation. Die Tätigkeit umfasst eigenständige Entwicklung in C++, Rust und Python für Projekte im Bereich Hardwaredesign und -verifikation.

vor 1 Woche

Österreich

6.000 € / Monat

Remote Vertrag Mittlere Stufe Senior Erforderliche Sprache: Englisch Softwareentwickler

C++Python Rust

Beschreibung

Unterstützung der Synthese- oder Verifikationsarbeiten von YosysHQ
Entwicklung und Pflege von EDA-Werkzeugen in C++, Rust und Python
Implementierung von Hardware-Model-Checking, formalen Methoden, RTL-/ASIC-Synthese oder verwandten Arbeitsabläufen
Entwicklung technischer und wissenschaftlicher Software, Umsetzung von Algorithmen aus der Forschungsliteratur oder Mitarbeit an Compilerprojekten
Einarbeitung in eine umfangreiche bestehende Open-Source-Codebasis und Mitarbeit daran
Übernahme eigener Aufgaben und selbstständige Lösung technischer Herausforderungen
Weiterentwicklung von Yosys und des gesamten Open-Source-EDA-Ökosystems
Austausch mit YosysHQs Open-Source-Tools und mögliche Mitarbeit daran

Anforderungen

Beherrschung von C++ oder Rust für die formale Verifikation sowie Bereitschaft, die jeweils andere Sprache und Python zu erlernen
Kenntnisse in der Implementierung von Hardware-Model-Checking sind von Vorteil
Alternativ Erfahrung in Verifikation oder formalen Methoden, einschließlich SAT-/SMT-Lösen, automatisiertem oder interaktivem Theorembeweisen, Programmiersprachentheorie oder Automatentheorie
Erste Erfahrung mit RTL-Hardwaredesign für die formale Verifikation
Beherrschung von C++ für Syntheseaufgaben
Erste Erfahrung im RTL-Hardwaredesign, idealerweise mit ASICs
Relevante Erfahrung kann technische oder wissenschaftliche Software, die Implementierung von Forschungsalgorithmen oder Compilerentwicklung umfassen
Erfahrung darin, sich in ein großes bestehendes Projekt einzuarbeiten
Fähigkeit, eigene Verantwortungsbereiche zu übernehmen und mit wenig Anleitung selbstständig zu arbeiten
Wohnsitz in Ländern, die Sanktionen oder Exportbeschränkungen unterliegen, ist nicht zulässig; ebenso wenig eine Tätigkeit, die durch die US-Regierung untersagt ist
Für die Bewerbung sind ein Lebenslauf und ein kurzes Anschreiben erforderlich

Zusatzleistungen

Remote-Arbeit mit flexiblen Arbeitsmodellen
Flexible Arbeitszeiten
Teilzeitmodelle von einem bis fünf Tagen pro Woche
Einheitliche Vergütungsstruktur mit demselben Satz für alle Teammitglieder
Arbeiten vom selbst gewählten Aufenthaltsort aus
Teammeetings finden in der Regel zwischen 15:00 und 18:00 Uhr Wiener Zeit statt; außerhalb dieses Zeitfensters besteht Flexibilität

Ähnliche Stellen

Sponsor für H1B-Visum Bauwesen Gesundheitswesen Logistik

150.000 $ – 200.000 $ / Jahr

Remote Vollzeit Lead Erforderliche Sprache: Englisch General Counsel

Beraten Sie Johnson Controls zu US-amerikanischen und globalen arbeitsrechtlichen Themen, darunter Untersuchungen, Rechtsstreitigkeiten, Arbeitsplatzrichtlinien und Fusionen und Übernahmen. Leiten Sie arbeitsrechtliche Projekte und beraten Sie die Personalabteilung sowie die Unternehmensführung.

Öffnen

5.001 – 10.000 Mitarbeitende

Beratung Logistik Marketing

80.000 $ – 90.000 $ / Jahr

Vor Ort Vollzeit Mittlere Stufe Senior Erforderliche Sprache: Englisch Kundenbetreuer Vertrieb

Steigern Sie den Großhandelsumsatz mit Eisenwaren in South Dakota, Minnesota und Nebraska durch Händlerpartnerschaften und neue Geschäftsmöglichkeiten. Entwickeln Sie maßgeschneiderte Vertriebsstrategien und Pläne, um den Umsatz für Emery Jensen auszubauen.

Öffnen

1.001 – 5.000 Mitarbeitende

Beratung Gesundheitswesen Marketing

Vereinigte Staaten

Arizona Remote Vollzeit Lead Erforderliche Sprache: Englisch Mitarbeiter Geschäftsentwicklung

Verantworten Sie das Umsatzwachstum in Arizona für die Lebens-, Unfall- und Krankenversicherungsprodukte von Pan-American Life und bauen Sie Partnerschaften mit Maklern auf. Führen Sie Business Developer und steuern Sie Gebietsstrategie, Vertriebspipeline und Umsetzung.

Öffnen

1.001 – 5.000 Mitarbeitende

Sponsor für H1B-Visum Fertigung Gesundheitswesen Verteidigung

Kanada Remote Vollzeit Mittlere Stufe Senior Erforderliche Sprache: Englisch Kundenbetreuer Vertrieb

Betreuung der kanadischen Kundenkonten von Incora, einschließlich Servicezusagen und Umsatzwachstum. Abstimmung von Prognosen, Bestandsplanung, Lieferkettenaktivitäten und Kundenbeziehungen.

Öffnen

Sponsor für H1B-Visum Beratung Gesundheitswesen Versicherungen

Vereinigtes Königreich

70.000 £ / Jahr

Remote Vollzeit Mittlere Stufe Senior Erforderliche Sprache: Englisch Mitarbeiter Geschäftsentwicklung

Steigere das Geschäft von Capita im öffentlichen Sektor, indem du Aufträge für Contact-Center-, Technologie-, BPO- und Fallmanagementlösungen gewinnst. Baue Kundenpartnerschaften auf und begleite neue Geschäftsmöglichkeiten bis in die Umsetzung.

Öffnen

Sponsor für H1B-Visum Finanzen Soziale Wirkung Versicherungen

Verkaufe Versicherungen von Liberty Mutual über eingehende Anrufe und vorqualifizierte Interessenten und hilf Kunden, den passenden Schutz zu finden. Die Stelle umfasst bezahlte Schulungen und Lizenzierung sowie Provisionen.

Öffnen

Sponsor für H1B-Visum Finanzen Soziale Wirkung Versicherungen

Arbeiten Sie remote bei Liberty Mutual Insurance, bearbeiten Sie interessierte eingehende Anfragen und helfen Sie Kundinnen und Kunden, passenden Versicherungsschutz zu finden. Im Mittelpunkt steht, Interessenten zu Versicherungsnehmern zu machen.

Öffnen

Sponsor für H1B-Visum Finanzen Soziale Wirkung Versicherungen

Bearbeiten Sie eingehende Versicherungskontakte für Liberty Mutual und helfen Sie Kundinnen und Kunden, passenden Versicherungsschutz zu finden. Machen Sie aus Verkaufsinteressierten Versicherungsnehmer und vertreten Sie die Marke Liberty Mutual.

Öffnen

Sponsor für H1B-Visum Finanzen Soziale Wirkung Versicherungen

Betreuen Sie Kund:innen, die Informationen zu Versicherungen angefordert haben, ermitteln Sie ihren Bedarf und unterstützen Sie sie bei der Wahl des passenden Versicherungsschutzes. Die Vollzeitstelle im Homeoffice umfasst bezahlte Schulungen und Lizenzierung sowie Provisionsmöglichkeiten.

Öffnen

Sponsor für H1B-Visum Finanzen Soziale Wirkung Versicherungen

Beraten Sie Kunden, die Liberty Mutual wegen einer Versicherung kontaktieren, und machen Sie aus konkreten Interessenten Versicherungsnehmer. Die Stelle umfasst bezahlte Schulungen, Lizenzierung, Arbeitsausstattung und Zusatzleistungen.

Öffnen

Entwickler für Synthese oder formale Verifikation — YosysHQ, remote in Österreich

Werden Sie Open-Source-EDA-Entwickler bei YosysHQ und arbeiten Sie an Werkzeugen für Synthese oder formale Verifikation. Die Tätigkeit umfasst eigenständige Entwicklung in C++, Rust und Python für Projekte im Bereich Hardwaredesign und -verifikation.

Beschreibung

Anforderungen

Zusatzleistungen

Ähnliche Stellen

Associate Legal Director für Arbeitsrecht

Gebietsverkaufsleiter/in Hardware – Sioux Falls

Regionaler Vertriebs-Vizepräsident und Business-Development-Manager – Arizona

Account Manager II, Kanada (Remote)

Business Development Manager für den öffentlichen Sektor bei Capita

Remote-Innendienst-Vertriebsmitarbeiter bei Liberty Mutual

Remote-Innendienstmitarbeiter/in Vertrieb bei Liberty Mutual

Remote-Innendienstmitarbeiter/in im Versicherungsvertrieb

Remote-Innendienstmitarbeiter:in Vertrieb – Liberty Mutual

Remote-Innendienstmitarbeiter/in – Vereinigte Staaten