Scientific direction Development of key enabling technologies
Transfer of knowledge to industry

PostDocs : selection by topics

See all positions

Application of a MDE approach to AI-based planning for robotic and autonomous systems

Département Ingénierie Logiciels et Systèmes (LIST)

Labo.conception des systèmes embarqués et autonomes



The complexity of robotics and autonomous systems (RAS) can only be managed with well-designed software architectures and integrated tool chains that support the entire development process. Model-driven engineering (MDE) is an approach that allows RAS developers to shift their focus from implementation to the domain knowledge space and to promote efficiency, flexibility and separation of concerns for different development stakeholders. One key goal of MDE approaches is to be integrated with available development infrastructures from the RAS community, such as ROS middleware, ROSPlan for task planning, BehaviorTree.CPP for execution and monitoring of robotics tasks and Gazebo for simulation. The goal of this post-doc is to investigate and develop modular, compositional and predictable software architectures and interoperable design tools based on models, rather than code-centric approaches. The work must be performed in the context of European projects such as RobMoSys (, and other initiatives on AI-based task planning and task execution for robotics and autonomous systems. The main industrial goal is to simplify the effort of RAS engineers and thus allowing the development of more advanced, more complex autonomous systems at an affordable cost. In order to do so, the postdoctoral fellow will contribute to set-up and consolidate a vibrant ecosystem, tool-chain and community that will provide and integrate model-based design, planning and simulation, safety assessment and formal validation and verification capabilities.

Download the offer (.zip)

Non-volatile asynchronous magnetic SRAM design

Département Architectures Conception et Logiciels Embarqués (LIST-LETI)

Laboratoire Intégration Silicium des Architectures Numériques



In the applicative context of sensor nodes as in Internet of things (IoT) and for Cyber Physical Systems (CPS), normally-off systems are mainly in a sleeping state while waiting events such as timer alarms, sensor threshold crossing, RF or also energetic environment variations to wake up. To reduce power consumption or due to missing energy, the system may power off most of its components while sleeping. To maintain coherent information in memory, we aim at developing an embedded non-volatile memory component. Magnetic technologies are promising candidates to reach both low power consumption and high speed. Moreover, due to transient behavior, switching from sleeping to running state back and forth, asynchronous logic is a natural candidate for digital logic implementation. The position is thus targeting the design of an asynchronous magnetic SRAM in a 28nm technology process. The memory component will be developed down to layout view in order to precisely characterize power and timing performances and allow integration with an asynchronous processor. Designing such a component beyond current state of the art will allow substantial breakthrough in the field of autonomous systems.

Download the offer (.zip)

Detection of cyber-attacks in a smart multi-sensor embedded system for soil monitoring

Département Architectures Conception et Logiciels Embarqués (LIST-LETI)

Laboratoire Infrastructure et Ateliers Logiciels pour Puces



The post-doc is concerned with the application of machine learning methods to detect potential cyber-security attacks on a connected multi-sensor system. The application domain is the agriculture, where CEA Leti has several projects, among which the H2020 project SARMENTI (Smart multi-sensor embedded and secure system for soil nutrient and gaseous emission monitoring). The objective of SARMENTI is to develop and validate a secure, low power multisensor systems connected to the cloud to make in situ soil nutrients analysis and to provide decision support to the farmers by monitoring soil fertility in real-time. Within this topic, the postdoc is concerned with the cyber-security analysis to determine main risks in our multi-sensor case and with the investigation of a attack detection module. The underlying detection algorithm will be based on anomaly detection, e.g., one-class classifier. The work has tree parts, implement the probes that monitor selected events, the communication infrastructure that connects the probes with the detector, and the detector itself.

Download the offer (.zip)

Formalization of the area of responsibility of the actors of the electricity market





The CEA is currently developing a simulation tool which models the energy exchanges between the actors of the electricity market but which models, in addition, the exchanges of information between those actors. The first results of this work show that, for some new energy exchange schemes, 'indirect' interactions between actors may appear and may cause financial damage (for example, the failure of a source of production of one actor may impact the income of another). Thus, the borders which clearly delimited until now the areas of responsibility of each actors could be brought to blur and their areas of responsibility could "overla". The candidate will be responsible for: - Formally define the area of responsibility of an actor in the electricity market, - Model the interactions, including 'indirect' ones, that may appear between these actors, - Apply formal proof techniques (such as 'model-checking') to detect overlaps in areas of responsibility, - Define the conditions of exchange between the actors which would guarantee the non-recovery of the areas of responsibility.

Download the offer (.zip)

Application of ontology and knowledge engineering to complex system engineering

Département Ingénierie Logiciels et Systèmes (LIST)

Labo. ingénierie des langages exécutables et optimisation



Model-Based System Engineering relies on using various formal descriptions of the system to make prediction, analysis, automation, simulation... However, these descriptions are mostly distributed across heterogeneous silos. The analysis and exploitation of the information are confined to their silos and thereby miss the big picture. The crosscutting insights remain hidden. To overcome this problem, ontologies and knowledge engineering techniques provide desirable solutions that have been acknowledged by academic works. These techniques and paradigm notably help in giving access to a complete digital twin of the system thanks to their federation capabilities, in making sense to the information by embedding it with existing formal knowledge and in exploring and uncovering inconsistencies thanks to reasoning capabilities. The objective of this work will be to propose an approach that gives access to a complete digital twin federated with knowledge engineering technologies. The opportunities and limits of the approach will be evaluated on industrial use cases.

Download the offer (.zip)

Characterization of X-ray emitting radionuclides - Application to reactor dosimetry

Département Métrologie Instrumentation et Information (LIST)

Laboratoire de Métrologie de l'Activité



The activity measurement of X-ray emitting radionuclides in the energy range below 100 keV encounters several difficulties that limit the accuracy of the result. These include the difficulty of calibrating detector performance and, in general, the significant uncertainties associated with emission intensities X. In addition, the self-absorption effects of X-rays in standard sources or samples lead to important corrections that must be controlled. Among the important applications of X-emitter measurement, reactor dosimetry, which makes it possible to determine the neutron fluence received during irradiation and to characterize its spectrum, is based on the analysis of the activity of irradiated dosimeters. These are made of pure metals or alloys of perfectly known compositions, some of which are activated or fissioned by neutrons. For example, reactions 93Nb(n,n')93Nbm and 103Rh(n,n')103Rhm are of prime importance for reactor dosimetry and are particularly interesting for characterizing neutron fluxes around 1 MeV. The proposed work follows a thesis that identified several areas for improvement in dosimeter measurement that will need to be implemented, including : - improvement of radionuclide X-ray emission data used as standard for calibration (133Ba, 152Eu, etc.) to establish a consistent set of data; - validation of corrective coefficients due to the presence of impurities during dosimeter irradiation; - evaluation and publication of the decay scheme of 103Pd and 103mRh; - implementation of a new method of performance calibration using monochromatic radiation.

Download the offer (.zip)

28 Results found (Page 4 of 5)
first   previous  1 - 2 - 3 - 4 - 5  next   last

See all positions