Verimag

These

info dans groupe type d’emploi

info articles lies mot

Articles

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

Friday 30 September 2016 by moy

Contract-Based Modelling and Design of Cyber-Physical Systems

Wednesday 11 March 2015 by dang

Funded PhD position 2013-2016 available: transaction-level modeling, systems-on-a-chip, component-based design and modeling, performance properties of hardware/software systems

Wednesday 17 July 2013 by Florence Maraninchi

Industrial Phd Thesis

Monday 21 May 2012 by maler

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

Friday 9 December 2016 by maler

Post-Doc: Hybrid Systems

Saturday 12 December 2015 by frehse

Post-Doc: Verification of Electronic Circuits

Saturday 12 December 2015 by frehse

Potential CIFRE PhD: Hardened circuits for critical applications

Sunday 31 July 2016 by Florence Maraninchi

Proposal for Phd Thesis : "Eliminating Useless Transitions in Sequential Circuits"

Monday 20 February 2012 by Lebeltel

[funded PhD] avanced static analysis techniques

Friday 1 November 2013 by monniaux

Other keywords in this group

Other groups of keywords

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

info visites 684172