Home > Teams > Pacss > Jobs and Internships > Jobs and Internships
Jobs and Internships
Jobs and internships
Masters
- Certification of computations over integer polyhedra
- Generation of theory lemmata in SMT-solving
- Convex polyhedra in floating point
- Certified compilation: security and optimization
