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.
Location: Champaign, Illinois
Click here to apply now!