|
|
|
|
|
|
by isubasinghe
16 days ago
|
|
|
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. |
|
|
This sounds really great, and exactly what we're looking for. Do you have a resume that I could share with the team manager and HR?