We are building a system which accurately represents knowledge and uncertainty, to enable the discovery of insights and transparent problem solving. Useful experience: algorithms, Bayesian statistics, symbolic computing, optimization, category theor…