PlantingSpace is a research and development startup with the goal of building a system capable of understanding knowledge, to answer questions and get things done. To pursue this goal, we leverage emerging scientific fields such as category theory, …

What we are currently hiring for: - Dynamical Systems Research: to analyze our learning algorithm as a dynamical system - Transformers Software Engineering (NLP): For transformer models, to work on query parsing - Global HR Manager: to build the …

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…

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…