Columbia University

I’m starting a research team at Columbia University. Please get in touch if you are interested in working in an academic environment at the cutting edge of probabilistic programming, causal inference, program synthesis and machine learning. All levels of experience will be considered. Respondents should have familiarity with some subset of the following: - Bayesian inference - Probabilistic programming - Structural causal modeling - Machine learning - The Julia programming language - Model based and model free planning and reinforcement learning - Program synthesis - Technical writing - Grant writing - Automated / interactive theorem proving - Compilers and program analysis Contact: zenna[at]csail[dot]mit[dot]edu You can see the kind of research I do on my website zenna.org