Several PhD positions or internships are available in SAPPORO with an emphasis on randomised algorithms and proof automation. See some examples below.
This subject is intended as a PhD position, preliminary parts of the work are suitable for an M2 level internship.
More informationThis subject is intended as an M2 level internship, it can be extented to a PhD.
More information