Sort by
Refine Your Search
-
Listed
-
Field
-
Administration, Biological Sciences, Computer Science, and Information Systems. PhD in Psychology, preferably in Social Cognition, by time of application or by August 1, 2026. Teaching experience Experience
-
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
-
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
-
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
-
duties as assigned. REQUIREMENTS: REQUIRED: PhD in in computer vision, machine learning, artificial intelligence, or a closely related field. Strong programming skills. Strong background in machine
-
: 2023813 Carnegie Mellon University's Robotics Institute is searching for a Postdoctoral Fellow to join their team. This is an exciting opportunity for someone who thrives in an interesting and challenging
-
Carnegie Mellon University’s Robotics Institute is searching for a Postdoctoral Fellow to join their team. This is an exciting opportunity for someone who thrives in an interesting and challenging
-
Carnegie Mellon University’s Robotics Institute is searching for a Postdoctoral Fellow to join their team. This is an exciting opportunity for someone who thrives in an interesting and challenging
-
systems. The ideal candidate has a strong background in cryptography and data security, blockchanis, and privacy. The successful candidate is able to quickly get into new research areas and will be
-
required. Application Instructions Applicants should submit all materials electronically through both MathJobs and Interfolio . This includes a cover letter, a curriculum vitae, list of publications, a