Sort by
Refine Your Search
-
Listed
-
Country
-
Employer
- Technical University of Denmark
- University of Arkansas
- University of Oslo
- Brno University of Technology, Central European Institute of Technology
- Centro de Estudos Sociais da Universidade de Coimbra
- Cornell University
- Delft University of Technology (TU Delft)
- Delft University of Technology (TU Delft); Published yesterday
- Eindhoven University of Technology (TU/e)
- Faculty of Law University of Rijeka
- Georgia Southern University
- Idiap Research Institute
- Inria, the French national research institute for the digital sciences
- LNEC, I.P.
- MASARYK UNIVERSITY
- Massachusetts Institute of Technology
- Nature Careers
- S2AQUA – Collaborative Laboratory, Association for a Sustainable and Smart Aquaculture
- Stanford University
- The California State University
- Universitat de les Illes Balears
- University of Amsterdam (UvA)
- University of Minho
- University of Southern Denmark
- 14 more »
- « less
-
Field
-
Inria, the French national research institute for the digital sciences | Paris 15, le de France | France | 23 days ago
project and in particular on consolidating the logical foundations of mathematical proof assistants (http://malinca.org ). It will be located at the IRIF lab in Paris. Travel expenses are covered within
-
, DSL/IR design, constrained decoding), integrating formal feedback loops (SAT/SMT/model checking, counterexample- and proof-guided refinement), and developing mechanisms for semantic consistency
-
the qualification abroad or confirmation that the process is ongoing - a birth certificate or proof of citizenship of another country, and - for foreign citizens, proof of knowledge of the Croatian language (level C
-
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
-
Researcher Profile First Stage Researcher (R1) Positions Postdoc Positions Application Deadline 3 Feb 2026 - 23:55 (Europe/Prague) Country Czech Republic Type of Contract To be defined Job Status Full-time
-
Job Description If you are an ambitious researcher looking to further your career in photonic integrated circuits and optical computing, we invite you to join us as a Postdoc at DTU Electro in