Développeur·euse en synthèse ou vérification formelle chez YosysHQ

Emploi pas sur LinkedIn

🔥 il y a 1 heure

🌏 N'importe où dans le monde

💵 €6 000 / mois

⏳ Contrat

🟡 Intermédiaire

🟠 Senior

🖥 Ingénieur Logiciel

👻 Score fantôme 6%

Ce que ça veut dire : la probabilité que cette offre reste ouverte sans recrutement actif.Comment le lire : 60 % ou plus, on pense que c'est une offre fantôme. Un score plus bas est moins inquiétant.Comment on la calcule : ancienneté, republications, postes ouverts vs taille de l'équipe, rapidité de clôture, et si le salaire est indiqué.À noter : une estimation à partir de données publiques, pas un jugement sur l'entreprise. De vraies offres peuvent avoir un score élevé, alors prenez-le comme un indice, pas comme un fait.

Postuler Maintenant

Trouver des Emplois à Distance Similaires

Configurer une alerte email pour les nouveaux emplois

📊 Vérifiez votre score de CV pour ce poste

Améliorez vos chances d'obtenir un entretien en vérifiant votre score de CV avant de postuler.

Télécharger le CV

YosysHQ

Site WebLinkedInTous les Emplois

1 - 10 employés

🔧 Matériel

Hardware

YosysHQ est l'équipe derrière Yosys et les projets EDA Open Source associés, offrant des produits et services commerciaux.

Description

• Contribuer aux domaines clés de YosysHQ : synthèse ou vérification formelle • Développer et maintenir des outils EDA et des packages logiciels open source • Travailler sur des outils de vérification formelle en C++, Rust et Python • Implémenter le model checking matériel et les méthodes formelles associées • Développer des fonctionnalités de synthèse en C++, en s’appuyant sur des connaissances en conception matérielle RTL • Réaliser des développements spécifiques portant sur des fonctionnalités individuelles et des flows complets fondés sur les composants logiciels de YosysHQ • Accompagner et former les utilisateurs et les développeurs qui travaillent avec les logiciels • Prendre en charge de manière autonome les tâches confiées et résoudre les difficultés rencontrées • Participer aux réunions d’équipe, généralement organisées entre 15 h et 18 h, heure de Vienne (CET/CEST)

🎯 Exigences

• Maîtrise de C++ ou de Rust pour la vérification formelle ; volonté d’apprendre l’autre langage ainsi que Python • Connaissances en implémentation du model checking matériel, ou expérience en vérification et méthodes formelles, notamment en résolution SAT/SMT, démonstration automatique ou interactive de théorèmes, théorie des langages de programmation ou théorie des automates • Une première expérience de la conception matérielle RTL dans le cadre de la vérification formelle • Maîtrise de C++ pour la synthèse • Une première expérience en conception matérielle RTL, idéalement dans le domaine des ASIC • Expérience transposable dans le développement de logiciels pour des applications d’ingénierie ou scientifiques, l’implémentation d’algorithmes issus de publications scientifiques ou le développement de compilateurs • Expérience de la prise en main d’un projet existant de grande envergure • Capacité à prendre des responsabilités, à travailler de manière autonome et à résoudre les difficultés sans supervision étroite • Ne pas résider dans un pays faisant l’objet de sanctions ou de restrictions à l’exportation, ni être interdit de travailler pour le gouvernement américain • CV et courte lettre de motivation requis pour postuler

🏖️ Avantages

• Télétravail flexible, depuis le lieu de votre choix • Horaires flexibles : vous choisissez vos horaires en dehors des réunions d’équipe • Possibilité de travailler à temps partiel, de 1 à 5 jours par semaine • Hiérarchie salariale horizontale, avec le même taux de rémunération pour tout le monde • Possibilité de travailler sur des projets EDA open source • Travail sur des technologies de synthèse et de vérification formelle • Accompagnement et formation destinés aux utilisateurs et aux développeurs des packages logiciels