Senior Research engineer on Statistical Methods for Analysis and Optimization of embedded Critical Systems (RE3 – T1)

Context and Mission
The High-Performance Embedded Systems (HPES) laboratory focuses on enabling the adoption of hardware, software, and artificial intelligent (AI) high-performance solutions in embedded systems as its center of gravity, but also in any system with some form of criticality, like cars, airplanes, and satellites. Our work is carried out in the context of bilateral projects with several processor companies as well as several European-funded projects.

Key Duties

Develop and apply statistical techniques to evaluate the reliability, robustness, and safety of AI and machine learning systems

Analyze system timing behavior under rare events, edge cases, distribution shifts, and adversarial or unexpected inputs

Develop data gathering techniques and tools to enable Topological Data Analysis on complex high‑performant hardware in critical systems

Use methods such as Extreme Value theory, Markov’s Inequalities, Bayesian inference, probabilistic modeling,



hypothesis testing, causal analysis, Monte Carlo simulation, conformal prediction, and formal/statistical verification for the analysis of real‑time safety‑critical systems

Contribute to the research on statistical techniques to verify and improve the result of raw data gathering of AI‑based control applications in real‑time edge devices

Contribute to research project proposals

Advise and support master and doctoral students

Requirements

Education

Degree in Mathematics, Statistics or Physics

PhD in statistical analysis of execution time in high‑performance computing hardware

Essential Knowledge and Professional Experience

Proven experience in scientific work on safety‑critical systems with statistical modelling, Extreme Value Theory, and Topological data analysis

Extensive experience in the analysis and verification of real‑time safety‑critical systems

Statistical analysis and val

📌 Senior Research engineer on Statistical Methods for Analysis and Optimization of embedded Criti[...] (Barcelona)
🏢 Barcelona Supercomputing Center
📍 Barcelona