Postdoc Position on Verification of Asynchronously Communicating Systems, Inria/LIG, Grenoble, France