Offres d'emploi chez Anna Paulner

  • ingénieur de vérification formelle

    Nous recherchons pour le compte de notre client Ingénieur de Vérification Formelle Vos responsabilités: - investigation sur des nouvelles applications de la vérification formelle - assister les projets pour leur permettre d'utiliser ces techniques le plus efficacement possible - développer, d...

    Nous recherchons pour le compte de notre client Ingénieur de Vérification Formelle Vos responsabilités: - investigation sur des nouvelles applications de la vérification formelle - assister les projets pour leur permettre d'utiliser ces techniques le plus efficacement possible - développer, documenter et supporter des nouveaux flots et composants de validation basés sur les méthodes formelles. L'expérience en vérification fonctionnelle est obligatoire. Vos compétences: - Compréhension des fondamentaux de l'architecture des processeurs - Connaissance des langages de description et de vérification hardware, e.g. Verilog, VHDL, SystemVerilog, PSL - Maitrise des algorithmes et de la programmation software - Compréhension de l'ensemble du flot de vérification, du plan de test à la clôture de la vérification - Capacité à travailler en Français et en Anglais. Vous pouvez envoyer votre CV à lk70@eclipso.de en précisant le poste qui vous intéresse.

    Anna Paulner | Autres | CDI