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

Centre National de la Recherche Scientifique is hiring: https://tenuretracker.info/l/WIULwVMM/postdoc-position-in-mathematics-and-fondamental-computer-science-m-f?utm_source=bsky #postdoc #computerscience #algorithms --- Extract: The position involves developing a higher-dimensional algebraic framework for modular reasoning, designing a dependent type system, and integrating resources into homotopy type theory.