Sort by
Refine Your Search
-
Category
-
Country
-
Program
-
Field
-
programme Is the Job related to staff position within a Research Infrastructure? No Offer Description Are you looking for a postdoc position at the intersection of logic, philosophy and mathematics? Would you
-
interdisciplinary and brings together insights from various disciplines concerned with information and information processing, such as logic, philosophy, linguistics, musicology, mathematics, computer science
-
logic, philosophy, linguistics, musicology, mathematics, computer science, artificial intelligence and cognitive science. You will be part of the GOOD INTENSIONS research team. Work within the GOOD
-
Inria, the French national research institute for the digital sciences | Paris 15, le de France | France | 3 months 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
-
20 Jan 2026 Job Information Organisation/Company Idiap Research Institute Research Field Computer science Researcher Profile Recognised Researcher (R2) Positions Postdoc Positions Application