Introduction
At IBM, work is more than a job – it’s a calling: To build. To design. To code. To consult. To think along with clients and sell. To make markets. To invent. To collaborate. Not just to do something better, but to attempt things you’ve never thought possible. Are you ready to lead in this new era of technology and solve some of the world’s most challenging problems? If so, lets talk.

Your Role and Responsibilities
Pursue exploratory research in pure and applied mathematics or in theoretical and exploratory computer science in collaboration with resident colleagues in IBM Research.

Core fields of research include: algorithms, applied probability, complexity theory, dynamical systems, numerical analysis and scientific computing, operations research, optimization and statistics. Areas of particular interest include: algorithmic game theory, artificial general intelligence, automated theorem proving and program synthesis, bio-inspired information processing, theory and analysis of foundation models and machine learning, and geometric data analysis.

Required Technical and Professional Expertise
Advanced research in one or more of these areas

• algorithms, information theory,
• artificial intelligence and machine learning,
• automated theorem proving and program synthesis,
• algorithmic game theory,
• numerical analysis and scientific computing,
• dynamical systems,
• stochastic optimal control,
• inverse problems,
• optimization,
• operations research,
• applied probability,
• statistics.

Preferred Technical and Professional Expertise

• Demonstrated capabilities in working collaboratively, writing and publishing technical manuscripts in highly selective venues for topics in Pure and Applied Mathematics, Theoretical Computer Science.