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/
