42 proof-checking-postdoc-computer-science-logic Postdoctoral positions at Carnegie Mellon University
Sort by
Refine Your Search
-
Details Posted: Unknown Location: Salary: Summary: Summary here. Details Posted: 05-Mar-26 Location: Pittsburgh, PA Categories: Academic/Faculty Internal Number: 182578 The Computer Science
-
Systems Department(S3D), in the School of Computer Science, Semantic Signals Lab is looking for a Post-Doctoral Researcher to join our team. Our lab builds mobile and wireless sensing systems that monitor
-
real-world settings. Robert Kraut, Haiyi Zhu, Sherry Wu, and Yi-Chia Wang in the Human-Computer Interaction Institute at CMU and Diyi Yang in the computer science department at Stanford University
-
Spinoza's Theological-Political Treatise, this Schmidt Sciences-funded phase integrates large language models with computer vision to systematically uncover hidden networks of controversial printing during
-
professionals hired specifically for this campus and seconded by faculty from the main campus. CMUQ’s primary focus is undergraduate education in Business Administration, Biological Sciences, Computer Science
-
-sensory-guided behavior. The lab uses animal behavior, optogenetics, multi-area in vivo electrophysiology, and computational modeling tools to study information flow between cortical and subcortical brain
-
designed to involve: close work with Professors Lindsay Larson and Anna Mayo at Heinz College on a sponsor-funded project; mentorship and time to advance a research program in the area of human-AI teaming
-
while drawing on our strengths in the core social sciences. Tepper faculty members are nationally and internationally recognized for their research in a variety of fields, including operations research
-
while drawing on our strengths in the core social sciences. Tepper faculty members are nationally and internationally recognized for their research in a variety of fields, including operations research
-
, background in neuroscience. Candidates should have prior experience with electrophysiology, behavioral analysis, and stereotaxic surgery. Additional experience in computational methods and programming (Python