226 formal-verification-computer-science Postdoctoral research jobs at Princeton University
Sort by
Refine Your Search
-
Listed
-
Field
-
positions are pro-rated accordingly. The University also offers a comprehensive benefit program to eligible employees. Please see this link for more information. Requisition No: D-26-NES-00002 PI279554603
-
the guidance of Dr. Arash Adel, Assistant Professor in the School of Architecture and Associated Faculty of the Department of Computer Science. The desired start date is Spring 2025. Appointments are for one
-
join a vibrant intellectual community dedicated to advancing research on blockchain, decentralized technologies, and their applications, across computer science, economics, law, political science
-
to computer science, sociology to psychology, engineering to environmental studies - to make novel insights and to tackle the full complexity of human health.We seek applicants to join any of the several
-
: 278829711 Position: IRS Postdoctoral Research Associate Description: The Industrial Relations Section (IRS) and the Department of Economics invite outstanding researchers to apply for 10-month appointments as
-
computer science, economics, law, political science, philosophy, and related fields. The DeCenter is a newly established interdisciplinary hub at Princeton University devoted to exploring the decentralization
-
The Computer Science Department invites applications for postdoctoral research or more senior research positions to work on an interdisciplinary project exploring decision-making in humans and AI
-
interested in computational materials design and discovery. The successful candidate will develop new, openly accessible datasets and machine learning models for modeling redox-active solid-state materials
-
. Training also includes an introduction to various advanced neuroimaging methodologies. Essential qualifications for these positions include: a Ph.D. in Neuroscience, Computer Science, Bioengineering
-
, computer science, electrical engineering, applied mathematics, or operations research) before May 2025 are encouraged to apply. Ideal candidates will display outstanding ability for research and a record of