May 14, 2024
⚠️ The post-doctoral position has been filled and is no longer available. ⚠️
Candidates interested in a PhD in formal and algebraic methods for concurrent, reversible computation in Augusta University (Georgia, USA), starting Fall 2024 or Spring 2025 are invited to apply by June 10th, 2024.
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”.
Thanks for forwarding this offer or the link https://spots.augusta.edu/caubert/research/cinrc/phd_ad.html to potentially interested candidates.
The Concurrency In Reversible Computations (https://github.com/CinRC) project is actively seeking a PhD student to fund starting as Fall 2024 or Spring 2025. The funding for an admitted PhD student includes waiver of most tuition (only $25–$640 / semester is due by the student), a stipend ($29K / year), health benefits for the individual, (international) conference travel and possibly equipment (laptop). Funding is currently available for the first three years of the appointment through a new NSF funded project (https://www.nsf.gov/awardsearch/showAward?AWD_ID=2242786).
The main goals of this project are to improve existing process calculi formalizing reversible computations. In the past, reversible calculi have shed a new light on the correctness and adequation of CCS, π-calculus and other formalisms for concurrent computation, but they still miss crucial features. Contextual equivalences, observable behaviors, set of operators and infinite behavior, to name a few, are still in the flux and in need of formal definitions that adequately models interesting systems. The original project encompasses many different dimensions, and will be tailored based on mutual interests, capacities, and recent progresses.
The successful applicant will be advised by Clément Aubert, and benefit from an international network of collaborators, as well as from a local, lively, group of PhD students (including but not limited to students working on related formal methods). In addition, they will have the opportunity to help mentoring undergraduate research assistants if they wish to do so.
Interested students should meet the following:
The successful applicant will additionally need to be admitted to the PhD program by the school’s review committee and the Graduate School, but will receive help in completing their application, which should only be a formality.
Students from all origins are welcome, and the University has support for issuing documents for student visa for the successful applicant and their family.
If you are interested in being considered for this opportunity please begin by contacting Clément Aubert (clement.aubert@math.cnrs.fr) with the following information:
Timeline
Applications will be reviewed starting June, 10th, 2024
Interviews will be conducted in June 2024
Successful applicant will be selected in July 2024
Formal application to the PhD program will be immediately after.
CinRC Project: https://github.com/CinRC
Clément Aubert: https://spots.augusta.edu/caubert/ (en) // https://aubert.perso.math.cnrs.fr/ (fr)
AU Programming Languages Reading Group: https://the-au-forml-lab.github.io/plgroup/
AU PhD Program: https://www.augusta.edu/ccs/phd-ccs.php
AU International and Postdoctoral Services Office: https://www.augusta.edu/ipso/
AU Graduate Assistantship: https://www.augusta.edu/gradschool/assistantships.php
– Clément Aubert, Assistant Professor of Computer Science, School of Computer and Cyber Sciences, Augusta University, https://spots.augusta.edu/caubert/