Message Boards Message Boards

0
|
6116 Views
|
0 Replies
|
0 Total Likes
View groups...
Share
Share this post:

[Job/Internship] Theorem Curation and Search Internship [Wolfram]

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

AA/EOE/Vet/Disabled

Click here to apply now!

POSTED BY: Dana Jeong
Reply to this discussion
Community posts can be styled and formatted using the Markdown syntax.
Reply Preview
Attachments
Remove
or Discard

Group Abstract Group Abstract