info dans groupe type d’emploi

info articles lies mot


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 Position: Vulnerability search in Industrial Control Systems

Monday 1 October 2018 by mounier

Phd Proposal : Inférence de modèles de faute pour simulation d’attaques sur composants sécurisés

Wednesday 27 March 2019 by potet

Phd proposal : Optimisation de l’évaluation et des tests de sécurité des systèmes cyber-physiques par analyse des canaux auxiliaires

Wednesday 27 March 2019 by potet

PHD proposal: Data Mining Dynamic Behaviors using Signal Temporal Logic

Wednesday 1 January 2020 by Nicolas Basset

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


Sunday 31 January 2021 by Florence Maraninchi

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

info visites 1247999