Principal Probabilistic Inference & Formal Verification Engineer

This profile is from an individual with an extensive academic background, holding an Oxford PhD, MSc in Machine Learning, MSc in Formal Methods, and a BSc in Computer Science. They possess 15 years of experience in Bayesian inference, machine learning, and functional programming. Their expertise lies in probabilistic inference, high-performance computing, and formal verification. Key achievements include designing, building, and scaling custom probabilistic inference systems for production and research biotech, and formally proving the correctness of safety-critical cyber-physical systems. They are seeking Staff/Research Engineer or Lead roles in AI, biotech, deep tech, or fintech, and are willing to relocate anywhere.