2 proof-checking-postdoc-computerscience PhD positions at IMT Atlantique

PhD position in "Optimization of complex multi-carrier energy systems guided by Machine Learning Algorithms" - MSCA Cofund SEED doctoral programme

IMT Atlantique | Nantes, Pays de la Loire | France | 2 months ago

models, most technologies do not correspond to this behavior. Operations such as storage, grid interconnection and coordination between operating units are strongly linked to the generation of nonlinear

PhD position in "Energy-aware actor-based distributed programming" - MSCA Cofund SEED doctoral programme

IMT Atlantique | Nantes, Pays de la Loire | France | 2 months ago

dynamically by the distributed environment in which the program is executed. Required energy quotas are then checked using static analysis or dynamic tests against the energy available from the execution