-
Functional logic programming Property-based testing Interactive theorem proving (such as Agda, Lean, or Rocq) Domain-specific languages (for example, for hardware design or parallel programming) Array or
Searches related to parallel programming
Enter an email to receive alerts for parallel-programming positions