Sort by
Refine Your Search
-
Postdoc Position in Models of Quantum Programming Languages (Sapere Aude: DFF-Research Leader Pro...
or quantum information science, and demonstrated research experience in quantum computing and at least one of the following areas: Formal semantics of programming languages. Logic in computer science. Category
-
Job Description Are you passionate about ontologies, data integration, or semantic technologies—and ready to apply them in a real-world engineering context? Would you like to help shape the future
-
We are seeking highly motivated applicants for a 1-year postdoctoral position (with the possibility of 1-year extension) in the area of Goal-Oriented Semantic Communication and Edge Intelligence
-
or quantum information science, and demonstrated research experience in quantum computing and at least one of the following areas: Formal semantics of programming languages. Logic in computer science. Category
-
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
-
We are seeking highly motivated applicants for a 1-year postdoctoral position (with the possibility of 1-year extension) in the area of Goal-Oriented Semantic Communication and Edge Intelligence