Sort by
Refine Your Search
-
Listed
-
Country
-
Employer
- University of Arkansas
- Delft University of Technology (TU Delft)
- Delft University of Technology (TU Delft); Delft
- University of Minho
- Cornell University
- Technical University of Denmark
- Aarhus University
- Centro de Estudos Sociais da Universidade de Coimbra
- Delft University of Technology (TU Delft); yesterday published
- Edmund Mach Foundation
- Georgia Southern University
- Inria, the French national research institute for the digital sciences
- KU LEUVEN
- Luleå University of Technology
- Massachusetts Institute of Technology
- UNIVERSIDADE DE ÉVORA
- Universidade Católica Portuguesa - CATÓLICA-LISBON
- University of Illinois at Chicago
- University of Minnesota
- 9 more »
- « less
-
Field
-
Inria, the French national research institute for the digital sciences | Paris 15, le de France | France | 19 days 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
-
Recognised Researcher (R2) Positions Postdoc Positions Country Italy Application Deadline 13 Nov 2025 - 23:59 (Europe/Rome) Type of Contract Temporary Job Status Full-time Hours Per Week 38 Is the job funded
-
Job Description A 9 month postdoc position is available at the Center for Fast Ultrasound Imaging (CFU), Department of Health Technology from December 1, 2025 sponsored by the European Research
-
our daily lives. Technology such as the electricity grid, which our faculty is helping to make completely sustainable and future-proof. At the same time, we are developing the chips and sensors
-
. The postdoc will train students in the lab as needed and set an example of leadership for good personal and good scientific conduct, to include rigor and reproducibility in experiments. Some travel for
-
on Accreditation in Clinical Chemistry (COMACC). This is a two-year program for postdocs or one-year program for MDs. The Program’s principal objective is to educate, train, and prepare clinical chemists to provide
-
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