What we are currently hiring for:
- Senior Software Engineers: to build symbolic components of our core system
- Numerical Analysis Researchers: to analyze our learning algorithm as a dynamical system
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 Category Theory. Initially we’re focussed on building a system that can receive queries in natural or domain specific language, provide good answers and an insight into its reasoning. Our core is built in Julia, but we will also consider skills in other production languages, such as Haskell, Clojure, OCaml, Rust and C++.
If you want to learn more about our company, get some insights into what it’s like to work in our team and participate in our retreats, check our out Join Us page: https://planting.space/joinus
To see a full list of openings, and to apply, follow this link: https://jobs.lever.co/planting.space