Missions

The successful candidate will join the Malinca project team and contribute to the advancement of the project's objectives by pursuing their own research program.

Activities

The successful candidate will be responsible for developing aspects of the Malinca project and its applications to the verification of mathematical texts. The role will involve working on a unique research project to be defined, developed, and implemented. The successful candidate will participate in Malinca project activities in Paris and at other centers in Nancy, Nice, and Madrid, interact with other team members, assist in organizing scientific activities, invite their own visitors, and communicate their results through publications and conferences.

Skills

-Doctorate in mathematics, theoretical computer science, or linguistics, prior to the start of the contract. -Advanced level in at least one of the following areas: mathematics, including a good understanding of the fundamentals of a field of mathematics; programming applicable to research and proof verification; linguistics for extracting semantics from mathematical texts. -Independence and autonomy in defining and pursuing the research project. -An aptitude for scientific communication.

Work Context

The Malinca project (ERC Synergy), based in Paris, Nancy, Nice, and Madrid, aims to develop a new generation of proof assistant technologies capable of understanding the dynamic linguistic structures found in current high-level mathematical texts. The project includes the study of interpretation mechanisms for logical foundations, a new linguistic layer representing the intermediate steps between natural language texts and formalized proof documents, and automation tools for the efficient construction of definitions, theorems, and proofs.

Constraints and risks

Working with display screens