Job offers

We are looking forward to hiring Post-Docs, Research Engineers, PhD students and Research Interns in the following topics:

More generally, if you are interested in carrying out research activities in semantics abstract interpretation, static analysis, verification applied to distributed systems, operating systems, embedded or IoT systems, biological systems, data-science applications or blockchain applications, please contact us directly.



Comments are closed.