Sort by
Refine Your Search
-
Category
-
Employer
-
Field
-
, please visit: http://mgmt.au.dk/ . Place of work Department of Management, Universitetsbyen 61, DK-8000 Aarhus C, Denmark. Formal Requirements You can read more about how to apply in the application guide
-
Assistant Professor (tenure-track) and Associate Professor (tenured) Positions in Computer Scienc...
broadly construed, e.g., functional programming, quantum programming, semantics, type theory, effect systems, formal verification, static analysis, reactive, concurrent, and parallel programming, compilers
-
broadly construed , e.g., functional programming, quantum programming, semantics, type theory, effect systems, formal verification, static analysis, reactive, concurrent, and parallel programming, compilers
Enter an email to receive alerts for formal-semantics "https:" positions