88 cloud-computing-"https:" "https:" "https:" "https:" "https:" "St" research jobs at Carnegie Mellon University
Sort by
Refine Your Search
-
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
-
subject in computational complexity, type theory, metamathematics, logic, and beyond. What is the space of mathematical truth, and what proofs are there to be discovered? Theme Three: Cyborg Proofs: the use
-
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
-
, faculty members, researchers, and students are revolutionizing focus areas in advanced manufacturing, bioengineering, computational engineering, energy and the environment, product design, and robotics. In
-
deployment, and leadership skills. Function 3 Postdoctoral researchers are expected to: Lead research projects within one of the focus areas above. Publish in leading robotics, computer vision, and machine
-
of computer graphics, human-computer interaction, computer vision, and machine learning. Conducting comprehensive literature reviews in related areas, including deep generative models, image and video synthesis
-
eligible employees enjoy a wide array of benefits including comprehensive medical, prescription, dental, and vision insurance as well as a generous retirement savings program with employer contributions
-
for the Pitkow Lab. Core Responsibilities Include: Develop computational methods for inference and control that improve the reliable and efficient operation of autonomous agents in complex, uncertain environments
-
for the AI Security Researcher role. Originally created in response to one of the first computer viruses -- the Morris worm – in 1988, CERT has remained a leader in cybersecurity research, improving
-
for the AI Security Researcher role. Originally created in response to one of the first computer viruses -- the Morris worm – in 1988, CERT has remained a leader in cybersecurity research, improving