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 abs

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&oi=ao 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.