-
post-doc in the field of formal methods at Irisa. The research project will focus on formal verification and testing of real-time systems using timed automata and techniques from game theory
-
induced by cellular base stations and to the verification of the compliance of base station emissions with the ICNIRP guidelines. For example, ANFR has been carrying out and publishing measurements since
-
to the verification of properties such as temporal anomalies. #CEA-List ; #Post-doc ; ##IoT ; #LI-CB1 ; #Post-doctorat ; #Researcher Profil du candidat You have a PhD in the field of electronics or embedded systems
Searches related to verification
Enter an email to receive alerts for verification positions