Sort by
Refine Your Search
-
Category
-
Country
-
Employer
-
Field
-
is to determine how memory mechanisms can be generalised across linguistic domains, from the lexicon through syntax to discourse semantics, and how plausible memory models can predict diverse
-
to discourse semantics, and how plausible memory models can predict diverse quantitative data in linguistics and cognitive science. The project has two components: an empirical one and a computational one. The
-
expertise on advanced technologies including semantic/task-oriented data processing, signal processing, network resource management to improve the performance of the future wireless communication systems
-
for relaxed memory models; guarded cubical type theory; and Rocq formalizations. Tasks and Qualifications Applicants are expected to have a strong background in semantics, type theory, and Rocq formalization