Open Positions
PhD
Engineer
- Cooperative authoring of multimedia content (project CLAIRE)
Master internship
- Pointer Analysis and Verification
- Access Control Policies for XML: Analysis and Verification for Security
- Privacy Analysis and Verification in Social Networks
Interested? Please contact the author of this page:

