36 proof-checking-postdoc-computer-science-logic Postdoctoral positions at Carnegie Mellon University
Sort by
Refine Your Search
-
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
-
Carnegie Mellon University is a private, global research university that stands among the world’s most renowned education institutions. With ground-breaking brain science, path-breaking performances
-
citizens. The Critical Technology Initiative at CMU is looking for a Post-Doctoral researcher to advance an analytic research program to inform innovative technical and policy solutions. As a researcher, you
-
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
-
curious to deliver work that matters, your journey starts here! The Civil and Environmental Engineering Department at Carnegie Mellon offers a unique interdisciplinary program that enables you to develop
-
, faculty members, researchers, and students are revolutionizing focus areas in advanced manufacturing, bioengineering, computational engineering, energy and the environment, product design, and robotics. In
-
, faculty members, researchers, and students are revolutionizing focus areas in advanced manufacturing, bioengineering, computational engineering, energy and the environment, product design, and robotics. In
-
, faculty members, researchers, and students are revolutionizing focus areas in advanced manufacturing, bioengineering, computational engineering, energy and the environment, product design, and robotics. In
-
, faculty members, researchers, and students are revolutionizing focus areas in advanced manufacturing, bioengineering, computational engineering, energy and the environment, product design, and robotics. In
-
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