Research Scientist, Compilers and Programming Languages
17 days ago
New York
Consequently, research scientists will also engage with topics such as probabilistic programming, automatic differentiation, and SAT/SMT solvers, among others. Have demonstrated an ability to conduct first-class scientific research, published in venues such as PLDI, OOPSLA, and POPL, or in technical