The CONVECS team of INRIA and LIG proposes a position for
a software engineer to help developing verification tools
for asynchronous circuits and the Internet of Things:
The CONVECS team of INRIA and LIG proposes a position for
a software engineer to help developing verification tools
for asynchronous circuits and the Internet of Things: