You will be extending the cutting edge of deep learning and machine learning technologies, developing novel integrations with symbolic knowledge, probabilistic programming and Bayesian reasoning, automatic program synthesis, combinatoric optimization, and more. We offer competitive compensation plus bonus and retirement contribution, with an attractive benefits package including 100% employer-paid medical and dental insurance, as well as vision, life, and disability insurance, paid maternity/paternity leave, tuition reimbursement, monthly gym allowance, free parking, generous paid time off, and a casual environment.