Die Hochschule München beabsichtigt eine Softwareentwicklungsleistung am Open-Source-Werkzeug „Incremental Model Checking Toolkit“ zu beschaffen.
Die Hochschule München beabsichtigt eine Softwareentwicklungsleistung am Open-Source-Werkzeug „Incremental Model Checking Toolkit“ zu beschaffen.
Für diese Ausschreibung liegen keine Vergabeunterlagen vor. Die KI-gestützte Dokumentenanalyse kann nur durchgeführt werden, wenn Dokumente verfügbar sind.
Noch keine Vergabeunterlagen verfügbar.
Nachweis eines zertifizierten ISMS für den gesamten Projektzeitraum.
Sämtliche Kernmitglieder müssen Deutschkenntnisse auf C1-Niveau nachweisen.
Mindestens drei vergleichbare Projekte in Bundes- oder Landesbehörden in den letzten 5 Jahren.