-
between ad hoc array processing and formally verified functional programming using interactive theorem provers. Who we are looking for The following requirements are mandatory: A doctoral degree (or
Enter an email to receive alerts for parallel-processing "https:" positions