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

Wolfram; Champaign (IL); Hybrid; USD 30,000 - 47,000; Full time

Benefits offered by this job

Office in Champaign

Mentorship program

Job summary

Wolfram, creator of Mathematica and Wolfram|Alpha, seeks a summer intern for its Wolfram|Alpha Scientific Content team in Champaign, IL. You will curate theorems across algebra, analysis, and geometry to create machine-readable representations for theorem search and automated deduction.

The role emphasizes strong mathematical background (Masters or PhD) and familiarity with Mathematica or the Wolfram Language.

Qualifications

• Masters- or PhD-level applicants specializing in mathematics.
• Experience with Mathematica or the Wolfram Language strongly preferred.
• Full-time summer internship in Champaign, IL.

Responsibilities

• Curate theorems in algebra, analysis, geometry, and related areas.
• Create machine-readable representations for theorem search and automated deduction.
• Assist in developing mathematical language tables for natural language mathematics.

Skills

Mathematics

Education

Master's or PhD in Mathematics

Tools

Mathematica

Wolfram Language

Job description

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.

Topic list, column headers with buttons are sortable.