PhD in mathematics and fondamental computer science (M/F)

The aim of the project is to participate in the development of a new generation of proof assistants that integrate both a linguistic layer and automated assistance tools to guide scientists and facilitate the construction of certified mathematical documents, from the choice of concepts and definitions to the elaboration of theorems and proofs.Linear duality and higher algebraic effects in...