Comment by linkoping

Location: Copenhagen, DK

Remote: Yes

Willing to relocate: Yes, anywhere

Technologies: OCaml, Isabelle, Julia, Python, JAX, Pyro/NumPyro, Stan

Résumé/CV: (Upon request)

Email: hnhiring.appealing339@passinbox.com

---

Highlights:

Designed, built, and scaled custom probabilistic inference systems deployed in production and research biotech

Formally proved correctness of safety-critical cyber-physical systems

---

Background: Oxford PhD + MSc (Machine Learning) + MSc (Formal Methods) + BSc (CS)

Experience: 15 years in Bayesian inference, machine learning, and functional programming

Expertise: Probabilistic inference, high-performance computing, and formal verification

Seeking: Staff/Research Engineer or Lead roles in AI, biotech, deep tech, or fintech