News for hackers. Stuff that matters.

A comment on Ask HN: Who is hiring? (June 2026). Parent comment

Re:Ask HN: Who is hiring? (June 2026) by isubasinghe on Monday June 01, 2026 @07:39PM (#48364019)
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.

[ Parent | on HN ]
Re:Ask HN: Who is hiring? (June 2026) by glacambre on Tuesday June 02, 2026 @01:38AM (#48366475)
>but very familiar with compilers and also formal verification

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?

[ Parent | on HN ]
Re:Ask HN: Who is hiring? (June 2026) by isubasinghe on Thursday June 11, 2026 @05:47AM (#48488247)
I do indeed, how do I send it over? Sorry about the late response!
[ Parent | on HN ]