Home > Verimag > Jobs and Internships > Jobs and Internships
Jobs and Internships
Masters
- Simulation of Distributed Algorithms
- Certification of computations over integer polyhedra
- Generation of theory lemmata in SMT-solving
- Convex polyhedra in floating point
- Cache analysis
- Certified compilation: security and optimization
- Certification of Distributed Self-Stabilizing Algorithms Using Coq
PhD Thesis
- Convex polyhedra in floating point
- Certified compilation for security
- PhD position: Encoding and Sampling of Constrained Signal Spaces for Validation of CPS
