9 software-formal-method-phd Fellowship positions at Carnegie Mellon University in United States
-
, Pennsylvania 15237, United States of America [map ] Subject Areas: Mathematics; Formal Methods; AI Appl Deadline: (posted 2026/01/15 05:00 AM UnitedKingdomTime, listed until 2026/07/16 04:59 AM UnitedKingdomTime
-
on human behavior modeling related to video classification using deep learning networks for end-users. Work with other team members to develop and maintain software for maximum efficiency and usability
-
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
-
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
-
facilitated more than 120,000 conversations. Designing and running experiments to examine how AI systems shape human beliefs; developing rigorous methods to evaluate and mitigate persuasive risks; and creating
-
candidate is a highly motivated high school student who will support data analysis, application development, and research objectives. Work could include, for example, software development, investigation and
-
project. This position will require an in depth knowledge of a specialized field, process, or discipline and may involve organizing and implementing complex research plans, the development of methods
-
bioconjugation and polymer processing. Core Responsibilities: Develop strategies to tune the physical and chemical properties of proteins through chemical modification Develop methods to compatibilized proteins
-
an in depth knowledge of a specialized field, process, or discipline and may involve organizing and implementing complex research plans, the development of methods of research, testing and data collection