Post Doc - ICARM

Carnegie Mellon University

Part-time

Salary

$0 - $0 per yearly

Location(s)

  • Pittsburgh PA US

Description

The Institute for Computer-Aided Reasoning in 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

Tags

  • AI & Machine Learning

How to apply

Apply for this job at: https://api.collabwork.com/api:1SHNakFf/xmljobs?ref=MDNiNTdhMDc5MDU4NDkxZDhhOWY5YTViZDczN2Y0NmZ8Y2QxMzUxYTctNGMyYi00YzczLThkM2MtMDI4NWNjYjBmZTgx&utm_source=collabworkv3site