Willing to relocate: Yes
Technologies: Formal methods and (deep) probabilistic inference
Résumé/CV: On request
I have quite a lot of experience (MSc and PhD) using formal methods (model checking, program analysis, abstract interpretation and theorem proving), formal development methodologies (axioms to code) and lightweight formal methods (generative property-based testing).
Additionally, I am also very interested and experienced in probabilistic inference (message passing on factor graphs, plus deep and non-deep architectures).