Philipps-Universität Marburg
Formal Methods Research Group
Contact
Formal Methods Research Group
Hans-Meerwein-Straße
35043 Marburg
35043 Marburg
Doctoral Opportunities
Promotionsmöglichkeit hier klicken
Affiliated institutions
- Centre for Middle Eastern Studies (CNMS)Go to institution
- Christoph Dornier Foundation for Clinical PsychologyGo to institution
- Department 01: LawGo to institution
- Department 02: EconomicsGo to institution
- Department 03: Social Sciences and PhilosophyGo to institution
- Department 04: PsychologyGo to institution
- Department 05: Protestant TheologyGo to institution
- Department 06: History and Cultural StudiesGo to institution
- Department 09: German Language and Cultural ScienceGo to institution
- Department 10: Foreign Languages and LiteraturesGo to institution
- Department 12: Mathematics and Computer ScienceGo to institution
- Subject Area: Computer ScienceGo to institution
- Algorithmics GroupGo to institution
- Big Data Analytics groupGo to institution
- research group Data Science in BiomedicineGo to institution
- Workgroup of Data Base SystemsGo to institution
- Workgroup Data BionicsGo to institution
- Formal Methods Research Group
- Graphics and Multimedia Programming GroupGo to institution
- Artificial Intelligence Group - Explainable AIGo to institution
- Language Technologies GroupGo to institution
- Programming Languages and Tools Working GroupGo to institution
- Workgroup Software EngineeringGo to institution
- Distributed Systems GroupGo to institution
- Subject Area: MathematicsGo to institution
- Research Group Molecular Storage for Long Time Archiving (MOSLA)Go to institution
- Department 13: PhysicsGo to institution
- Department 15: ChemistryGo to institution
- Department 16: PharmacyGo to institution
- Department 17: BiologyGo to institution
- Department 19: GeographyGo to institution
- Department 20: MedicineGo to institution
- Department 21: EducationGo to institution
- Information Centre for Foreign Language ResearchGo to institution
- Marburg Center for Digital Culture and Infrastructure (MCDCI)Go to institution
- Marburg Centre for Canada StudiesGo to institution
- Museum of Art and History of CivilizationGo to institution
- Religious Studies CollectionGo to institution
- University ArchiveGo to institution
- University LibraryGo to institution
- Materials Science CentreGo to institution
- Centre of Gender Studies and Feminist FuturologyGo to institution
- Centre of Conflict ResearchGo to institution
- Teacher Training CentreGo to institution
- Center for Synthetic Microbiology (SYNMIKRO)Go to institution
- Microcosm Earth CenterGo 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.