Sort by
Refine Your Search
-
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
-
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
-
. 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
-
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
-
analyses with RTL or post-synthesis level analyses of secure hardware circuits. We are seeking a motivated researcher with: A PhD in computer science, embedded systems, or related fields. Expertise in fault
-
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
-
Sujet de stage As a member of a multidisciplinary technological research team comprised of experts in software/hardware analyses through the application of formal methods, you will actively contribute
-
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