Please note that this newsitem has been archived, and may contain outdated information or links.
PhD and Post-doctoral Positions Available in Formal Methods for Reversible Concurrent Calculi
Deadline: Thursday 1 June 2023
Candidates interested in a PhD in formal and algebraic methods for concurrent, reversible computation in Augusta University (Georgia, USA), starting in January 2024 are invited to apply by June 1st, 2023. A post-doctoral position will open shortly after, but interested candidates should feel encouraged to reach out informally.
In addition to accepting applications, I will be very happy to respond to informal inquiries about any aspect of the position, from technical ones to ones about life in the US "Garden City".
For more information, see
https://spots.augusta.edu/caubert/research/cinrc/phd_ad.html
or contact Clément Aubert at clement.aubert at math.cnrs.fr.
Please note that this newsitem has been archived, and may contain outdated information or links.