Location: Cambridge, UK
Remote: Yes
Willing to relocate: Yes
Technologies: Julia, Haskell, Ocaml, Isabelle, Z3 and others.
Résumé/CV: DPhil (Oxford PhD) in Statistics, MSc in Machine Learning &amp; AI, MSc in Logic &amp; Formal Methods, BSc in CS (best ranked student in my home country). I have experience working in a variety of fields: Risk modeling (extreme value theory), biotechnology (deep probabilistic models) and hardware (verification of real time systems).
Email: REDACTED_EMAIL