828 proof-checking-postdoc-computerscience Postdoctoral positions in computer-science
Sort by
Refine Your Search
-
Category
-
Country
-
Employer
- Delft University of Technology (TU Delft)
- The Ohio State University
- Pennsylvania State University
- Chalmers University of Technology
- Carnegie Mellon University
- KTH Royal Institute of Technology
- Eindhoven University of Technology (TU/e)
- University College Cork
- Aarhus University
- Oak Ridge National Laboratory
- UNIVERSITY OF VIENNA
- National Energy Technology Laboratory (NETL)
- University of Oxford
- University of Washington
- Yale University
- King Abdullah University of Science and Technology
- University of Florida
- Argonne
- Massachusetts Institute of Technology
- The University of Arizona
- University of Sydney
- Cornell University
- NEW YORK UNIVERSITY ABU DHABI
- SUNY University at Buffalo
- Rutgers University
- U.S. Department of Energy (DOE)
- University of Maryland, Baltimore
- AALTO UNIVERSITY
- Grenoble INP - Institute of Engineering
- UNIVERSITY OF SYDNEY
- University of Oregon
- FAPESP - São Paulo Research Foundation
- Ghent University
- Harvard University
- Institute of Physical Chemistry, Polish Academy of Sciences
- Lehigh University
- Maastricht University (UM)
- Nencki Institute of Experimental Biology
- New York University
- Princeton University
- Royal Netherlands Academy of Arts and Sciences (KNAW)
- SciLifeLab
- St Jude Children's Research Hospital
- Texas A&m Engineering
- University of Amsterdam (UvA)
- University of Aveiro
- University of California
- University of North Carolina at Chapel Hill
- Utrecht University
- Zintellect
- EPFL
- Foundation for Research and Technology-Hellas
- HETAO INSTITUTE OF MATHEMATICS AND INTERDISCIPLINARY SCIENCES
- Heidelberg University
- Institute of Photonic Sciences
- MOHAMMED VI POLYTECHNIC UNIVERSITY
- Northeastern University
- Rochester Institute of Technology
- Swedish University of Agricultural Sciences
- Technical University of Munich
- The Swedish University of Agricultural Sciences
- University of Arkansas
- University of British Columbia
- University of California, Los Angeles
- University of California, Merced
- University of Nevada, Reno
- Wageningen University & Research
- Washington University in St. Louis
- Wayne State University
- Computer Vision Center
- DAAD
- Erasmus University Rotterdam
- Forschungszentrum Jülich
- Helmholtz Association of German Research Centres
- Helmholtz-Zentrum Dresden-Rossendorf - HZDR - Helmholtz Association
- Inria, the French national research institute for the digital sciences
- Institute of Macromolecular Chemistry CAS
- Institute of Science and Technology Austria (ISTA)
- Kennesaw State University
- Lulea University of Technology
- Luxembourg Institute of Science and Technology
- Macquarie University
- Max Planck Institute for Gravitational Physics, Potsdam-Golm
- Max Planck Institute for Human Cognitive and Brain Sciences, Leipzig
- Max Planck Institute of Molecular Cell Biology and Genetics, Dresden
- Missouri University of Science and Technology
- Mälardalen University
- Southern University of Science and Technology
- Stony Brook University
- Sveučilište u Zagrebu, Filozofski fakultet
- Umeå University
- University of California Irvine
- University of Copenhagen
- University of Houston
- University of Hradec Kralove
- University of Idaho
- University of Illinois Chicago
- University of Miami
- University of Minnesota
- University of Nevada Las Vegas
- 90 more »
- « less
-
Field
- Computer Science
- Engineering
- Biology
- Medical Sciences
- Science
- Chemistry
- Economics
- Materials Science
- Mathematics
- Environment
- Electrical Engineering
- Earth Sciences
- Psychology
- Humanities
- Linguistics
- Social Sciences
- Sports and Recreation
- Philosophy
- Arts and Literature
- Law
- Physics
- Business
- Design
- Education
- Statistics
- 15 more »
- « less
-
invites applications for a one-year postdoc position, focusing on cellular neurobiology involved in neuropeptide signaling. The candidate is expected to use cutting-edge cell biology techniques, proteomics
-
: 2026-09-18 Where to apply Website https://academicpositions.com/ad/kth-royal-institute-of-technology/2026/postdoc… Requirements Research FieldComputer scienceYears of Research Experience4 - 10 Research
-
» Molecular chemistry Researcher Profile Recognised Researcher (R2) Positions Postdoc Positions Application Deadline 31 Oct 2026 - 23:59 (Europe/Brussels) Country Belgium Type of Contract Temporary Job Status
-
Website https://www.academictransfer.com/en/jobs/362923/postdoc-in-regional-geology-of-… Requirements Additional Information Website for additional job details https://www.academictransfer.com/362923/ Work
-
Can you make a metal out of carbon and oxygen? The world is electrifying at an ever-increasing pace, driving up demand for metals extracted at high environmental and geopolitical cost. What if metal-like electronic materials could be built from two of the most abundant elements on Earth? We are...
-
? As a Postdoc at TU Delft, you will tackle these challenges by developing integrated sensor and readout IC technology for flexible electronic skin, or Smart Skin. You will design, simulate and lay out
-
We are a leading international university where scientific curiosity meets a hands-on mindset. We work in an open and collaborative way with high-tech industries to tackle complex societal challenges. Our responsible and respectful approach ensures impact — today and in the future. TU/e is home...
-
Job description Living systems process and respond to signals, and these responses range molecular or electrical changes inside a (neuronal) cell to macroscopic behavioural responses of animals. Both signals and responses occur over time, in a dynamically changing landscape. The goal of this...
-
Challenge: how to quantify vertical movements hidden inside regional unconformities? Change: the regional geology of the Saharan Platform. Impact: geo-practitioners interacting with the Saharan subsurface. Job description We are looking for a candidate who will investigate the regional geology...
-
that is safe against attackers enabled by quantum computers. However, the implementations of QKD may introduce weaknesses not accounted for in security proofs, leaving systems vulnerable to side-channel and