Sort by
Refine Your Search
-
Listed
-
Country
-
Employer
- Delft University of Technology (TU Delft)
- University of Minho
- Delft University of Technology (TU Delft); Delft
- Technical University of Denmark
- University of Arkansas
- Cornell University
- University of Oslo
- Centro de Estudos Sociais da Universidade de Coimbra
- Delft University of Technology (TU Delft); Published yesterday
- Delft University of Technology (TU Delft); yesterday published
- Edmund Mach Foundation
- Eindhoven University of Technology (TU/e)
- Inria, the French national research institute for the digital sciences
- KU LEUVEN
- MASARYK UNIVERSITY
- Massachusetts Institute of Technology
- S2AQUA – Collaborative Laboratory, Association for a Sustainable and Smart Aquaculture
- The California State University
- UNIVERSIDADE DE ÉVORA
- Universidade Católica Portuguesa - CATÓLICA-LISBON
- University of Illinois at Chicago
- University of Minnesota
- University of Southern Denmark
- 13 more »
- « less
-
Field
-
related to your research area. Responsibilities and qualifications We seek to recruit a Postdoc with expertise in the emerging edge computing areas of Embedded AI, Edge AI, TinyML or AIoT. The position is
-
semester, trainees’ preferences for supervisors are solicited and considered in assignments made by the Training Committee. Every effort is made to match requests. Group Supervision: Group supervision occurs
-
Inria, the French national research institute for the digital sciences | Paris 15, le de France | France | 2 months 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
-
S2AQUA – Collaborative Laboratory, Association for a Sustainable and Smart Aquaculture | Portugal | 24 days ago
» Biology Researcher Profile First Stage Researcher (R1) Positions Postdoc Positions Country Portugal Application Deadline 3 Dec 2025 - 23:59 (Europe/Lisbon) Type of Contract Temporary Job Status Full-time
-
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