Sort by
Refine Your Search
-
Competitive candidates are expected to have a strong background, with an excellent publication record, and experience of working with dependent type theory and univalence. Good knowledge of the theory models
Searches related to model checking
Enter an email to receive alerts for model-checking positions