-
information rates of the conventional transmission methods in optical communication. The problem of efficient communication over optical fiber channels is open, because the channels are governed by complex
-
-oriented features, present a large attack surface that traditional verification techniques—such as formal methods—struggle to cover. To effectively mitigate this growing threat landscape, vulnerability
-
and sophisticated planning capabilities by enabling an agent to learn a predictive model of its environment. However, the direct application of current MBRL methods to safety-critical domains, such as
-
complex circuits. The team is particularly interested in formal methods and system verification to ensure reliability from the earliest development stages. A major research focus concerns hardware security
-
5 Sep 2025 Job Information Organisation/Company Télécom Paris Research Field Computer science » Computer systems Researcher Profile First Stage Researcher (R1) Positions Postdoc Positions Country