Comment by glacambre

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