Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Program
-
Employer
- University of Pennsylvania
- Humboldt-Stiftung Foundation
- Delft University of Technology (TU Delft); Delft
- Delft University of Technology (TU Delft)
- University of Arkansas
- California Institute of Technology
- ETH Zurich
- Brno University of Technology, Central European Institute of Technology
- Cornell University
- Ghent University
- Karolinska Institutet (KI)
- SciLifeLab
- University of California
- University of Minho
- Aarhus University
- Brandenburg University of Technology Cottbus-Senftenberg •
- Centro de Estudos Sociais da Universidade de Coimbra
- Delft University of Technology (TU Delft); yesterday published
- FCiências.ID
- Faculty of Geodesy, University in Zagreb
- Friedrich Schiller University Jena •
- Georgia Southern University
- Inria, the French national research institute for the digital sciences
- KU LEUVEN
- Luleå University of Technology
- Massachusetts Institute of Technology
- Michigan Technological University
- National Renewable Energy Laboratory NREL
- New York University
- Norwegian Institute of International Affairs
- TU Wien
- Technical University of Denmark
- Technical University of Munich
- The University of Chicago
- UNIVERSIDADE DE ÉVORA
- Universiteit van Amsterdam
- University of Amsterdam (UvA)
- University of Amsterdam (UvA); yesterday published
- University of Illinois at Chicago
- University of Oslo
- University of Washington
- 31 more »
- « less
-
Field
-
Inria, the French national research institute for the digital sciences | Paris 15, le de France | France | 1 day ago
in type theory, programming languages, machine-checked proofs, and, in particular, in the proof-theoretical properties of various formulations of the axiom of choice. Fluency in French or English
-
produced will enable (1) debugging, since proofs contain detailed information about where bugs occurred,(2) auditability, since proofs can be stored and checked by an independent third party, and even (3
-
completely sustainable and future-proof. At the same time, we are developing the chips and sensors of the future, whilst also setting the foundations for the software technologies to run on this new generation
-
. Expected start: January 2026. The position is initially limited to a period of six years, but the candidate and TU Wien can agree upon a tenure evaluation, which when positive, opens the possibility
-
., for the Department Chair, Postdoc and Pre-doctoral directors, and other faculty as needed. Manage complex calendar management and scheduling for the Department Chair, Program Directors and other faculty as needed
-
this check on the basis of legitimate interest. Please do not contact us for unsolicited services. Where to apply Website https://www.academictransfer.com/en/jobs/354827/postdoc-on-digital-cim-based-ai
-
this check on the basis of legitimate interest. Please do not contact us for unsolicited services. Where to apply Website https://www.academictransfer.com/en/jobs/354828/postdoc-on-analog-cim-based-ai
-
coordination for WiN’s diverse research portfolio, including logistical support for student research assistants, postdocs, and research staff. Coordinate with the Wharton Behavioral Lab, external partners, and
-
other Sponsor cost elements, understanding sponsoring agency regulations and University policies regarding allowability and allocability in consultation with Principal Investigators, postdocs, and
-
. The full job description is available here. https://www.dropbox.com/scl/fi/pei7s6ncbj1ygcwsya2q0/Postdoc-2026_2027-call-for-applications-8.28.25.pdf?rlkey=tf4zawqnes5ulx7gwrp5218bu&e=1&st=hwztd7q6&dl=0 Job