Sort by
Refine Your Search
-
Listed
-
Country
-
Employer
- Delft University of Technology (TU Delft); Delft
- University of Arkansas
- Cornell University
- Delft University of Technology (TU Delft)
- University of Minho
- Aarhus University
- Centro de Estudos Sociais da Universidade de Coimbra
- Delft University of Technology (TU Delft); yesterday published
- Georgia Southern University
- Inria, the French national research institute for the digital sciences
- KU LEUVEN
- Luleå University of Technology
- Massachusetts Institute of Technology
- Technical University of Denmark
- The University of Chicago
- UNIVERSIDADE DE ÉVORA
- Universidade Católica Portuguesa - CATÓLICA-LISBON
- University of Illinois at Chicago
- 8 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
-
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
-
Massachusetts Institute of Technology | Cambridge, Massachusetts | United States | about 17 hours ago
. 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
-
sciences Researcher Profile First Stage Researcher (R1) Positions Postdoc Positions Country Portugal Application Deadline 17 Oct 2025 - 17:00 (Europe/Lisbon) Type of Contract Temporary Job Status Full-time
-
Join TU Delft as a postdoc on the CHESS project to model, design, and validate next-generation façade-integrated solar heat systems for gas-free high-rise buildings. Job description Delft University
-
Computer Engineering (CE) section of the Quantum & Computer Engineering (QCE) department is looking for a highly motivated PostDoc candidate who wants to work on efficient and reliable digital CIM-based AI
-
. The Computer Engineering (CE) section of the Quantum & Computer Engineering (QCE) department is looking for a highly motivated PostDoc candidate who wants to work on efficient and reliable analog CIM-based AI