Résumé/CV: DPhil (Oxford PhD) in Statistics, MSc in Machine Learning & AI, MSc in Logic & 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).
Technologies: Julia, Haskell, Ocaml, Isabelle, Z3 and others.
Résumé/CV: DPhil (Oxford PhD) in Statistics, MSc in Machine Learning & AI, MSc in Logic & 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).
Remote: Yes
Willing to relocate: Yes
Technologies: Julia, Haskell, Ocaml, Isabelle, Z3 and others (Pyro, Stan, PyTorch...)
Résumé/CV: DPhil (Oxford PhD) in Statistics, MSc in Machine Learning & AI, MSc in Logic & 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: [email protected]