The Concurrency In Reversible Computations (https://github.com/CinRC) project is actively seeking a PhD student to fund starting Spring 2024. The funding for an admitted PhD student includes tuition waiver, stipend, health benefits, (international) conference travel and possibly equipment. Funding is currently available for the first three years of the appointment through a new NSF funded project.
Website: https://spots.augusta.edu/caubert/research/cinrc/phd_ad.html
Email: clement.aubert@math.cnrs.fr