Formal Methods Engineer

I have 20 years of experience as a software engineer. I recently obtained a PhD from Oxford. I am mainly interested in engineering complex systems, formal methods and verification. I am familiar with model checking, static analysis, abstract interpretation and theorem proving. I have developed several official packages for NixOS/nixpkgs and have contributed some bugfixes.