This sounds fun, I haven't actually got any experience in static analysis, but very familiar with compilers and also formal verification (I also worked with abstract interpretation).

This is me: https://scholar.google.com/citations?user=Rfq4QEoAAAAJ&hl=en...

I would love to work there (in Bristol not Paris), I am eligible for the youth visa because I am an Australian under age 35.