Job/Internship] Theorem Curation and Search Internship
Listed on 2026-08-23
-
Research/Development
Mathematics, Research Analyst
Wolfram, creator of Mathematica, Wolfram|Alpha and the Wolfram Language, is looking for an intern to join its Wolfram|Alpha Scientific Content department to work on its theorem curation and search project. This is a full-time position for this summer, working out of our Champaign, Illinois, office.
You will work with the team to curate theorems in algebra, analysis, geometry, etc. The purpose of this project is to create machine-readable representations for use in theorem search, automated deduction and other applications. The team may also develop mathematical language tables to be used in machine understanding of natural language mathematics and theorem search. Wolfram is seeking masters- or PhD-level applicants specializing in mathematics.
Experience with Mathematica or the Wolfram Language is strongly preferred.
(If this job is in fact in your jurisdiction, then you may be using a Proxy or VPN to access this site, and to progress further, you should change your connectivity to another mobile device or PC).