822 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)
- Aarhus University
- University College Cork
- 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
- Cornell University
- NEW YORK UNIVERSITY ABU DHABI
- SUNY University at Buffalo
- University of Sydney
- 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
- 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
- Foundation for Research and Technology-Hellas
- 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
- Sports and Recreation
- Philosophy
- Social Sciences
- Physics
- Arts and Literature
- Law
- Business
- Design
- Education
- 14 more »
- « less
-
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
-
positions, expected to last 2-3 years, for independent scholars working on the foundations of data science. FDS postdocs can select multiple mentors from among the members of the institute, and can change
-
Join the M-WAVE team to develop a forward operator for land data assimilation. Job description Challenge: Understanding the climatic drivers of crop failure, monitoring crop growth and implementing early warning systems are essential to ensure future food security. Satellite remote sensing, and...
-
Programme? Not funded by a EU programme Is the Job related to staff position within a Research Infrastructure? No Offer Description You are a Postdoc at the Laboratory of Food Chemistry, in context of a
-
Job description We seek a highly motivated postdoctoral researcher to develop and apply integrated workflows for in situ cryogenic electron tomography (cryo-ET). The project will focus on automating cellular targeting and lamella preparation of frozen-hydrated biological specimen on a unique...
-
conditions are met. These are directions. We care far more about finding a genuinely creative and inventive scientist than about a perfect match to any one project. The strongest candidates will help shape
-
Fixed-term contract: 1 year. Wageningen University & Research offers excellent terms of employment . A few highlights from our Collective Labour Agreement include: sabbatical leave, study leave, and partially paid parental leave; working hours that can be discussed and arranged so that they...
-
The Faculty of Engineering and Health Sciences provides education and conducts research in engineering, health and information design, with a clear focus on addressing societal challenges. Our research is carried out in close collaboration with external partners, both nationally and...
-
residence permit must be presented by the start date, otherwise the offer may be withdrawn. What we offer As a postdoc at Chalmers, you are an employee and enjoy all employee benefits. Read more about
-
background check investigation. This investigation includes a declaration of illegal drug activities, including use, supply, possession, or manufacture within the last year. This includes marijuana and