-
with strong demonstrable ties to UCT will also be considered. Preferred Qualifications Experience with multiple blockchain platforms Knowledge of formal verification methods Experience with DApp
Searches related to formal semantics
Enter an email to receive alerts for formal-semantics positions