Experience Inc. Jobs

Introduction

IBM Research takes responsibility for technology and its role in society. Working in IBM Research means you'll join a team who invent what's next in computing, always choosing the big, urgent and mind-bending work that endures and shapes generations. Our passion for discovery, and excitement for defining the future of tech, is what builds our strong culture around solving problems for clients and seeing the real world impact that you can make. IBM's product and technology landscape includes Research, Software, and Infrastructure. Entering this domain positions you at the heart of IBM, where growth and innovation thrive.

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.

Required technical and professional expertise

• 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

Preferred technical and professional experience

• 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.