Vous êtes ici : Accueil / Jobs / Docteur en informatique - Grammaires et compilation

Docteur en informatique - Grammaires et compilation

Nous recherchons un docteur-ingénieur pour travailler dans un environnement jeune et dynamique constitué de passionnés de l'informatique. Dans un environnement Linux, vous participerez à la conception d'un moteur d'analyse protocolaire.
Créé le 01/02/2016 22:04

Présentation de l'entreprise

Jeune société innovante créée en 2012 en très forte croissance avec une présence et un développement stratégique à l'international, Nexa est un leader européen de l'édition de logiciels, spécialisée dans la sécurité informatique.
La diversité de nos produits à la pointe de l'état de l'art dans notre secteur offre à nos développeurs des problématiques techniques complexes, exigeantes et diversifiées, notamment sur les sujets temps réel et très haut débit.

Notre taille humaine garantit un environnement stimulant pour exprimer ses idées et enrichir ses compétences.

 

Présentation du poste

Nous recherchons un docteur-ingénieur pour travailler dans un environnement jeune et dynamique constitué de passionnés de l'informatique.

Dans un environnement Linux, vous participerez à la conception d'un moteur d'analyse protocolaire.

Vous travaillerez en binôme.
Votre rôle ne sera pas segmenté et vous pourrez intervenir sur toutes les phases du projet :

  • les recherches théoriques sur des automates offrant les propriétés nécessaires au décodage performant de protocoles réseaux
  • le développement en Haskell et en C, en respectant nos standards de qualité de code et de documentation
  • la validation des résultats obtenus
  • l'intégration dans un produit existant


Compétences techniques

  • Compilateurs : Expérience théorique et pratique
  • Algorithmique : Maitrise de complexité et performances
  • Haskell/OCaml : 2+ xp
  • Réseaux TCP/IP : Connaissance de la pile protocolaire
  • C/C++ : 0+ xp
  • Git : Connaissances générales
  • Linux (RedHat) : Utilisateur quotidiens

Études

  • Bac +8 Docteur math/info

Qualités recherchées

  • Rigueur
  • Passionné d'informatique

Mots-clés

  • Compilateur
  • Automates
  • Haskell/OCaml
  • Réseaux

Nexa Technologies

94-96 rue de Paris, 92100 Boulogne-Billancourt
Contact: RH