What we're looking for** - A graduate degree in mathematics or a related field, or an equivalent research or competition background - Clear written co..Share
Help a leading AI lab teach its models to write real, machine-checked mathematics in Lean. Overview A leading AI lab is looking for Lean engineers, fo..Share
Overview A leading AI lab is looking for Lean engineers, formal mathematicians and proof engineers to help its AI models state and prove mathematics c..Share
What we're looking for** - A graduate degree in mathematics or a related field, or an equivalent research or competition background - Clear written co..Share
Formalize natural-language mathematics, from competition problems and textbook results to research-level lemmas, paying close attention to whether the..Share
Posted 3 weeks ago
Never Miss New Jobs!
Get new mathematics jobs from Salt Lake City, UT, US alerts sent directly
to your email!
Never Miss New Jobs!
Get new mathematics jobs in Salt Lake City, UT, US by email
What we're looking for** - A graduate degree in mathematics or a related field, or an equivalent research or competition background - Clear written co..Share
ACU is affiliated with the fellowship of the Church of Christ. This position requires the employee to be a professing Christian and to be willing to s..Share
What we're looking for** - A graduate degree in mathematics or a related field, or an equivalent research or competition background - Clear written co..Share
Entropy Analyst Full Time Fairfax, VA USA We're looking for individuals with a statistical math background and interest in mathematical modeling to j..Share
This role is for one of our clients Compensation: $54-$93 per hour Join a cutting-edge AI research initiative in collaboration with a leading frontier..Share
Tutoring Position Provide individual and group tutoring virtually and in-person in a manner that enhances student success. Major Responsibilities: Te..Share
Help a leading AI lab teach its models to write real, machine-checked mathematics in Lean. Overview A leading AI lab is looking for Lean engineers, fo..Share
What we're looking for** - A graduate degree in mathematics or a related field, or an equivalent research or competition background - Clear written co..Share
Overview A leading AI lab is looking for Lean engineers, formal mathematicians and proof engineers to help its AI models state and prove mathematics c..Share