>but very familiar with compilers and also formal verification This sounds reall... | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

glacambre 68 days ago | parent | context | favorite | on: Ask HN: Who is hiring? (June 2026)

>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?

isubasinghe 58 days ago [–]

I do indeed, how do I send it over? Sorry about the late response!

Consider applying for YC's Fall 2026 batch! Applications are open till July 27.
Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact