Applied Researcher in Formal Methods (Lean4)
Technical Product Lead in Photonic Integrated Circuits
AI Research Scientist - Formal Verification for Physics
AI Research Scientist in Formal Mathematical Methods and Foundations of Quantum Physics
Content Developer (Part-Time)