87 cloud-computing-"https:" "https:" "https:" "https:" "https:" research jobs at Carnegie Mellon University
Sort by
Refine Your Search
-
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
-
CMIST is a university-wide institute that integrates Carnegie Mellon’s leadership in computer science and engineering with its distinguished tradition of interdisciplinary research. Combining
-
, faculty members, researchers, and students are revolutionizing focus areas in advanced manufacturing, bioengineering, computational engineering, energy and the environment, product design, and robotics. In
-
computational biologists. Publishing research findings in peer-reviewed journals and present at scientific conferences. Mentoring and supervise graduate and undergraduate students in related projects
-
well as a generous retirement savings program with employer contributions. Unlock your potential with tuition benefits , take well-deserved breaks with ample paid time off and observed holidays , and rest
-
savings program with employer contributions. Unlock your potential with tuition benefits , take well-deserved breaks with ample paid time off and observed holidays , and rest easy with life and accidental
-
benefits. Benefits 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
-
technical/computational backgrounds (ML, NLP, AI safety, working with LLMs) as well as computational social scientists. The ideal candidate bridges these worlds or is eager to learn across them
-
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
-
Structures: the formal study of mathematical proof itself, as a subject in computational complexity, type theory, metamathematics, logic, and beyond. What is the space of mathematical truth, and what proofs