Sort by
Refine Your Search
-
Category
-
Country
-
Program
-
Inria, the French national research institute for the digital sciences | Paris 15, le de France | France | 2 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
-
in computational complexity, type theory, metamathematics, logic, and beyond. What is the space of mathematical truth, and what proofs are there to be discovered? Theme Three: Cyborg Proofs: the use
-
/verAnexo/13512 https://ciencias.ulisboa.pt/servicosCake/servicoLogos/Concursos/verAnexo/13513 Work Location(s) Number of offers available1Company/InstituteLASIGE - Computer Science and Engineering Research
-
3 Oct 2025 Job Information Organisation/Company KU LEUVEN Research Field Computer science » Modelling tools Computer science » Informatics Mathematics » Mathematical logic Researcher Profile
-
mechanising theory and/or practice of computer science in proof assistants. Fluency in English is required. Questions? Curious to learn more about the position and environment? Please feel free to reach out
-
16 Sep 2025 Job Information Organisation/Company Delft University of Technology (TU Delft) Research Field Computer science » Cybernetics Computer science » Programming Researcher Profile First Stage