1 – 10 Employés
Matériel informatiqueYosysHQ développe Yosys ainsi que d'autres projets open source d'automatisation de la conception électronique (EDA) pour l'ingénierie matérielle. L'entreprise associe des outils open source à des produits et services commerciaux qui aident les équipes électroniques à améliorer leurs flux de conception de matériel numérique, ce qui la rend pertinente pour les professionnels du développement matériel et de l'EDA.
Développeur en synthèse ou vérification formelle — YosysHQ, télétravail en Autriche
Rejoignez YosysHQ en tant que développeur EDA open source pour travailler sur des outils de synthèse ou de vérification formelle. Le poste implique un développement autonome en C++, Rust et Python dans le cadre de projets de conception et de vérification matérielles.
Description
- Soutenir les activités de synthèse ou de vérification formelle de YosysHQ
- Développer et maintenir des outils EDA en C++, Rust et Python
- Mettre en œuvre la vérification de modèles matériels, des méthodes formelles, la synthèse RTL/ASIC ou des flux de travail connexes
- Créer des logiciels d’ingénierie et scientifiques, implémenter des algorithmes issus de la littérature de recherche ou contribuer à des projets de compilateurs
- Se familiariser avec une base de code open source existante et importante, et y contribuer
- Prendre en charge les travaux assignés et résoudre les difficultés techniques de manière autonome
- Faire progresser Yosys et l’écosystème EDA open source au sens large
- Interagir avec les outils open source de YosysHQ et contribuer éventuellement à leur développement
Exigences
- Maîtrise du C++ ou de Rust pour la vérification formelle, avec la volonté d’apprendre l’autre langage ainsi que Python
- Une expérience de la mise en œuvre de la vérification de modèles matériels est souhaitée
- À défaut, expérience en vérification ou en méthodes formelles, notamment en résolution SAT/SMT, en démonstration automatisée ou interactive de théorèmes, en théorie des langages de programmation ou en théorie des automates
- Une première expérience de la conception matérielle RTL pour la vérification formelle
- Maîtrise du C++ pour les travaux de synthèse
- Une première expérience de la conception matérielle RTL, idéalement avec des ASIC
- L’expérience pertinente peut inclure le développement de logiciels d’ingénierie ou scientifiques, l’implémentation d’algorithmes de recherche ou le développement de compilateurs
- Expérience de la prise en main progressive d’un projet existant de grande taille
- Capacité à prendre en charge les responsabilités assignées et à travailler de manière autonome avec une supervision limitée
- Ne pas résider dans un pays soumis à des sanctions ou à des restrictions à l’exportation, ni être interdit de travailler pour le gouvernement des États-Unis
- La candidature doit comprendre un CV et une courte lettre de motivation
Avantages
- Télétravail avec des modalités flexibles
- Horaires de travail flexibles
- Possibilité de travailler à temps partiel, de un à cinq jours par semaine
- Structure de rémunération uniforme, avec le même taux pour tous les membres de l’équipe
- Travailler depuis le lieu de votre choix
- Les réunions d’équipe ont généralement lieu entre 15 h et 18 h, heure de Vienne, avec une certaine flexibilité en dehors de cette plage