ANR project ALARICE is proposing a Master 2 intership at the interface between computational models, discrete dynamical systems (such as cellular automata, automata networks), algorithmic complexity, finite-model theory, graph logics… in Marseille (group CANA): alarice-phd-marseille
Dates: spring 2027.
Application: by email to kevin.perrot@lis-lab.fr.
Feel free to ask details about the project.
There is an opportunity to continue this research in a PhD thesis.