Lausanne area, Switzerland
Our mission is to make AI agents safe to deploy on sensitive systems — secure by construction, with boundaries the compiler proves before anything runs.
Fengyun Liu, Founder
Fengyun holds a PhD in computer science from EPFL, where he worked on type systems, capability systems, and safe initialization. Before founding TypeScope, he spent four years as a senior researcher at Oracle Labs Zurich.
He has extensive experience working on the Scala 3 compiler and is a Distinguished Paper Award winner at a top programming languages conference. His recent passion is designing secure programming languages from first principles.
We are a small, technical team. The work is deep: type system design, compiler implementation, security modelling, and the infrastructure to support production deployments.
We are not actively hiring right now, but we are always interested in engineers who care seriously about programming language design, type systems, or security. If that describes you, reach us at [email protected] with a note about your background and what draws you to the problem.
Tell us about one workflow you would like to improve. You do not need to know which AI system you need — we will start with a short conversation and give you an honest assessment of whether a pilot makes sense.
We read every inquiry and will reply if there's a fit. Prefer email? Reach us directly at [email protected].
