Articles

PhD position: software vulnerability analysis guided by countermeasures and attacker capabilities

[Master] Implementation of critical applications on multi-core: execution mode analysis to reduce interferences

(un)decidability of polyhedral invariant inference

5 postes d’ATER à temps plein

9 avril 2020 Ensimag Assistant professor Position in computer science, Grenoble INP/Ensimag, 1 September 2020

PERSYVAL Master 2 Scholarships

Engineer position: High Level Models for Low Power Systems

Engineer position: High Level Models for Low Power Systems

Funded Ph.D: Dynamic Memory Management For Embedded Non-Volatile Memory

Funded Ph.D: Dynamic Memory Management For Embedded Non-Volatile Memory

Postdoc position: High Level Models for Low Power Systems

Postdoc position: High Level Models for Low Power Systems

A Post-Doc Position at the Tempo group

Certified compilation for security

Contract-Based Modelling and Design of Cyber-Physical Systems

Decision Procedure for Equivalence Relations

Experienced engineer wanted (compiler frontend / GUIs)

Experienced engineer wanted (compiler frontend / GUIs)

Industrial Phd Thesis

Junior professorship chair on verifiable / explainable artificial intelligence

Junior research professorship on cybersecurity at the software-hardware boundary

M2R : Génération automatique d’exploits à partir de traces d’erreurs (2014-2015)

M2R: Timing analysis (WCET) of multi-core TDMA bus (2015-2016)

M2R: Timing analysis (WCET) of multi-core TDMA bus (2015-2016)

Measures against speculative attacks in a certified optimizing compiler

Models of Distributed Algorithms

Performance Evaluation of Embedded Systems : a tradeoff between accuracy and scalability

Performance Evaluation of Embedded Systems : a tradeoff between accuracy and scalability

PhD in Abstract domains for hybrid systems verification

PhD position in Program Verification

PhD position: Decision Procedures for Inductive Separation Logic Modulo Data Theories

PhD position: Encoding and Sampling of Constrained Signal Spaces for Validation of CPS

PhD position: Proving Correctness of Reconfigurable Systems

PhD subject: combinations of Boolean reasoning and parametric linear programming

PhD: Certified roundoff error bounds for programs with loops using polynomial optimization

PhD: Contract-Based Modelling and Design of Cyber-Physical Systems

PhD: Timed and Hybrid group (Tempo)

Post-Doc and/or Research Engineer positions on Software Security

Post-Doc Position at VERIMAG

Post-Doc: Fault injection and code analysis

Post-Doc: Hybrid Systems

Post-Doc: Verification of Electronic Circuits

Post-Docs: Model-Based Design and Validation of Safety-Critical Systems

Post-Doctoral Position on Software Vulnerabilities Analysis

Postdoctoral position at VERIMAG

Poste de maître de conférences VERIMAG / UFR IM2AG

Poste de professeur des universités (section 27)

Potential CIFRE PhD: Hardened circuits for critical applications

Probabilistic Methods for Routing in Wireless Sensor Network

Probabilistic Methods for Routing in Wireless Sensor Network

Research engineer position on Model transformation for design and validation of embedded systems

Security counter-measures in a certified optimizing compiler

Self-Stabilization in TVG

Silent Self-Stabilizing Algorithms: Certification Using Coq

Silent Self-Stabilizing Algorithms: Certification Using Coq

Thèse CIFRE : Cybersecurity - Fault injection attacks

Thèse/PhD Position - Coverage Measures for Machine Learning Enabled Cyber-Physical Systems

verified decomposition of arithmetic operators

Verified global value numbering

Verified hash tables and hash-consing

[funded PhD] Abstract domains for hybrid systems verification, starting in Jan 15, 2014

[Funded PhD] Annotations de sécurité pour compilateur optimisant formellement vérifié

[funded PhD] avanced static analysis techniques

[funded PhD] avanced static analysis techniques

[Funded PhD] Formal Modeling and Verification of Parameterized and Distributed Systems

[Funded PhD] Quantitative analysis of software security against adaptive attacks

[L3/M1/M2 Internship] Topics in Formally Verified Compilation

[M1 2012-2013] Optimisations de performances de simulateurs sur machines multi-cœurs

[M1 2012-2013] Optimisations de performances de simulateurs sur machines multi-cœurs

[M1 2013-2014] Distributed Simulation for Embedded Systems

[M1 2013-2014] Distributed Simulation for Embedded Systems

[M1 2013-2014] Parallel programming in modeling of embedded systems

[M1 2013-2014] Parallel programming in modeling of embedded systems

[M2 Internship] Leakage in presence of an active and adaptive adversary

[M2 Internship] Security counter-measures in a certified optimizing compiler

[M2R 2012-2013] Dedicated compilation techniques for a domain-specific language (SystemC)

[M2R 2012-2013] Dedicated compilation techniques for a domain-specific language (SystemC)

[M2R 2012-2013] Analyse de programme efficace : SMT-solving et itérations

[M2R 2012-2013] Analyse de programme efficace : SMT-solving et itérations

[M2R 2012-2013] Analyse modulaire de programmes

[M2R 2012-2013] Analyse modulaire de programmes

[M2R 2012-2013] Annotation automatique de préconditions, application à la compilation optimisante

[M2R 2012-2013] Calcul de pire temps d’exécution en présence de caches

[M2R 2012-2013] Contraintes non linéaires

[M2R 2012-2013] Contraintes non linéaires

[M2R 2012-2013] Décision de formules contenant des flottants

[M2R 2012-2013] Décision de formules contenant des flottants

[M2R 2012-2013] Optimisation de formules SMT

[M2R 2012-2013] Optimisation de formules SMT

[M2R 2012-2013] Preuve automatique de programmes

[M2R 2012-2013] Preuve automatique de programmes

[M2R 2012-2013] Preuve de programmes avec des structures de données

[M2R 2012-2013] Preuve de programmes avec des structures de données

[M2R 2012-2013] Programmation linéaire modulo disjonctions

[M2R 2013-14] Symbolic execution and vulnerability detection

[M2R Internship] Analyse et Evaluation d’implémentations sécurisées robustes à l’injection de fautes

[M2R-2013-2014] Semantic analysis of programs for evaluating their worst-case execution time

[Magistère M1/M2, M2R] Distributed Approach for Cross-Layer Resource Allocation in Wireless Sensor Networs

[Master (M2R) 2014-2015] Timing analysis of multi-core TDMA bus

[Master 2R 2011-2012] Evaluation and Validation of Clock-Synchronization Protocols in Sensor Networks

[Master 2R 2011-2012] Evaluation and Validation of Clock-Synchronization Protocols in Sensor Networks

[master 2R 2011-2012] Routing Protocols for (Dynamic) Wireless Sensor Networks

[master 2R 2011-2012] Routing Protocols for (Dynamic) Wireless Sensor Networks

[Master 2R 2012-2013] Probabilistic Snap-Stabilizing Algorithms for Local Resource Allocation Problems

[Master 2R 2012-2013] Semantic analysis for worst-case execution time analysis

[Master 2R 2013-2014] Dynamic detections of Use after free and exploitability characterization

[Master 2R 2013-2014] Efficient Self-Stabilizing Algorithms for Pervasive Computing Systems

[Master 2R 2014-2015] Performance Evaluation for Embedded Systems using Formal Methods

[Master 2R 2014-2015] Performance Evaluation for Embedded Systems using Formal Methods

[MASTER 2] Performance Evaluation for Embedded Systems: Between Computational Simulation and Mathematical Solutions

[MASTER 2] Performance Evaluation for Embedded Systems: Between Computational Simulation and Mathematical Solutions

[Master 2] Probabilistic Methods for Routing in Wireless Sensor Networks

[Master 2] Probabilistic Methods for Routing in Wireless Sensor Networks

[master or PhD] Convex polyhedra in floating point

[master/PhD] Formally verified optimizations for safety-critical embedded code

[master/PhD] Static analysis of “pseudo-LRU” caches

[Master] A Solver for Monadic Second Order Logic of Graphs of Bounded Tree-width

[Master] Adapting Hardware Platforms to a Multi-Core Response Time Analysis Framework

[Master] Analyzing fault parameters triggering timing anomalies

[master] automatic insertion of countermeasures in a verified compiler

[Master] Certification of Distributed Self-Stabilizing Algorithms Using Coq

[Master] Decision Procedures for Separation Logic Modulo Theories of Data

[Master] Design and Evaluation of Strategies for Automated Proofs using Reasoning Modulo Equivalence

[Master] Exploration by model-checking of timing anomaly cancellation in a processor

[Master] Formal Methods for the Verification of Self-Adapting Distributed Systems

[master] formally verified hash-consing

[Master] Implementing the Silence to Reduce Energy Consumption in Wireless Sensor Networks

[Master] Local Reasoning about Reconfigurable Component-based Systems

[Master] Modeling and Simulation of Modular Robots with DR-BIP

[Master] Multi-core Interference analysis and Global Scheduling

[Master] Simulation of Distributed Algorithms

[Master] Sûreté des essaims de robots mobiles

[Master] Towards New Frontiers in Multi-Core Response Time Analysis?

[Master] Verifying Concurrent Systems with Automata over Infinite Alphabets

[Master]Leakage in presence of an active and adaptive adversary

[MR 2013_2014] Evaluating the robustness of smart card applications to fault attacks.

[PhD] Logical Foundations of Self-Adapting Distributed Systems

[Post Doc] Early simulation of System-on-a-Chip : SystemC/TLM and more

[Post doc] Parallel implementations of discrete-event simulators

[Post-Doc] Open postdoc position (Software Security, Formal Methods, IIoT)

[Postdoc positions] Coq Developments

[postdoc] Advanced static analysis

[postdoc] Advanced static analysis

[PostDoc] Enhancing WCET Estimation by Exploiting Program Semantics

[PostDoc] Exploiting High-Level Design Information in WCET Estimation

[PostDoc] Implementation of critical applications on multi-core: execution mode analysis to reduce interferences

[TAKEN] [M1 2012-2013] Visualisation graphique de traces de simulation de systèmes sur puces

[TAKEN] [M1 2012-2013] Visualisation graphique de traces de simulation de systèmes sur puces

Other keywords in this group

Other groups of keywords

Sections

Browsing

Contact | Site Map | Site powered by SPIP 4.2.16 + AHUNTSIC [CC License]

info visites 4139957

• English
• Français