Every story and comment from the Hacker News API, in a layout borrowed from 2001.
A comment on Ask HN: Who wants to be hired? (February 2026).
Remote: Yes
Willing to relocate: Yes, anywhere
Technologies: OCaml, Isabelle, Julia, Python, JAX, Pyro/NumPyro, Stan
Résumé/CV: (Upon request)
Email: [email protected]
---
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
There are no comments on this comment yet.
Remote: Yes
Willing to relocate: Yes, anywhere
Technologies: OCaml, Isabelle, Julia, Python, JAX, Pyro/NumPyro, Stan
Résumé/CV: (Upon request)
Email: [email protected]
---
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