-
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
-
arrival. By joining our team, you'll have the opportunity to contribute to the future of real-time verification, making a meaningful difference in the world of distributed systems. If you're passionate
-
. 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
-
focus on integrated circuit design and verification techniques to improve quality, testability, reliability, safety and low power consumption. The recruited candidate should have research experience in