jobs

info dans groupe type de rubrique

info articles lies mot

Articles

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

Wednesday 11 May 2022 by mounier

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

Tuesday 30 June 2026 by Claire Maiza

(un)decidability of polyhedral invariant inference

Wednesday 31 August 2022 by monniaux

5 postes d’ATER à temps plein

Wednesday 16 May 2018 by Florence Maraninchi

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

Friday 10 April 2020 by Florence Maraninchi

PERSYVAL Master 2 Scholarships

Tuesday 26 November 2024 by jahier

Engineer position: High Level Models for Low Power Systems

Tuesday 15 March 2011 by moy

Engineer position: High Level Models for Low Power Systems

Tuesday 1 December 2020 by jahier

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

Friday 30 September 2016 by moy

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

Tuesday 1 December 2020 by jahier

Postdoc position: High Level Models for Low Power Systems

Tuesday 15 March 2011 by Florence Maraninchi

Postdoc position: High Level Models for Low Power Systems

Tuesday 1 December 2020 by jahier

A Post-Doc Position at the Tempo group

Saturday 30 December 2017 by jahier, maler

Certified compilation for security

Wednesday 1 September 2021 by monniaux

Contract-Based Modelling and Design of Cyber-Physical Systems

Wednesday 11 March 2015 by dang

Decision Procedure for Equivalence Relations

Sunday 30 August 2020 by karine

Experienced engineer wanted (compiler frontend / GUIs)

Thursday 8 August 2013 by monniaux

Experienced engineer wanted (compiler frontend / GUIs)

Tuesday 1 December 2020 by jahier

Industrial Phd Thesis

Monday 21 May 2012 by maler

Junior professorship chair on verifiable / explainable artificial intelligence

Tuesday 14 May 2024 by monniaux

Junior research professorship on cybersecurity at the software-hardware boundary

Sunday 24 March 2024 by monniaux

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

Wednesday 23 September 2015 by potet

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

Monday 1 February 2016 by moy

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

Tuesday 1 December 2020 by jahier

Measures against speculative attacks in a certified optimizing compiler

Thursday 12 October 2023 by monniaux

Models of Distributed Algorithms

Friday 16 October 2020 by karine, Devismes, Pierre Corbineau

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

Thursday 17 June 2010 by karine

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

Tuesday 1 December 2020 by jahier

PhD in Abstract domains for hybrid systems verification

Wednesday 12 March 2014 by dang

PhD position in Program Verification

Sunday 15 March 2015 by jahier

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

Sunday 31 October 2021 by bozga

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

Friday 31 December 2021 by Nicolas Basset , dang

PhD position: Proving Correctness of Reconfigurable Systems

Thursday 30 September 2021 by bozga

PhD subject: combinations of Boolean reasoning and parametric linear programming

Thursday 15 September 2016 by monniaux, perin

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

Friday 1 December 2017 by Victor Magron

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

Friday 11 March 2016 by dang

PhD: Timed and Hybrid group (Tempo)

Thursday 22 June 2017 by maler

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

Monday 1 July 2019 by potet

Post-Doc Position at VERIMAG

Monday 4 February 2013 by maler

Post-Doc: Fault injection and code analysis

Monday 17 July 2017 by potet

Post-Doc: Hybrid Systems

Saturday 12 December 2015 by frehse

Post-Doc: Verification of Electronic Circuits

Saturday 12 December 2015 by frehse

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

Saturday 31 December 2016 by bozga

Post-Doctoral Position on Software Vulnerabilities Analysis

Friday 2 October 2009 by jahier

Postdoctoral position at VERIMAG

Thursday 31 December 2020 by bozga

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

Sunday 7 May 2023 by monniaux

Poste de professeur des universités (section 27)

Wednesday 24 April 2024 by monniaux

Potential CIFRE PhD: Hardened circuits for critical applications

Tuesday 1 December 2020 by jahier

Probabilistic Methods for Routing in Wireless Sensor Network

Thursday 17 June 2010 by jahier

Probabilistic Methods for Routing in Wireless Sensor Network

Tuesday 1 December 2020 by jahier

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

Friday 2 October 2009 by jahier

Security counter-measures in a certified optimizing compiler

Thursday 12 October 2023 by monniaux

Self-Stabilization in TVG

Thursday 10 September 2020 by karine, stef

Silent Self-Stabilizing Algorithms: Certification Using Coq

Saturday 1 October 2016 by karine

Silent Self-Stabilizing Algorithms: Certification Using Coq

Tuesday 1 December 2020 by jahier

Thèse CIFRE : Cybersecurity - Fault injection attacks

Thursday 30 March 2023 by mounier

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

Wednesday 28 December 2022 by dang

verified decomposition of arithmetic operators

Wednesday 31 August 2022 by monniaux

Verified global value numbering

Wednesday 31 August 2022 by monniaux

Verified hash tables and hash-consing

Thursday 12 October 2023 by monniaux

[Funded PhD/PostDoc] Countermeasures to (transient) Side-Channel Attacks in a Formally Verified Compiler

Monday 25 March 2030 by Bruno Ferres, monniaux

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

Tuesday 3 June 2014 by dang

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

Thursday 20 March 2025 by Bruno Ferres, potet, boulme

[funded PhD] avanced static analysis techniques

Friday 1 November 2013 by monniaux

[funded PhD] avanced static analysis techniques

Tuesday 1 December 2020 by jahier

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

Friday 21 March 2025 by mounier

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

Wednesday 1 June 2022 by boulme

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

Monday 1 April 2013 by moy

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

Tuesday 1 December 2020 by jahier

[M1 2013-2014] Distributed Simulation for Embedded Systems

Tuesday 1 April 2014 by moy

[M1 2013-2014] Distributed Simulation for Embedded Systems

Tuesday 1 December 2020 by jahier

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

Tuesday 1 April 2014 by moy

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

Tuesday 1 December 2020 by jahier

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

Monday 31 January 2022 by mounier

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

Saturday 15 January 2022 by mounier

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

Tuesday 1 April 2014 by moy

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

Tuesday 1 December 2020 by jahier

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

Tuesday 1 January 2013 by monniaux

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

Tuesday 1 December 2020 by jahier

[M2R 2012-2013] Analyse modulaire de programmes

Tuesday 1 January 2013 by monniaux

[M2R 2012-2013] Analyse modulaire de programmes

Tuesday 1 December 2020 by jahier

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

Friday 1 February 2013 by monniaux

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

Friday 1 February 2013 by monniaux

[M2R 2012-2013] Contraintes non linéaires

Friday 1 February 2013 by monniaux

[M2R 2012-2013] Contraintes non linéaires

Tuesday 1 December 2020 by jahier

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

Friday 1 February 2013 by monniaux

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

Tuesday 1 December 2020 by jahier

[M2R 2012-2013] Optimisation de formules SMT

Friday 1 February 2013 by monniaux

[M2R 2012-2013] Optimisation de formules SMT

Tuesday 1 December 2020 by jahier

[M2R 2012-2013] Preuve automatique de programmes

Friday 1 February 2013 by moy

[M2R 2012-2013] Preuve automatique de programmes

Tuesday 1 December 2020 by jahier

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

Wednesday 13 February 2013 by monniaux

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

Tuesday 1 December 2020 by jahier

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

Friday 1 February 2013 by monniaux

[M2R 2013-14] Symbolic execution and vulnerability detection

Friday 26 September 2014 by mounier

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

Friday 31 December 2021 by mounier

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

Tuesday 24 June 2014 by Claire Maiza

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

Saturday 30 September 2017 by karine, devismes

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

Tuesday 16 June 2015 by Claire Maiza

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

Saturday 15 October 2011 by Florence Maraninchi

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

Tuesday 1 December 2020 by jahier

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

Thursday 16 February 2012 by karine, stef

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

Tuesday 1 December 2020 by jahier

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

Tuesday 30 April 2013 by karine, Devismes

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

Friday 1 March 2013 by raymond, Claire Maiza

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

Friday 13 June 2014 by potet

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

Wednesday 8 October 2014 by karine, Devismes

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

Tuesday 15 July 2014 by karine, moy

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

Tuesday 1 December 2020 by jahier

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

Friday 15 July 2011 by karine

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

Tuesday 1 December 2020 by jahier

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

Friday 15 July 2011 by karine

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

Tuesday 1 December 2020 by jahier

[master or PhD] Convex polyhedra in floating point

Thursday 1 September 2022 by monniaux

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

Wednesday 15 November 2023 by monniaux

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

Wednesday 15 November 2023 by monniaux

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

Sunday 31 March 2024 by bozga

[Master] Analyzing fault parameters triggering timing anomalies

Friday 31 May 2024 by Lionel Rieg

[master] automatic insertion of countermeasures in a verified compiler

Wednesday 31 August 2022 by monniaux

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

Monday 30 October 2023 by Devismes

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

Thursday 30 June 2022 by bozga

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

Sunday 15 October 2023 by Pierre Corbineau

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

Friday 31 May 2024 by Lionel Rieg

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

Wednesday 30 October 2024 by bozga

[master] formally verified hash-consing

Wednesday 31 August 2022 by monniaux

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

Thursday 12 October 2023 by karine

[Master] Local Reasoning about Reconfigurable Component-based Systems

Thursday 30 June 2022 by bozga

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

Wednesday 31 January 2024 by bozga

[Master] Modular Analysis for Formal Verification of Integrated Circuits at Transistor Level

Friday 1 November 2024 by Bruno Ferres, raymond

[Master] Multi-core Interference analysis and Global Scheduling

Wednesday 31 August 2022 by Lionel Rieg, Claire Maiza

[Master] Simulation of Distributed Algorithms

Wednesday 18 October 2023 by karine

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

Thursday 31 August 2023 by Lionel Rieg

[Master] Verifying Concurrent Systems with Automata over Infinite Alphabets

Thursday 30 June 2022 by bozga

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

Friday 12 December 2025 by cristian.ene@univ-grenoble-alpes.fr

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

Friday 13 June 2014 by potet

[PhD] Logical Foundations of Self-Adapting Distributed Systems

Sunday 31 December 2023 by bozga

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

Monday 12 January 2015 by moy

[Post doc] Parallel implementations of discrete-event simulators

Sunday 1 February 2015 by moy

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

Tuesday 31 January 2023 by mounier

[Postdoc positions] Coq Developments

Wednesday 16 October 2019 by karine, stef, boulme, monniaux, Pierre Corbineau

[postdoc] Advanced static analysis

Tuesday 6 August 2013 by monniaux

[postdoc] Advanced static analysis

Tuesday 1 December 2020 by jahier

[PostDoc] Enhancing WCET Estimation by Exploiting Program Semantics

Friday 1 March 2013 by raymond, Claire Maiza

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

Friday 1 March 2013 by raymond, Claire Maiza

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

Monday 1 June 2026 by Claire Maiza

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

Wednesday 1 May 2013 by moy

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

Tuesday 1 December 2020 by jahier

Other keywords in this group

Other groups of keywords

Sections

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

info visites 3899598