We are a research and development startup, with an ambitious goal to build a system capable of understanding knowledge, to answer questions and get things done. Our work leverages cutting-edge domains such as Probabilistic Programming and Applied Ca…

Our group largely works on research projects trying to apply formal methods to cybersecurity applications. If you're interested in functional programming (OCaml), compilers, binary analysis, cybersecurity or SMT solvers maybe you'd like what we do.

At Formal Land we apply formal verification to everyday-life programs. Our key technique is to translate programming code into similar formal Coq code, and do our formal specifications/proofs directly on it. As our main customer, we are formally ve…

Spend the morning supporting users then handover to the next time zone. Afternoon for undisturbed R&D. Mid-level IC roles. Work entirely remotely, subject to regulatory considerations. We can relocate you to Zurich (Switzerland), Singapore, Hong Kon…

Spend the morning supporting users then handover to the next time zone. Afternoon for undisturbed R&D. Mid-level IC roles. Work entirely remotely, subject to regulatory considerations. We can relocate you to Zurich (Switzerland), Singapore, Hong Kon…

Spend the morning supporting users then handover to the next time zone. Afternoon is for undisturbed R&D, where I expect most of your (replicable) experiments to fail. Ongoing experiments include alpha capture systems, generating implied vol history…