1 model-checking "https:" PhD scholarships at KU LEUVEN

Sort by

listed

Refine Your Search

Sort by: relevance | listed |

Enter an email to receive alerts for model-checking "https:" positions

PhD Position in Declarative Problem Solving

KU LEUVEN | Belgium | 3 months ago

and checked by an independent third party, and even (3) rigorous evaluation of algorithmic improvements.For some inspiration on this topic, see the CertiFOX project page: https://www.bartbogaerts.eu

Enter an email to receive alerts for model-checking "https:" positions