jobs

info dans groupe type de rubrique

info articles lies mot

Articles

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

Certification of Distributed Self-Stabilizing Algorithms Using Coq

Friday 30 October 2020 by Devismes

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

Convex polyhedra in floating point

Wednesday 1 September 2021 by monniaux

Decision Procedure for Equivalence Relations

Sunday 30 August 2020 by karine

Decision Procedures for Separation Logic Modulo Theories of Data

Wednesday 30 June 2021 by bozga

Experienced engineer wanted (compiler frontend / GUIs)

Thursday 8 August 2013 by monniaux

Experienced engineer wanted (compiler frontend / GUIs)

Tuesday 1 December 2020 by jahier

Exploration of timing anomaly impact on processor execution for critical real-time systems

Monday 31 August 2020 by Lionel Rieg, Claire Maiza

Funded PhD position: software vulnerability analysis

Wednesday 11 May 2022 by mounier

Industrial Phd Thesis

Monday 21 May 2012 by maler

Local Reasoning about Reconfigurable Component-based Systems

Wednesday 30 June 2021 by bozga

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: 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

Sunday 31 October 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

Simulation of Distributed Algorithms

Wednesday 18 August 2021 by karine

Verifying Concurrent Systems with Automata over Infinite Alphabets

Wednesday 30 June 2021 by bozga

[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

[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

[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-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

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

info visites 1736896