The French ANR project ALARICE (computational complexity bounds “à la Rice[’s theorem]” for finite dynamical systems) has a postdoc position (https://alarice.lis-lab.fr/postdoc-nice.html) and two PhD positions (https://alarice.lis-lab.fr/phd-fundings.html) available. Application deadline 1 June 2026. #AcademicJobs