-
Columbia University
Posted 4 years, 4 months ago
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 leve…
Tech Stack
Automated / interactive theorem proving Technical writing Grant writing The Julia programming language Machine learning Probabilistic programming Bayesian inference Model based and model free planning and reinforcement learning Compilers and program analysis Structural causal modeling Program synthesis -
NY University
Posted 4 years, 10 months ago
I’ll be starting a research team within a NY 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…
-
Synthetic Minds (YC S'18)
Posted 6 years, 11 months ago
We're building program synthesizers, i.e., automation that can write code. We have an MVP in production that reads/writes smart contracts (small, permanent apps) in Ethereum's Solidity language, used to ensure customers' code is secure and correct. …
Locations
San Francisco, CA