Postdoc position in mathematics and fondamental computer science (M/F)

• Development of a higher-dimensional algebraic and formal framework which enables one to reason in a modular fashion, independent of the choice of logical and algebraic representation of the concept and definitions- Design, implementation and experimentation of a dependent type system with equality integrating elements of linearity and resource, - Design of a mathematical semantics (Scott...