Dear all, A 12-month postdoctoral fellowship funded by CNRS on *monitoring cyberphysical systems with quantities* is available at LIPN, Université Sorbonne Paris Nord, starting anytime (and in any case September 2024 latest). *Full subject online*: https://lipn.univ-paris13.fr/~andre/sujets/postdoc-CNRS-monitoring.pdf /A key challenge in monitoring is to formalize complex requests involving quantities such as "the vehicle always remains at a minimum distance from other vehicles, with energy consumption maintained below a predefined threshold (where this threshold is not necessarily known a priori with full precision), except in the event of exceptional danger at most one minute per hour"; and then to detect possible violations of these requests on huge quantities of data./ /This implies being able to define expressive quantitative formalisms, as well as efficient verification algorithms./ /This post-doctoral fellowship fits within this framework, with both theoretical and algorithmic/implementation aspects./ / / /The goal of the postdoctoral fellowship may include:/ /- propose expressive formalisms (logics, automata) capturing quantitative values in multiple dimensions (time, cost, energy, etc.);/ /- propose efficient monitoring algorithms;/ /- implement these algorithms and evaluate them against benchmarks./ *Application*: informal contact by email first (preferred) at andre.etienne (at) lipn13 (dot) fr ; or direct application via https://emploi.cnrs.fr/Offres/CDD/UMR7030-ETIAND-002/Default.aspx?lang=EN Best, -- Étienne André Université Sorbonne Paris Nord https://lipn.univ-paris13.fr/~andre/