Jobs and Training

Open job positions

PhD

• Modèle impulsionnel de réseaux de neurones artificiels à base de memristors, codage et architecture / Memristor-based spiking neural network: coding and architecture

Training subjects

2012-2013

Sujets de stage de master

• Modèle impulsionnel de réseau de neurones artificiels, codage et architecture dans une application de reconnaissance d’émotions.
• Analyse de pointeurs légères dans LLVM pour l’optimisation de code.
• Sémantique temporisée des réseaux de neurones à impulsion
• Sujets analyse statique/compilation : Design d’un domaine abstrait numérique, propriétés temporelles de langages synchrones, algorithmes/complexités pour la preuve de terminaison de programmes.

Sujets de projets de master / fin d’études ingénieur

• Refactorisation et portage vers Scala d’une application de reconnaissance d’émotions ;
• Modèle de couplage avec un réseau de neurones à impulsions ;
• Simulateur de réseaux de neurones à impulsions ;