• Welcome
  • News
  • People
  • Projects
  • Publications
  • Jobs and Training
  • LogIn
Émeraude
Embedded Real-Time Adaptative Virtualization for Post-Moore Architectures
Home » Jobs and Training

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 ;
Powered by WordPress · Theme by Satrya
© Copyright 2013 Émeraude