1 proof-checking-postdoc-computer-science-logic Postdoctoral positions in France

Sort by

listed

Filtered by
France
Postdoctoral
proof-checking-postdoc-computer-science-logic
Remove All

Refine Your Search

Sort by: relevance | listed |

Enter an email to receive alerts for proof-checking-postdoc-computer-science-logic positions

Post-Doctoral Research Visit F/M Justifying variants of the axiom of choice in type theory

Inria, the French national research institute for the digital sciences | Paris 15, le de France | France | 1 day ago

3 Oct 2025 Job Information Organisation/Company Inria, the French national research institute for the digital sciences Research Field Computer science Researcher Profile Recognised Researcher (R2

Searches related to proof checking postdoc computer science logic

Enter an email to receive alerts for proof-checking-postdoc-computer-science-logic positions