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.
Want more jobs like this?
Get jobs in Warrington, United Kingdom delivered to your inbox every week.
Required education
Master's Degree
Preferred education
Doctorate Degree
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.
ABOUT BUSINESS UNIT
IBM Research is the organic growth engine of IBM and an innovation engine for our customers and partners. As part of this mission, IBM Research anticipates and examines 'What's Next in Computing' to ultimately create and integrate the technologies the world relies upon to solve big challenges and unlock new opportunities. We create and pioneer new markets for IBM, our partners and customers as exemplified in our ongoing quest to reach practical and large-scale quantum computing. Across IBM Research, we realize the power and potential to accelerate discovery with our partners and clients by combining the power of high performance computing, AI, and Quantum, all integrated through the hybrid cloud.
YOUR LIFE @ IBM
In a world where technology never stands still, we understand that, dedication to our clients success, innovation that matters, and trust and personal responsibility in all our relationships, lives in what we do as IBMers as we strive to be the catalyst that makes the world work better.
Being an IBMer means you'll be able to learn and develop yourself and your career, you'll be encouraged to be courageous and experiment everyday, all whilst having continuous trust and support in an environment where everyone can thrive whatever their personal or professional background.
Our IBMers are growth minded, always staying curious, open to feedback and learning new information and skills to constantly transform themselves and our company. They are trusted to provide on-going feedback to help other IBMers grow, as well as collaborate with colleagues keeping in mind a team focused approach to include different perspectives to drive exceptional outcomes for our customers. The courage our IBMers have to make critical decisions everyday is essential to IBM becoming the catalyst for progress, always embracing challenges with resources they have to hand, a can-do attitude and always striving for an outcome focused approach within everything that they do.
Are you ready to be an IBMer?
ABOUT IBM
IBM's greatest invention is the IBMer. We believe that through the application of intelligence, reason and science, we can improve business, society and the human condition, bringing the power of an open hybrid cloud and AI strategy to life for our clients and partners around the world.
Restlessly reinventing since 1911, we are not only one of the largest corporate organizations in the world, we're also one of the biggest technology and consulting employers, with many of the Fortune 50 companies relying on the IBM Cloud to run their business.
At IBM, we pride ourselves on being an early adopter of artificial intelligence, quantum computing and blockchain. Now it's time for you to join us on our journey to being a responsible technology innovator and a force for good in the world.
OTHER RELEVANT JOB DETAILS
For additional information about location requirements, please discuss with the recruiter following submission of your application.