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. Turn the score-error budget into an energy– accuracy frontier for INL’s PCM-based photonic matrix–vector engine, using device-calibrated circuitlevel models; a FeFET-based analog alternative may be considered where appropriate. Jointly vary sampler steps, stochastic bitstream length and effective precision to identify an operating point predicted to yield a real energy advantage over digital CMOS at a small, tunable loss in sample quality. The result is a frontier predicted from mathematical and hardware models, then verified against calibrated measurements.

A clear negative answer is more useful to us than a vague positive one: a negative result on point 3 leaves points 1 and 2 intact and turns point 4 from a prediction into a measurement.

Who we are looking for Required

• A PhD in applied mathematics, statistics, machine learning, electronic engineering, computer science or a closely related field, obtained (or with the defence scheduled) before the start of the contract.
• A strong foundation in probability and stochastic analysis, numerical analysis, optimisation, or machine learning: SDEs, Girsanov’s theorem, time reversal of diffusions, with the ability to apply it rigorously to diffusion or other generative models.
• Familiarity with the convergence theory of sampling algorithms, or the demonstrated capacity to acquire it quickly, for example through Langevin/MCMC analysis, optimal transport or concentration of measure.
• Solid scientific computing (PyTorch or JAX), and the habit of writing code others can run. Ability and motivation to work across mathematical modelling and hardware-aware AI.
• Working English; French is not required.

Valued, not required

Prior work on diffusion or score-based generative models; numerical analysis of finite-precision arithmetic. Familiarity with hardware-aware machine learning, approximate or stochastic computing, analogue in-memory computing, device modelling, circuit simulation, photonics, ferroelectric devices, or energy modelling. Experience linking model accuracy or robustness to implementation non-idealities, such as quantisation, noise, drift, variability, finite precision, or correlated errors. Evidence of interdisciplinary research, for example work at the interface of mathematics, machine learning, devices, circuits, architectures, or electronic-design automation. No hardware experience is expected or needed to apply.

What matters most

We are seeking a researcher who wants to explore how to turn physical constraints into mathematical and architectural design parameters. The project does not require prior laboratory hardware experience: INL provides device expertise, measured characteristics and modelling infrastructure. However, the successful candidate must be prepared to engage critically with non-ideal analog, photonic and ferroelectric accelerators, and to work with both supervisors to connect device-level error mechanisms, score-error guarantees and the energy–quality trade-off of diffusion-model inference. Candidates with a primarily mathematical background and strong curiosity for hardware are welcome, as are candidates from AIhardware, device-modeling, circuit, architecture or EDA backgrounds who have the stochastic-analysis maturity needed to develop the theory. The decisive criterion is the ability to make the mathematics and hardware inform one another, producing predictions that are quantitative, testable and relevant to an energy-efficient accelerator demonstrator.

• A real double supervision, with weekly meetings that alternate between ICJ and INL. The two laboratories are on the same campus, five minutes apart on foot.
• A question publishable on both sides: mathematics journals for the theory, design and hardware venues for the co-design.
• Involvement in INL’s design–technology co-optimisation work through the PEPR Électronique CHOOSE project, and contact with the group’s ferroelectric and photonic device work (FVLLMONTI, Ferro4EdgeAI).
• Support for conference travel and open-access publication, funded by the two host laboratories, and the career-development measures the establishment provides for post-doctoral researchers.
• Practical help for international recruits through Espace ULYS, the EURAXESS service centre for Université de Lyon: visas, housing, health cover, banking, schooling.

Conditions

Twelve-month fixed-term contract under French public law, full time (1 607 h annual reference), 25 working days of annual leave plus the RTT days of the establishment’s scheme. Affiliation to the régime général for health and to IRCANTEC for supplementary pension; employer contribution to complementary health cover under the scheme in force at the establishment; 75 % reimbursement of publictransport season tickets, up to the statutory ceiling. The exact number of RTT days is set by the establishment.