Exploitation des méthodes formelles pour la gestion des interférences au sein des systèmes embarqués H/F
Au sein d’une équipe de recherche technologique pluridisciplinaire d’experts en outils de co-design SW/HW par application de méthodes formelles, vous intervenez dans un projet national de recherche visant à développer un environnement pour identifier, analyser et réduire les interférences engendrées par l’exécution concurrente d’applicatifs sur une plateforme matérielle multi-coeur hétérogène sur étagère (COTS)
Design des différents blocs d'un algorithme de calcul hyperdimensionel au sein de matrices mémoires non-volatiles
Pour répondre à différents enjeux scientifiques et sociétaux, les circuits intégrés de demain doivent gagner en efficacité énergétique. Or, la majorité de leur énergie est aujourd’hui consommée par les transferts de données entre les blocs mémoire et logique dans des architectures circuit de type Von-Neumann. Une solution émergente et disruptive à ce problème consiste à rendre possible des calculs directement dans la mémoire (« In-Memory Computing »). Dans le cadre de ce projet Carnot, nous proposons d’étudier la théorie du calcul hyper-dimensionnel (HDC) qui est aujourd’hui envisagée pour répondre au besoin de l’apprentissage machine dans le domaine de l’intelligence artificielle. Pour tester cette théorie, nous proposons de l’appliquer à la détection et à la classification de signaux physiologiques pour la reconnaissance de gestes. Ce domaine de recherche très prometteur pour les applications liées à l’interaction homme-machine, donne la possibilité a un utilisateur d’interagir directement par son activité musculaire.
Par rapport aux autres méthodes de classification, le calcul HDC présente des atouts importants : il est simple dans le sens où il s’appuie sur des opérations élémentaires, une seule passe est nécessaire pour l’entrainement (donc pas de rétro-propagation avec une mise à jour de poids synaptiques). Le fait qu’une entité soit représentée sur un vecteur de grande dimension (hyper-vecteur) rend cette approche peu sensible aux erreurs et aux bruits, ce qui représente un atout majeur pour travailler avec des signaux physiologiques.
Synthèses de nanoparticules pour application photovoltaïque couche mince
Le poste proposé est un contrat postdoctoral de 2 ans au sein du Laboratoire de nano-Chimie et de Sécurité des Nanomatériaux, du Département de Technologies des Nano-Matériaux du LITEN. Il s’inscrit dans le cadre d’un projet qui a pour ambition de développer de nouveaux matériaux absorbeurs pour la réalisation de cellules photovoltaïques couche mince à partir d’élément abondant et par des techniques bas coûts.
La personne recherchée aura préférentiellement une expérience dans la synthèse chimique de nanoparticules par des procédés humides avec une compétence matériaux, ainsi que la formulation en voie liquide et le dépôt de couches minces par les techniques précurseur liquide. Le travail portera sur la synthèse de nanoparticules par différents procédés, leurs caractérisations physicochimiques ainsi que leur mise en œuvre, tout d’abord sous forme d’encre et ensuite sous forme de couches minces déposées par voie liquide. Les conditions de dépôt et de recuit de la couche permettront d’obtenir le matériau absorbeur souhaité seront étudiées. Ce travail s’inscrit dans le cadre d’un projet ANR avec plusieurs partenaires académiques et industriels avec une forte composante appliquée puisque le but final est d’aboutir à la réalisation de cellules photovoltaïques.
Simulation de cellules solaires silicium à partir de matériau de type n : modélisation et optimisation de l’architecture.
Des technologies de fabrication de cellules à base de silicium de type n sont en cours de développement à l’INES. Le travail de simulation des cellules photovoltaïques permet d’accélérer le développement de nouvelles filières à plusieurs niveaux : interprétation physique des résultats de caractérisation, aide à la conception des dispositifs, optimisation des procédés et exploration de concepts originaux. Le sujet du post-doc est centré sur l’étude des modèles semi-empiriques pour les matériaux et les procédés utilisés pour les cellules de type n. Ces briques élémentaires seront mises en oeuvre dans un modèle complet résultant de leur assemblage de type circuit avec un outil de simulation muulti-échelle. Au final, un tel outil permettra d’optimiser la structure géométrique de l’émetteur de type p, de l’efficacité de collecte des porteurs de la face arrière et de la géométrie des contacts électriques métalliques.
Purification de l’hydrogène issu d’un reformeur par un dispositif électrochimique
Ce projet vise à mettre en place un nouvel axe de recherche et développement sur les dispositifs de purification pour les reformeurs pour alimenter les piles à combustible en hydrogène. Ce travail est de première importance pour réaliser des systèmes à base de piles à combustible alimentés par différentes sources d’hydrocarbures. Utilisée en mode « power full » ou « range extender », le reformeur et son système de purification des gaz sont des éléments de la chaîne qu’il convient d’optimiser
L’objectif du projet est de proposer un dispositif électrochimique de purification du gaz issu d’un reformeur dont le principe de base s’apparente à celui d’un électrolyseur PEM. Les gaz issus du reformeur subissent une oxydation électrocatalytique sélective permettant de séparer l’hydrogène des polluants usuels et d’alimenter directement une pile à combustible.
Le projet portera principalement sur la sélection et la caractérisation des performances électrocatalytiques de catalyseurs ainsi que la réalisation de prototypes fonctionnels.
Ces développements permettront d’évaluer la pertinence économique du dispositif vis-à-vis d’autres systèmes et d’identifier les axes de recherche à développer par la suite.
Test d’intégration à base d’exécution symbolique pour les systèmes à base de composants
Le sujet concerne la mise en place de techniques de test pour les systèmes à base de composants logiciels. L’objectif est de maîtriser l’explosion combinatoire souvent subie à la phase de génération de test pour de tels systèmes. L’idée directrice des travaux est de tirer partie de la définition récursive des systèmes pour découper la phase de génération de test en plusieurs phases concernant, les composants d’une part, et les mécanismes de communication entre composants d’autre part, dans une logique "diviser pour régner" qui est classique en informatique. Le candidat se basera sur des travaux réalisé dans le laboratoire autour de techniques à base d’exécution symbolique pour la génération de test et l’analyse de comportement.
Modélisation Multi-échelle des mécanismes de dégradation des polymères électrolytes dans le Piles à Combustible
Dans le cadre des études sur les phénomènes physico-chimiques intervenants dans les Piles à Combustibles, le groupe de modélisation du CEA Grenoble/LCPEM a développé un nouveau modèle multi-échelle, MEMEphys, qui décrit les phénomènes d’électrocatalyse dans les PEFC.
L’activité post-doctorale que nous proposons consistera au développement du modèle, avec la prise en compte d’une description des phénomènes de transport d’eau et de condensation. Une attention particulière sera portée aux hétérogénéités électrochimiques et aux processus de vieillissements induits par l’eau. Afin d’établir une relation entre les performances et structure et d’élucider les phénomènes de dégradation dans le MEA, le candidat devrait combiner des données expérimentales et théoriques obtenues dans nos laboratoires. D’un point de vue fondamental, ce travail nous amènera une compréhension plus profonde des mécanismes électrochimiques qui sont responsables du vieillissement des couches actives dans les Piles à Combustible à différentes échelles temporelles.
Interprétation Abstraite d’annotations ACSL
Frama-C est un ensemble d’outils pour l’analyse de logiciels C. Dans Frama-C, différentes techniques d’analyse peuvent être implémentées comme plug-ins (greffons) dans un même cadre. La collaboration entre plug-ins repose en partie sur le langage commun de spécification ACSL. Chaque plug-in est supposé interpréter ACSL au mieux de ses possibilités.
Ce post-doctorat consiste à améliorer la précision de l’analyse de valeurs, basée sur la technique d’Interprétation Abstraite, de Frama-C, pour les constructions qui ne sont pas actuellement traitées. Le traitement de certaines constructions nécessitera la conception d’un ou plusieurs domaines abstraits spécifiques.
http://frama-c.com
http://frama-c.com/value.html
http://frama-c.com/acsl.html
Etude et réalisation de dispositifs prototypes de récupération d’énergie de type thermique par couplage entre thermique et fluidique, puis conversion électrique. Application aux circuits électroniques.
L’objectif de cette étude est d’explorer les possibilités d’utiliser des systèmes de couplage entre fluidique et thermique pour récupérer l’énergie thermique libérée par un circuit électronique et la convertir en énergie électrique, à nouveau disponible pour stockage ou utilisation. Dans ces systèmes, la fluidique peut aussi avoir un rôle de refroidissement.
Les deux étapes principales seront la conception de dispositifs d’étude permettant de contrôler les modes de fonctionnement du système fluidique soumis à une source de chaleur constante (couplage thermo-fluidique) et la recherche des meilleures conditions de couplage avec les dispositifs de conversion en électricité, en particulier piézo-électriques. L’étude devra aussi explorer les nouveaux mécanismes en jeu dans les systèmes fluidiques aux petites échelles par rapport aux modèles connus à l’échelle macroscopique. Le travail sera essentiellement expérimental mais inclura aussi sur une partie de simulation.
L’étude devra permettre d’estimer le rendement de récupération d’énergie ainsi que les densités de puissance mises en jeu dans ce type de dispositifs.
Evaluation procédés de la filière de production de biocarburants de 3ème génération à partir de micro-algues
Le CEA contribue à l’exploration de la voie biocarburants de 3ème génération par les micro-algues pour la partie recherche amont en biologie (compréhension des mécanismes biologiques et optimisation des performances des microorganismes) par un programme de recherches à la Direction des sciences du Vivant (DSV – CEA Cadarache). L’institut LITEN, au sein de la Direction de la Recherche Technologique (DRT) travaille sur la filière biocarburant 2nde génération, couvrant les domaines allant de la ressource végétale ou déchet jusqu’à l’intégration industrielle, économique et environnementale des procédés étudiés.
Il est proposé dans le cadre de ce contrat postdoctoral d’utiliser les approches développées au LITEN pour :
- faire une étude prospective de l’intégration procédé en vue de la production de carburants à partir de micro-algues
- mener une étude technico-économique des solutions procédés les plus prometteuses dans le domaine de la 3ème génération et l’utilisation industrielle des micro-algues
- d’évaluer l’impact environnemental (en particulier CO2) de ces procédés
Ce travail s’inscrira dans le cadre d’une collaboration entre les deux unités de DSV et de la DRT/LITEN, la première apportant ses connaissances très pointues et plutôt fondamentales en matière de performances techniques du micro-organisme, la seconde apportant la compétence procédé et évaluation technico-économique de filières. Le candidat, basé à Grenoble, sera donc amené à de fréquents déplacements entre Grenoble et Cadarache.