Hacker News new | past | comments | ask | show | jobs | submit login

Location: Cambridge, UK

Remote: Yes

Willing to relocate: Yes

Technologies: Formal methods and (deep) probabilistic inference

Résumé/CV: On request

Email: longhanboro@protonmail.ch

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).

Guidelines | FAQ | Support | API | Security | Lists | Bookmarklet | Legal | Apply to YC | Contact