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

[isubasinghe]

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