The CONVECS team of LIG and Inria Grenoble is seeking a PhD
candidate on formal modeling and validation for electric, connected,
and automated vehicles:
The CONVECS team of LIG and Inria Grenoble is seeking a PhD
candidate on formal modeling and validation for electric, connected,
and automated vehicles: