BookUNI PhD Opportunity

Closing soon

PhD Position F/M Interoperability for Synthetic Mathematics in a Proof Assistant

Inria · France

StatusClosing soon
University / OrganizationInria
CountryFrance
Deadline2026-08-30
Funding€2,300
DepartmentComputer Science
SupervisorWinterhalter Theo
Last seen2026-07-17T15:01:14+00:00
Home > PhD > France > PhD Position F/M Interoperability for Synthetic Mat...

Closing soon

Please confirm the exact local deadline and submission time on the official application page.

BookUNI Summary

PhD position in proof and verification focusing on synthetic mathematics. Requires a Master's in CS with formal methods expertise. Offers a gross monthly salary of €2,300.

Requirements

PhD position in proof and verification focusing on synthetic mathematics. Requires a Master's in CS with formal methods expertise. Offers a gross monthly salary of €2,300.

Application Information

Official Opportunity / Application Page PhDScanner https://www.phdscanner.com/api/opportunities/4ae2c887-22c4-4a60-b14b-91f05ba1b712/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.