vacatures in Informatiesystemen (Bedrijfsinformatica) in Graz

CRYSTALLINE PhD position - Model Learning and Formal Methods (all genders) // Job-ID: 146-1

Your future responsibilities The goal of this PhD is to further the potential of model-based formal verification of black-box systems by combining model-learning techniques with formal methods. This tight integration of formal methods into the lea...