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

(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

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

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

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

Potential CIFRE PhD: Hardened circuits for critical applications

Sunday 31 July 2016 by Florence Maraninchi

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

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

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

Tuesday 3 June 2014 by dang

[funded PhD] avanced static analysis techniques

Friday 1 November 2013 by monniaux

[funded PhD] avanced static analysis techniques

Tuesday 1 December 2020 by jahier

[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 Internship] Patch analysis of IIoT components

Monday 17 January 2022 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] automatic insertion of countermeasures in a verified compiler

Wednesday 31 August 2022 by monniaux

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

Saturday 30 October 2021 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

Monday 15 August 2022 by Pierre Corbineau

[master] formally verified hash-consing

Wednesday 31 August 2022 by monniaux

[Master] Local Reasoning about Reconfigurable Component-based Systems

Thursday 30 June 2022 by bozga

[Master] Multi-core Interference analysis and Global Scheduling

Wednesday 31 August 2022 by Lionel Rieg, Claire Maiza

[Master] Simulation of Distributed Algorithms

Thursday 18 August 2022 by karine

[Master] Verifying Concurrent Systems with Automata over Infinite Alphabets

Thursday 30 June 2022 by bozga

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

Friday 13 June 2014 by potet

[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

[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

[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 3.2.15 + AHUNTSIC [CC License]

info visites 1862141