A post-doc position is available at LORIA, Nancy, France in logic, proof theory and semantics, supported by the ANR DynRes project „Dynamic Resources and Separation and Update Logics” held by a group of three teams of researchers of three French laboratories of computer science. . . . → Read More: A post-doc position in logic, proof theory and semantics