Positions

Several PhD positions or internships are available in SAPPORO with an emphasis on randomised algorithms and proof automation. See some examples below.

Randomized Protocols and their Certification

This subject is intended as a PhD position, preliminary parts of the work are suitable for an M2 level internship.

More information

Proof Automation in Graphs and Swarms

This subject is intended as a PhD position, preliminary parts of the work are suitable for an M2 level internship.

More information

Certification of Algorithms for (non-Euclidean) Geometry

This subject is intended as a PhD position, preliminary parts of the work are suitable for an M2 level internship.

More information

Model Validation for Luminous Robots

This subject is intended as an M2 level internship, it can be extented to a PhD.

More information