-
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
-
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