We are looking for strong software engineers to build our program synthesis pipeline. You will be able to choose how close to theory or the production system you want to work, and be exposed to cutting edge research in Bayesian statistics, dynamical systems, information theory, category theory, and more.