Software — Stack — for Massively Geo-Distributed Infrastructures

logo IMT Atlantique logo inria logo LS2N

2 new members for the VeRDi project -

Two new members have been hired for the VeRDi project and will arrive in july 2019. The first one is a 18-months postdoc expert in formal methods and verification. The second one is a 18-months engineer who will bring technical support to the project.

VeRDi project website