Sort by
Refine Your Search
-
Category
-
Country
-
Employer
-
Field
-
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
Searches related to formal semantics
Enter an email to receive alerts for formal-semantics positions