Saarland University
Quantitative Verification Group
Contact
Quantitative Verification Group
Campus E1.3
66123 Saarbrücken
66123 Saarbrücken
Doctoral Opportunities
Promotionsmöglichkeit hier klicken
Affiliated institutions
- Europe InstituteGo to institution
- Cluster for European ResearchGo to institution
- Faculty of Empirical Human Sciences and Economic ScienceGo to institution
- Faculty of Mathematics and InformaticsGo to institution
- Department of MathematicsGo to institution
- Saarland Informatics Campus (SIC)Go to institution
- Arbeitsbereich Algorithmen und Komplexität (Bringmann)Go to institution
- Computer Vision and Machine Perception LabGo to institution
- Institute for Computer Architecture and Parallel ComputingGo to institution
- Real-Time and Embedded Systems LabGo to institution
- Competence Center of Computer ScienceGo to institution
- Computer Graphics LabGo to institution
- Machine Learning GroupGo to institution
- Professorship for Dependable Systems and SoftwareGo to institution
- Foundations of Artificial Intelligence (FAI) GroupGo to institution
- Chair of Computer Science (Prof Siekmann)Go to institution
- Chair of Computer Science and Computational LinguisticsGo to institution
- Big Data Analytics GroupGo to institution
- Chair for Computational ComplexityGo to institution
- Artificial Intelligence GroupGo to institution
- Telecommunications LabGo to institution
- Compiler Design LabGo to institution
- Chair of Software EngineeringGo to institution
- Programming Systems LabGo to institution
- Chair of Theoretical Computer ScienceGo to institution
- Information Security & Cryptography GroupGo to institution
- Quantitative Verification Group
- Human Computer Interaction LabGo to institution
- Proffesorship for Technology Enhanced LearningGo to institution
- Reactive Systems GroupGo to institution
- Ubiquitous Media TechnologiesGo to institution
- France Centre of Saarland UniversityGo to institution
- Intel Visual Computing InstituteGo to institution
- Käte Hamburger Research Centre for Cultural Practices of Reparation (CURE)Go to institution
- Faculty of MedicineGo to institution
- Multi-Modal Computing and Interaction (MMCI)Go to institution
- Faculty of Natural Sciences and TechnologyGo to institution
- Faculty of ArtsGo to institution
- Faculty of LawGo to institution
- Saar University and State LibraryGo to institution
- University ArchiveGo to institution
- Saarland University Medical CenterGo to institution
- Centre of BioinformaticsGo to institution
- Center for BiophysicsGo to institution
- Centre of Human and Molecular Biology (ZHMB)Go to institution
- Centre for Teacher Training (ZFL)Go to institution
Are you affiliated with this institution or do you represent it?
If you would like to request changes, please use our correction form.