BookUNI PhD Opportunity

Closed

PhD Position F/M Study and formalisation of algebraic structures hierarchies in proof assistants

Inria · France

StatusClosed
University / OrganizationInria
CountryFrance
Deadline2026-08-07
DepartmentComputer Science
SupervisorHugo Herbelin
Last seen2026-07-17T15:01:14+00:00
Home > PhD > France > PhD Position F/M Study and formalisation of algebra...

This PhD opportunity is closed.

The page remains available as a historical official source. Please use the related current PhD opportunities or country directory for active options.

BookUNI Summary

PhD position in Computer Science focusing on algebraic structures hierarchies in proof assistants. Requires master's in mathematics or theoretical computer science and knowledge of functional programming.

Requirements

PhD position in Computer Science focusing on algebraic structures hierarchies in proof assistants. Requires master's in mathematics or theoretical computer science and knowledge of functional programming.

Application Information

Official Opportunity / Application Page PhDScanner https://www.phdscanner.com/api/opportunities/3343247b-e000-4a46-b6ad-734dca18ed99/apply

BookUNI provides a structured summary and route to the public source. Confirm eligibility, documents, deadline, funding and submission rules on the official page before applying.