We are looking forward to hiring Post-Docs, Research Engineers, PhD students and Research Interns in the following topics:
- Verification of Operating System components
- Verification of consensus algorithms (benign and byzantine)
- Qualitative and Quantitative abstractions for models of interactions between molecules
- Causal analysis
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.