Offre de stages, thèses et postDocs MINATEC

Offres de thèses, stages et postdocs

1102 résultats trouvés

[Thèse]

Rhéologie, structure et propriétés de transport d'électrolytes à base de liquides ioniques pour batteries Lithium

Offre N° : 7194

Date de début : 1 Oct 2012

Les batteries lithium sont en plein essor pour l'application véhicule électrique et le CEA a récemment lancé un vaste programme de recherche avec un grand constructeur automobile. Ces batteries sont composées de deux électrodes positive et négative et d'un électrolyte. L'électrolyte est actuellement un mélange de sel de lithium, de carbonate d'éthylène et d'un co-solvant de type éther pour diminuer la viscosité de l'ensemble et ainsi assurer une bonne conduction ionique.

Envoyer cet article à un(e) ami(e)

Imprimer

Ajouter à mes offres

Fiche complète

[Stage]

Développement d'un outil graphique d'aide à la programmation modulaire et à la génération de code

Offre N° : 8327

Date de début :

La programmation modulaire permet entre autres choses d'accroitre la réutilisabilité du code existant et d'offrir une plus grande souplesse dans la génération de l'exécutable. Pour aider les développeurs, le laboratoire LIST/DACLE/LaSTRE a développé un outil d'aide à la programmation modulaire: Configen. Cet outil permet d'extraire le graphe des dépendances entre modules à partir de code sources en langage C, de le visualiser graphiquement, de sélectionner une configuration de génération valide de façon interactive et d'exporter cette configuration dans un fichier utilisable par un Makefile. L'outil se base sur le graphe des dépendances et la logique propositionnelle, les valeurs de vérité représentant la présence ou l'absence d'un module.
Durant ce stage le candidat aura la charge de faire évoluer Configen. Entre autre les axes suivant peuvent être abordés :
- Ajout de la notion de module hiérarchique.
- Génération automatique du code d'initialisation.
- Prise en compte de contraintes entre modules exprimées sous forme de formules booléennes
- Rajout un langage de configuration pour pouvoir scripter Configen.
- Rajout la prise en compte des options de configuration (#define/#ifdef CONFIG_XXX).
- Amélioration de la détection des dépendances entre modules.
- Amélioration de l'interface graphique homme machine.
Les améliorations citées précédemment ne sont pas exhaustives et le candidat aura la possibilité de
proposer d'autres axes. Lexeur/Parseur, Logique Booléenne

Laboratoire :LETI / DACLE
Code CEA :334501
Contact: stages@cea.fr
Les candidatures doivent être adressées par email et sous forme d'un CV et d'une lettre de motivation détaillant les compétences à :
CEA Saclay
Laurence LOURS, DRHRS / SCP / BSLDE
Bat 524
91191 Gif-sur-Yvette cedex

Envoyer cet article à un(e) ami(e)

Imprimer

Ajouter à mes offres

Fiche complète

[Thèse]

Etude des performances des mémoires CBRAM (Conductive Bridge Memory) afin d'optimiser les empilements technologiques et les solutions d'intégration

Offre N° : 7655

Date de début : 1 Oct 2012

Le travail de thèse est articulé en trois phases :

1) Evaluation de dispositifs CBRAM : il s'agira de réaliser la caractérisation électrique de dispositifs mémoire CBRAM fabriqués au LETI en utilisant des bancs de mesures dédiés (tests quasi-statiques, mode pulsé ou multi-pulsé…). Les performances en terme de vitesse de programmation, énergie de consommation, rétention de l'information, fiabilité, tenue en température seront évaluées. Différents matériaux résistifs (chalcogénures, oxydes), électrodes (Cu, Ag…), mais aussi architectures et schémas d'intégration seront comparées. Le travail de caractérisation se fera en forte interaction avec l'équipe d'intégration des dispositifs. En effet, l'évaluation des performances mémoire permettra d'identifier les meilleurs empilements technologiques et de définir des solutions d'intégration optimisées.

2) Modélisation : basé sur les résultats de caractérisation électrique obtenus sur un grand nombre de variantes technologies, un modèle physique pourra être développé. Il s'agira de modéliser de manière réaliste le déplacement d'ions dans un électrolyte solide sous champ électrique afin de décrire la formation du filament conducteur dans la mémoire. Ceci permettra d'émuler la vitesse de programmation de la mémoire en fonction des conditions d'utilisation. Une réflexion sur l'importance des mécanismes d'oxydo-réduction aux électrodes sera également menée.

3) Design : Les données électriques seront valorisées par la participation à l'élaboration de modèles compacts, en collaboration avec l'équipe des experts en modélisation SPICE. L'objectif final sera l'intégration d'un modèle compact dans un simulateur spécifique afin d'évaluer les performances mémoire au niveau du circuit. Ce travail se fera en étroite collaboration avec les experts en design du LETI.