Scalable digital architecture for Qubits control in Quantum computer

Scaling Quantum Processing Units (QPU) to hundreds of Qubits leads to profound changes in the Qubits matrix control: this control will be split between its cryogenic part and its room temperature counterpart outside the cryostat. Multiple constraints coming from the cryostat (thermal or mechanical constraints for example) or coming from Qubits properties (number of Qubits, topology, fidelity, etc…) can affect architectural choices. Examples of these choices include Qubits control (digital/analog), instruction set, measurement storage, operation parallelism or communication between the different accelerator parts for example. This postdoctoral research will focused on defining a mid- (100 to 1,000 Qubits) and long-term (more than 10,000 Qubits) architecture of Qubits control at room temperature by starting from existing QPU middlewares (IBM QISKIT for example) and by taking into account specific constraints of the QPU developed at CEA-Leti using solid-state Qubits.

Application of formal methods for interferences management

Within a multidisciplinary technological research team of experts in SW/HW co-design tools by applying formal methods, you will be involved in a national research project aiming at developing an environment to identify, analyze and reduce the interferences generated by the concurrent execution of applications on a heterogeneous commercial-off-the-shelf (COTS) multi-core hardware platform.

Design of in-memory high-dimensional-computing system

Conventional von Neumann architecture faces many challenges in dealing with data-intensive artificial intelligence tasks efficiently due to huge amounts of data movement between physically separated data computing and storage units. Novel computing-in-memory (CIM) architecture implements data processing and storage in the same place, and thus can be much more energy-efficient than state-of-the-art von Neumann architecture. Compared with their counterparts, resistive random-access memory (RRAM)-based CIM systems could consume much less power and area when processing the same amount of data. This makes RRAM very attractive for both in-memory and neuromorphic computing applications.

In the field of machine learning, convolutional neural networks (CNN) are now widely used for artificial intelligence applications due to their significant performance. Nevertheless, for many tasks, machine learning requires large amounts of data and may be computationally very expensive and time consuming to train, with important issues (overfitting, exploding gradient and class imbalance). Among alternative brain-inspired computing paradigm, high-dimensional computing (HDC), based on random distributed representation, offers a promising way for learning tasks. Unlike conventional computing, HDC computes with (pseudo)-random hypervectors of D-dimension. This implies significant advantages: a simple algorithm with a well-defined set of arithmetic operations, with fast and single-pass learning that can benefit from a memory-centric architecture (highly energy-efficient and fast thanks to a high degree of parallelism).

Nanoparticle synthesis for photovoltaic appliation

Simulation of silicon solar cells based on n-type material : modelling and architecture optimisation.

INES is actually developping new fabrication technologies for n-type silicon solar cells. Working on simulation of photovoltaic solar cells enables the speed-up of the developement of new technologies: physical interpretation of characterisation results, support to device design, optimisation of processing steps and evaluation of original designs.
This subject open for post-doc position is focused on the study of semi-empirical models for materials and process steps for n-type solar cells. These basic road-blocks will be assembled in a complete model by using a multi-scale simulation tool. In the end, this global model will allow optimising of the p-type emitter geometrical structure, the efficiency of carrier collection on the back side or the geometry of metallisation for electrical contacts.

Electrochemical device for purifying hydrogen in a reformed gas

This project aims to establish a new research and development on purification devices for fuel reformers for hydrogen fuel cells. This work is of prime importance for fuel cell systems fed by different sources of hydrogen. Used in "power full" or "range extender" modes, the reformer and gas purification system are elements of the chain that have to be optimized.
Objective is to develop an electrochemical device for purifying the gas from a reformer whose basic principle is similar to that of a PEM electrolyzer. The gases from the reformer undergo a selective electrocatalytic oxidation to separate hydrogen and conventional pollutants directly power a fuel cell.
The project will focus on selection and characterization of catalysts electrocatalytic performance and the achievement of functional prototypes. These developments will assess the economic relevance of the device vis-à-vis other systems and identify areas of research to develop thereafter.

Abstract interpretation of ACSL annotations

Frama-C is a set of tools dedicated
to the analysis of C software. In Frama-C, different analyses
techniques are implemented as plug-ins within the same framework.
Part of the glue that holds the various plug-ins together is
the ACSL annotation language. ACSL is a formal specification
language for C programs.
Each verification plug-in is supposed to interpret ACSL
annotations as best it can. A plug-in can also, when it needs to
make an assumption, express it as an ACSL property so that
another plug-in can be used to verify this assumption.

This post-doctoral position consists in improving the precision of Frama-C’s value analysis, based on Abstract Interpretation, for constructs that are not currently handled. The treatment of some constructs will require specific abstract domains to be designed.

http://frama-c.com

http://frama-c.com/value.html

http://frama-c.com/acsl.html

Integration Testing with Symbolic Execution for Component-Based Systems

Multiscale Modeling of the Degradation Mechanisms in Polymer Electrolyte Fuel Cells

In an attempt to provide a rigorous physical-based description of the physicochemical phenomena occurring in the PEFC environments, the Modeling Group at CEA-Grenoble/LCPEM has developed a novel physical multi-scale theory of the PEFC electrodes electro-catalysis,the MEMEPhys model, based on a combined non-equilibrium thermodynamics/electrodynamics approach. This postdoctoral research position will consist on actively contributing on the development of the model, including the implementation of a physical-based description of water transport phenomena and water condensation in the PEFC. Heterogeneities on the electrochemical and aging processes, induced by water transport, will be in particular addressed. The candidate will strongly combine theoretical and experimental data, obtained in our laboratory, in order to establish MEA microstructure-performance relationships and to elucidate the main MEA degradation and failure mechanisms. From a fundamental point of view, this work will provide a deeper understanding of the electrochemical mechanisms responsible of the PEFC active layers aging at different spatiotemporal scales.

Study and realization of thermal energy harvesting prototypes by thermal/fluidic coupling, and then electrical conversion. Application to electronic circuits.

The objective of this study is to explore possibilities of using systems with fluidic/thermal coupling to harvest the thermal energy released by an electronic device and then convert it into electricity that can be stored or used again. In those systems, the fluidic can be also used for a cooling purpose.
The two main steps will be the design of devices allowing controlling the operating regimes of the fluidic system submitted to a constant heat source (thermo-fluidic coupling) and the characterization of the best coupling conditions with the electrical conversion devices, in particular piezo-electrical. The studies will also explore new mechanisms taking place in the small scale fluidic systems compared to models known macroscopically. The work will be mostly experimental but will also include a simulation part.
The study should also provide an estimation of the harvesting efficiency as well as the power densities taking place in this kind of new devices.

Top