Home > Verimag > Jobs and Internships > Jobs and Internships
Jobs and Internships
Announces number: 8Postdocs
- Post-Doc: Fault injection and code analysis
- Post-Docs: Model-Based Design and Validation of Safety-Critical Systems
Masters
- [Magistère M1/M2, M2R] Distributed Self-Stabilizing Algorithms: Implementing the Silence to Reduce Energy Consumption
- [Magistère M1/M2, M2R] Certification of Distributed Self-Stabilizing Algorithms Using Coq
- Silent Self-Stabilizing Algorithms: Certification Using Coq
PhD Thesis
- PhD: Certified roundoff error bounds for programs with loops using polynomial optimization
- PhD: Timed and Hybrid group (Tempo)
- Funded Ph.D: Dynamic Memory Management For Embedded Non-Volatile Memory
