Sort by
Refine Your Search
-
Listed
-
Employer
-
Field
-
the following areas: Programming language semantics and type systems Functional logic programming Property-based testing Interactive theorem proving (such as Agda, Lean, or Rocq) Domain-specific
-
partners. FiSRE aims to make resilience a built-in design property of 6G, alongside efficiency and sustainability, so that networks continue to deliver critical services not only during faults but also under
-
expect you to have documented expertise in one or more of the following areas: Programming language semantics and type systems Functional logic programming Property-based testing Interactive theorem
-
researchers, we are looking for candidates who have completed their PhD no more than three years before the application deadline. The position is based in the discipline of Gender Studies, within the Department