Sort by
Refine Your Search
-
Listed
-
Country
-
Employer
- Technical University of Denmark
- University of Arkansas
- University of Minho
- Cornell University
- Delft University of Technology (TU Delft)
- University of Oslo
- 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)
- Georgia Southern University
- Inria, the French national research institute for the digital sciences
- KU LEUVEN
- MASARYK UNIVERSITY
- Massachusetts Institute of Technology
- Nature Careers
- S2AQUA – Collaborative Laboratory, Association for a Sustainable and Smart Aquaculture
- The California State University
- Universidade Católica Portuguesa - CATÓLICA-LISBON
- Universitat de les Illes Balears
- University of Minnesota
- University of Southern Denmark
- 12 more »
- « less
-
Field
-
Inria, the French national research institute for the digital sciences | Paris 15, le de France | France | 3 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
-
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
-
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
-
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
-
S2AQUA – Collaborative Laboratory, Association for a Sustainable and Smart Aquaculture | Portugal | about 1 month 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
-
via the application button and upload the following documents: (1) Application letter addressed to Dr. P.Vergara Barrios that explains your personal motivation in pursuing a Postdoc and fit to the job
-
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
-
verified by proof assistants. Our vision is to unlock the combined potential of humans and artificial intelligence (AI) for the rapid and reliable construction of digital systems, guided by rigorous
-
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
-
discrimination on the basis of sex, may be sent to the University’s Title IX Coordinator and to the U.S. Department of Education Office for Civil Rights. Persons must have proof of legal authority to work in the