Sort by
Refine Your Search
-
jointly supervised by Prof. Dr. Jun Pang and Dr. Alfredo Capozucca. Responsibilities: Conduct research in the field of formal verification with AI agents Write a doctoral dissertation in computer science
-
. We are seeking a motivated researcher with: A PhD in computer science, embedded systems, or related fields. Expertise in fault-injection attacks, formal verification, or microarchitecture security
-
27 Feb 2025 Job Information Organisation/Company CNRS Department Institut de recherche en informatique et systèmes aléatoires Research Field Computer science Mathematics » Algorithms Researcher
-
computer science. An important application of game theory in computer science and, more recently, in AI, concerns formal-system verification. In particular, game theory has become a powerful tool for the
-
of Phelma's engineering programs, such as Integrated Electronic Systems (SEI), Embedded Systems and Connected Objects (SEOC) and the Microelectronics and Telecommunications (MT) apprenticeship program. At a
-
. You have significant experience in architecture and/or in the use of formal methods. You also have a first experience in the design and verification/validation of real-time applications on multicore
-
vulnerabilities and/or formally prove the robustness, for a given fault model, of various RISC-V based processors [4]. We have also developed binary-level program analysis methods (BINSEC/ASE) able to efficiently
-
Professor recruited will be involved in teaching in one or more areas of Section 61, Computer Engineering (Real Time, Architecture, Networks), Automatics (Continuous and Discrete Automatics, Robotics
-
8 Feb 2025 Job Information Organisation/Company CNRS Department Laboratoire d'Informatique de l'Ecole Polytechnique Research Field Computer science Mathematics » Algorithms Researcher Profile First
-
Université Gustave Eiffel (Villeneuve d'Ascq) | Villeneuve la Garenne, le de France | France | 3 months ago
5 Feb 2025 Job Information Organisation/Company Université Gustave Eiffel (Villeneuve d'Ascq) Research Field Computer science » Informatics Engineering » Communication engineering Researcher Profile