-
. The project combines quantitative modelling of markets and the wider energy system with empirical analysis of how flexibility is created, priced, and traded by market participants. A central objective is to
-
‑classical algorithms to tackle domain‑specific, computationally demanding problems. Methods will be designed for near‑term (NISQ‑era) deployment, with models evaluated for expressivity, training stability
Searches related to model checking
Enter an email to receive alerts for model-checking positions in postdoctoral