Sort by
Refine Your Search
-
Category
-
Program
-
Employer
-
Field
-
verification conditions including premise selection and proof generation. The successful candidate will be employed at the Department of Computer Science of the University of Luxembourg (UL). The person will be
-
Inria, the French national research institute for the digital sciences | Paris La Defense, le de France | France | 3 months ago
13 Feb 2025 Job Information Organisation/Company Inria, the French national research institute for the digital sciences Research Field Computer science Researcher Profile Recognised Researcher (R2
-
REQUIRED SKILLS : Master’s, Engineering or PhD degree in Computer Science, Software Engineering, or related field Minimum 3 years of experience in software development Demonstrable experience in Java, Python
-
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
-
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
-
5 Mar 2025 Job Information Organisation/Company ICube (UMR 7357) Research Field Biological sciences » Biological engineering Computer science » Digital systems Medical sciences Researcher Profile
-
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
-
. 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
-
22 Feb 2025 Job Information Organisation/Company Université Grenoble Alpes Research Field Engineering » Other Researcher Profile Recognised Researcher (R2) First Stage Researcher (R1) Established
-
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