Sort by
Refine Your Search
-
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
-
., recommendation letters, research project/statement in agreement with the requirements specified in previous text). All material must be included in one compiled pdf file. The file should be named indicating
-
project/statement in agreement with the requirements specified in previous text). All material must be included in one compiled pdf file. The file should be named indicating the surname of the applicant and
-
; 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
-
broadly construed , e.g., functional programming, quantum programming, semantics, type theory, effect systems, formal verification, static analysis, reactive, concurrent, and parallel programming, compilers