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).
Location not specified
Accepting Applications
Full-time
On-site
HN
Posted 1 week, 1 day ago
1 views
0 applications
Job Description
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.