39 proof-checking-postdoc-computer-science-logic Postdoctoral positions at Carnegie Mellon University
Sort by
Refine Your Search
-
of Mathematical Sciences invites applications for a two- or three-year postdoctoral position in stochastic analysis, with a preference for mathematical finance, beginning in September 2026. A Ph.D. in mathematics
-
Carnegie Mellon University, Mathematical Sciences Position ID: CMU -PDMFSA [#26884] Position Title: Position Type: Postdoctoral Position Location: Pittsburgh, Pennsylvania 15213
-
language processing, machine learning, artificial intelligence, and human-computer interaction. Established within the School of Computer Science, LTI pioneers innovative ways to understanding, processing, and
-
of natural language processing, machine learning, artificial intelligence, and human-computer interaction. Established within the School of Computer Science, LTI pioneers innovative approaches to understanding
-
language processing, machine learning, artificial intelligence, and human-computer interaction. Established within the School of Computer Science, LTI pioneers innovative ways to understanding, processing, and
-
of natural language processing, machine learning, artificial intelligence, and human-computer interaction. Established within the School of Computer Science, LTI pioneers innovative approaches to understanding
-
curious to deliver work that matters, your journey starts here! The Department of Electrical and Computer Engineering (ECE) ranks among the best in the country. Our research programs are at the forefront
-
, faculty members, researchers, and students are revolutionizing focus areas in advanced manufacturing, bioengineering, computational engineering, energy and the environment, product design, and robotics. In
-
curious to deliver work that matters, your journey starts here! The Department of Electrical and Computer Engineering (ECE) ranks among the best in the country. Our research programs are at the forefront
-
, faculty members, researchers, and students are revolutionizing focus areas in advanced manufacturing, bioengineering, computational engineering, energy and the environment, product design, and robotics. In