-
live in. Your role We are seeking a highly motivated PhD candidate to research how artificial intelligence (AI) techniques can help software engineers formally specify and verify software systems. State
-
Context and PhD objectives Conventional optical microscopy techniques, as confocal microscopes, are widely used in biology for cellular and sub-cellular structures investigation. However, their
-
microarchitectural vulnerabilities and/or formally prove the robustness, for a given fault model, of various RISC-V based processors. We have also developed binary-level program analysis methods (BINSEC/ASE) able
-
a challenging problem. Candidate profile PhD on optimization and/or image processing. Strong background in applied mathematics, image processing, learning methods and algorithms. Good coding skills
-
enabling trustworthy AI adoption through methods and tools for compliance, readiness, and performance evaluation. In the field of Smart Cities, we lead the operations of the CitCom.ai project. CitCom.ai is