Sort by
Refine Your Search
-
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
-
Domaine Mathématiques, information scientifique, logiciel Contrat Post-doctorat Intitulé de l'offre Cybersecurity formal analysis of fault-injection attacks in hardware/software embedded systems
-
of Humanities, Education and Social Science at the University of Luxembourg. The xCIT research group has developed a comprehensive suite of software tools for developing and deploying online studies as
-
vulnerabilities and/or formally prove the robustness, for a given fault model, of various RISC-V based processors [4]. We have also developed binary-level program analysis methods (BINSEC/ASE) able to efficiently
-
Sujet de stage As a member of a multidisciplinary technological research team comprised of experts in software/hardware analyses through the application of formal methods, you will actively contribute
-
mathematician could make with a paper and pencil, and is opposed to approaches based on discretization and of central numerical approximations in scientific computing. However, formal and numerical calculation
-
Université Gustave Eiffel (Villeneuve d'Ascq) | Villeneuve la Garenne, le de France | France | 3 months ago
. The knowledge of a network simulator or formal methods is a plus. -Enjoys programming, good software developer, will develop skills in network protocol engineering protocol engineering for networks, formal
-
element methods Familiar with Python programming, TeX-based documentation and associated software environments Experience with the FEniCS framework is an asset Good English language skills (minimum
-
Inria, the French national research institute for the digital sciences | Villeneuve la Garenne, le de France | France | 3 months ago
(you can choose between) not applicable The goal is to develop methods, techniques and tools to prevent deserialization attacks in applications. Is regular travel foreseen for this post ? No Assignments
-
the project members of the SAIF project (Safe Artificial Intelligence through Formal Methods), of the French National Research Programme on Artificial Intelligence PEPR IA. AI is now embedded into a number of