Lausanne area, Switzerland
TypeScope
Our mission is to make AI agents safe to deploy on sensitive systems — secure by construction, with boundaries the compiler proves before anything runs.
Founder & CEO
Dr. Fengyun Liu
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.
Careers
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.
Contact
Tell us your problem — what you want an AI agent to do, what access it may need, and what would make it unsafe. We will give you an honest assessment of whether TypeScope is the right fit.
Thanks — your message is on its way.
We read every inquiry and will reply if there's a fit. Prefer email? Reach us directly at [email protected].