Ruhr-Universität Bochum
Chair of Artificial Intelligence and Formal Methods
Contact
Chair of Artificial Intelligence and Formal Methods
Universitätsstraße 150
44801 Bochum
44801 Bochum
Doctoral Opportunities
Promotionsmöglichkeit hier klicken
Affiliated institutions
- Center for Religious Studies (CERES)Go to institution
- Faculty of Protestant TheologyGo to institution
- Faculty of Civil and Environmental EngineeringGo to institution
- Faculty of Biology and BiotechnologyGo to institution
- Faculty of Chemistry and BiochemistryGo to institution
- Faculty of Electrical Engineering and Information EngineeringGo to institution
- Faculty of GeosciencesGo to institution
- Faculty of HistoryGo to institution
- Faculty of Computer ScienceGo to institution
- Software Security groupGo to institution
- Chair of Implementation SecurityGo to institution
- Chair of Databases and Information SystemsGo to institution
- Chair of Embedded SecurityGo to institution
- Chair for Human-Centred SecurityGo to institution
- Chair for information securityGo to institution
- Chair of Artificial Intelligence and Formal Methods
- Chair of Neural Data ScienceGo to institution
- Chair for Security and Privacy of Ubiquitous Systems (UbiSys)Go to institution
- Chair for Security EngineeringGo to institution
- Chair of Software QualityGo to institution
- Chair for CryptographyGo to institution
- Institute for Cryptology and IT SecurityGo to institution
- Chair for Quantum InformationGo to institution
- Chair for Theoretical Computer Science / AlgorithmicsGo to institution
- Professorship for operating systems and system softwareGo to institution
- Faculty of Mechanical EngineeringGo to institution
- Faculty of MathematicsGo to institution
- Faculty of East Asian StudiesGo to institution
- Faculty of Language and LiteratureGo to institution
- Faculty of Philosophy and Educational ScienceGo to institution
- Faculty of Physics and AstronomyGo to institution
- Faculty of PsychologyGo to institution
- Faculty of Social ScienceGo to institution
- Faculty of Sports ScienceGo to institution
- Faculty of EconomicsGo to institution
- Office of Cooperation RUB/IGMGo to institution
- Horst Görtz Institute for IT-Security (HGI)Go to institution
- Institute of Hygiene of the Ruhr District - Institute of Environmental Hygiene and Environmental MedicineGo to institution
- Institute for Applied Work ScienceGo to institution
- Institute for Mining and Energy LawGo to institution
- Institute of Research on GermanyGo to institution
- Institute for International Law of Peace and Armed Conflict (IFHV)Go to institution
- Institute for Neural ComputationGo to institution
- Institute for the Study of Social MovementsGo to institution
- Interdisciplinary Centre for Advanced Materials SimulationsGo to institution
- International Graduate School for Neuroscience (IGSN)Go to institution
- Faculty of LawGo to institution
- Faculty of Catholic TheologyGo to institution
- Landesspracheninstitut (LSI)Go to institution
- Faculty of MedicineGo to institution
- Musical CentreGo to institution
- Professional School of EducationGo to institution
- Research Department of Interfacial Systems Chemistry (IFSC)Go to institution
- Research Department Plasmas with Complex InteractionsGo to institution
- RUB Research SchoolGo to institution
- RUBION, Central Unit for Ion Beams and RadionuclidesGo to institution
- Scientific Writing CentreGo to institution
- University Hospital of Ruhr University BochumGo to institution
- Ruhr Area (UA Ruhr)Go to institution
- University ArchiveGo to institution
- University LibraryGo to institution
- Centre for Foreign Language TrainingGo to institution
- Center for Mediterranean StudiesGo to institution
- Center for Theoretical and Integrative Neuroscience and Cognitive ScienceGo 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.