CENTRALE LYON - Post-doctoral researcher (12 months) Mathematics of energy-efficient AI: diffusion models on emerging hardware

CENTRALE LYON·Ecully, Auvergne-Rhône-Alpes, France

In short

→Investigar cómo el hardware emergente afecta la eficiencia energética de modelos de difusión en IA.
→Trabajar con teoría matemática para medir y predecir errores en cálculos por hardware análogo o fotónico.
→El objetivo clave es demostrar un ahorro energético real sin sacrificar significativamente la calidad de las imágenes generadas.

English is required for collaboration with international partners (INL).

In ~1 minute you get: who interviews you, the likely questions answered from your CV, and your CV tailored to this job. Free, no card.

🎧Land the interview? Bring the copilot. Our free extension listens to the live interview and flashes 3-4-word anchors from your resume and prep — glance, connect, talk. Get the extension →

What they ask for

✓Doctorado en matemáticas, física o ciencias de la computación
✓Experiencia en análisis de modelos de difusión o procesamiento de señales
✓Conocimiento sólido de teoría de convergencia y errores en modelos estocásticos
✓Habilidad para conectar modelos físicos de dispositivos con modelos matemáticos abstractos
✓Experiencia en simulación o modelado matemático de hardware de bajo consumo
✓Habilidades de colaboración con equipos de hardware (INL) y mediación entre teoría y aplicación

Don't tick every box? That's normal — your free dossier shows your gaps and how to cover them in the interview.

Diffusion modelsScore-based modelsStochastic computingAnalog in-memory computingSilicon photonicsFerroelectric FET (FeFET)PCM-based photonic engineMatrix-vector multiplicationConductance noise modelsDevice-level circuit simulatio

Who should you write to at CENTRALE LYON?

Your free dossier identifies the people who'd interview you — their background, what they value, and how to reach out so you stand out before applying.

The question Generating one image with a diffusion model means evaluating a large neural network tens to hundreds of times. That repetition is where the energy goes, and it is part of why data-centre demand is now visible at grid scale: the Lawrence Berkeley National Laboratory puts US data-centre electricity use at 176 TWh in 2023, 4.4 % of national consumption, a figure that more than doubled since 2017 largely because of AI servers, and projects 325–580 TWh by 2028. Emerging hardware attacks exactly this primitive: analog in-memory computing, silicon photonics, ferroelectric devices and stochastic computing perform the underlying matrix–vector products at lower energy than digital CMOS, under conditions on scale and precision, but return a perturbed result. The usual objection is that nobody can say in advance how much perturbation a model tolerates. In EMMA, this opportunity is pursued through a PCM-based photonic matrix–vector engine as the primary demonstrator, complemented where appropriate by FeFET-based analog computing, so that device-level non-idealities are treated as explicit design parameters rather than as after-the-fact implementation losses. Diffusion models are an unusual case in which that question has a mathematical answer: their convergence theory bounds the discrepancy between the generated and target distributions by three terms, of which only one, the L 2 error of the learned score, depends on the hardware. That side is now in good shape: for stochastic samplers, bounds linear in the dimension under minimal assumptions on the data; for deterministic samplers, a matching theory under regularity. What is missing is the bridge. The theory is parameterised by a score error, the hardware literature by conductance noise, effective number of bits and photons per multiply–accumulate; nobody has written the map between them, in either direction. The quantisation literature for diffusion models reports image-quality scores; the induced L 2 score error, in the form the convergence theory needs, is directly measurable and goes unreported. One open sub-question sets the direction: the distinction between an error redrawn at each evaluation, as in stochastic computing, and an error frozen at write time, as in deterministic quantisation, has been settled in one setting only, and not the one hardware lives in; carrying it over is what this position exists to do. The work is judged on one concrete outcome. For at least one architecture, we want to show that theenergy gain from moving the score evaluation off digital CMOS is real, measured where it survives integration and not extrapolated from a single tile, and that it is paid for by a loss in sample quality that is small and, above all, tunable: a knob the designer sets, whose position the theory predicts rather than discovers afterwards. What you will do The work is organised in four packages, summarised below; the full research programme is available from the supervisors on request. 1. Make the score error measurable, starting from Gaussian targets where the whole error decomposition is closed-form. You will report the induced score error for a given perturbation of the network’s arithmetic, the number the theory needs and the quantisation literature does not report. 2. Map device physics onto the theory. Propagate the published error models for the technologies INL works on through the score network into an explicit score-error budget, separating what is proved from what is measured. 3. Extend the guarantees. Existing bounds assume a deterministic oracle, or a benign randomised one; extend them to error that is part frozen at write time and part redrawn at each call, and settle, on the way, which process the score error should be controlled along. 4. Co-design with INL, and deliver the proof of concept.

Looking for something similar?

Leave your email and we'll alert you when matching jobs appear.

Don't apply unprepared

We research who's interviewing you, tailor your CV and rehearse you live — first one free.