Sort by
Refine Your Search
-
Category
-
Program
-
Employer
-
Field
-
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
-
, or a more specialised degree in quantum computing or quantum information science, and demonstrated experience in at least one of the following areas: Theory of programming languages. Compilers and
-
critical decision points in biodiversity assessment: (1) setting baselines and boundaries for measurement, (2) categorizing and classifying extinction and ecosystem risks, and (3) compiling global
-
risk assessment of chemicals . Your tasks will include: Conducting literature searches and compiling findings into structured reports. Extracting and organizing relevant data from literature sources
-
; probabilistic program logics; logical relations for relational reasoning about safety, liveness, and security properties; formal modeling of low-level capability machines and secure compilation; program logics