An official State of Ohio site. Here’s how you know
Live Chat
Contact
ODJFS Logo in OMJ Seeker Header
1
Results based on filters ( 2 jobs found )

Postdoctoral Fellow

Carnegie Mellon University, Institute for Computer-Aided Reasoning in Mathematics
Pittsburgh, PA
Actions
Apply
Save to My Profile
See all jobs from this company
See who you know on LinkedIn
Report this job
Position Description The Institute for Computer-Aided Reasoning in ...
Details
Summary
About the job:
Mathematics is a new US National Science Foundation Mathematical Sciences Research Institute, located on the campus of Carnegie Mellon University in Pittsburgh, Pennsylvania. Its mission is to support the use of new technologies for mathematical research, including interactive theorem proving and formalization, automated reasoning and symbolic AI, and machine learning and neural AI. The Institute invites applications for a one-year postdoctoral fellowship beginning August 2026, potentially renewable for a second year. A Ph.D....
Location:
Pittsburgh, PA
Job Type:
Full-Time
Permanent
Occupation:
Medical Scientists, Except Epidemiologists
Career Level / Education:
Doctoral or professional degree
Salary:
Upper Middle Income Jobs ($50K-$79K)
From:
American Mathematical Society
Certifications / Licenses:
N/A
Workkeys
Applied Math
N/A
Graphic Literacy
N/A
Workplace Documents
N/A
apply
Detailed Job Information

Innovation Engineer

Carnegie Mellon University, Institute for Computer-Aided Reasoning in Mathematics
Pittsburgh, PA
Actions
Apply
Save to My Profile
See all jobs from this company
See who you know on LinkedIn
Report this job
Carnegie Mellon University, Institute for Computer-Aided Reasoning in ...
Details
Summary
About the job:
Mathematics Position ID: 3637-IE #27235 Position Position Type: Other Position Location: Pittsburgh, Pennsylvania 15237, United States of America map Subject Area: Formal Methods and Machine Learning for Mathematics Appl Deadline: none (posted 2025/10/03) Position Description: Apply Position Description The Institute for Computer-Aided Reasoning in Mathematics (ICARM) is a new NSF Mathematical Sciences Research Institute located at Carnegie Mellon University. Our mission is to: - Empower mathematicians to take advantage of...
Location:
Pittsburgh, PA
Job Type:
Full-Time
Permanent
Occupation:
Mathematicians
Career Level / Education:
Master's degree
Salary:
Six Figure Jobs (more than $100K)
From:
Scholarshipdb.net
Certifications / Licenses:
N/A
Workkeys
Applied Math
N/A
Graphic Literacy
N/A
Workplace Documents
N/A
apply
Detailed Job Information
1

Current Filters

Refine

Industry
Location
Salary
Career/Education Level
Certificates
Occupation
Job Type
Other Opportunities
Display Results

Clear All Filters
This user has no active resume. Please click here to manage resumes.
My OhioMeansJobs Notice
You have reached the maximum number of Saved Searches / Matches. You must remove an existing record before you can save a new one. Access your saved items here.
Confirm your search criteria, then select the frequency of your search and give it a name.
Company Name: Carnegie Mellon University, Institute for Computer-Aided Reasoning in Mathematics
How often do you want to receive emails?
All fields are required
This field is required
Save
Search Jobs
Advanced close
Select up to 10 occupations
Add Occupations
...
  • x
x close
Loading Map, please wait...
Position is accurate to the ZIP Code or city location only.
Loading Map, please wait...