Introduction
IBM Research Scientists are charting the future of Artificial Intelligence, creating breakthroughs in quantum computing, discovering how blockchain will reshape the enterprise, and much more. Join a team that is dedicated to applying science to some of today's most complex challenges, whether it's discovering a new way for doctors to help patients, teaming with environmentalists to clean up our waterways or enabling retailers to personalize customer service.

Your Role and Responsibilities
Mathematics involves discovering and using patterns to formulate and prove conjectures, resulting in theorems. Defining new algebras or geometric characteristics with desired properties remains a challenge. Available approaches lack rigour and efficiency. During this internship, the student will work with scientists from IBM Research, UK and USA to advance the state-of-the-art methods for aiding the certifiability of mathematical results and streamlining the discovery process. Developed tools will be used to seek new connections between algebraic and geometric structures.

• Must have a background in Applied Math and/or machnie learning with graduate-level studies in topics including optimization, linear and multi-linear algebra, machine learning, numerical analysis and scientific computing, applied probability, and statistics.
• Must have graduate level experience in conducting research in one or more of the above topics.
• Track record of co-authoring technical reports and publications

• Programming experience in python and/or matlab, in particular experience with ML packges such as Pytroch, and in scientfic computing. Experience with automated theorem proving tools usch as Lean or Coq is a plus.
• Ph.D. candidate.