IBM - Yorktown Heights, NY 3.9

Experience with one or more general purpose programming languages and machine learning packages. Theorem provers, program synthesis, interpretable machine…

Estimated: $68,000 - $85,000 a year