PODC Archives

ACM PODC Participants List


Options: Use Forum View

Use Monospaced Font
Show Text Part by Default
Condense Mail Headers

Message: [<< First] [< Prev] [Next >] [Last >>]
Topic: [<< First] [< Prev] [Next >] [Last >>]
Author: [<< First] [< Prev] [Next >] [Last >>]

Print Reply
ACM PODC Participants List <[log in to unmask]>
Clément Aubert <[log in to unmask]>
Thu, 1 Jun 2023 13:44:00 -0400
multipart/signed; micalg=pgp-sha256; protocol="application/pgp-signature"; boundary="------------WrUHLafvbXoLfyDynZfuF3lb"
Clément Aubert <[log in to unmask]>
This is a gentle reminder that the dead-line for the PhD position is 
today (June 1st).
Applications will be considered until the position is filled, though.



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 to 
<[log in to unmask]> 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".

Thanks for forwarding this offer or the link 
<https://spots.augusta.edu/caubert/research/cinrc/phd_ad.html> to 
potentially interested candidates.

Expanded version (PhD position)

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 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:

    - Be interested in the overall project as stated above. A complete 
project description or selected publications are available upon request.
    - Have or are about to complete a Bachelor or (preferably) a Master 
of Science in Computer Science, Mathematics, or a related field 
(Computer Engineering, etc.).

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 (<[log in to unmask]>) with 
the following information:

    - A brief introduction of yourself and if you have conducted any 
research already.
    - CV/Resume.

    Applications will be reviewed starting June, 1st, 2023
    Interviews will be conducted in June 2023
    Successful applicant will be selected in July 2023
    Formal application to the PhD program will be due by September, 1st 2023

Expanded version (Post-doctoral position)

This NSF-funded project also includes funding for a post-doctoral 
researcher position. The duration of the position is initially one year, 
with guaranteed continuation by mutual agreement. The position will 
start at a mutually agreeable date, but probably not before July 2024. 
However, interested persons should feel encouraged to share their 
graduation plan or professional trajectory if they believe they can 
align particularly well with this project, in which case the starting 
date may be significantly shifted.

More information

    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: 
    AU PhD Program: <https://www.augusta.edu/ccs/phd-ccs.php>
    AU International and Postdoctoral Services Office: 
    AU Graduate Assistantship: 
    Cultural Life in Augusta: <https://www.sampleaugusta.com/>

      Clément Aubert, Assistant Professor of Computer Science,
      School of Computer and Cyber Sciences, Augusta University,



[log in to unmask]

If you don't already have a password for the LISTSERV.ACM.ORG server, we recommend
that you create one now. A LISTSERV password is linked to your email
address and can be used to access the web interface and all the lists to
which you are subscribed on the LISTSERV.ACM.ORG server.

To create a password, visit:


Once you have created a password, you can log in and view or change your
subscription settings at:


--------------WrUHLafvbXoLfyDynZfuF3lb Content-Type: application/pgp-signature; name="OpenPGP_signature.asc" Content-Description: OpenPGP digital signature Content-Disposition: attachment; filename="OpenPGP_signature" -----BEGIN PGP SIGNATURE----- wsF5BAABCAAjFiEE186fTZckYBtSmP7y3HLF7PSsZawFAmR42OAFAwAAAAAACgkQ3HLF7PSsZayG LQ//bDoEMDQPBGQjxGc5WtbMqBlrf3roGGFd4N3cBqLJEo80iNATXkiH3Ro+fD0zzWsagv6gC9w5 n2ThO+RiXq/ivNTWaXNUchrINqS5HkBj3JXHPmO9fa8BTpr4Gc1pYklpRZwq4mTQVE+kE8/YT/Y1 2H8h07sYOQWSYt5IDF+nT+SnhVv8EWZsnxHv+XjKWwYiyGYlQBDx6hfxWYYW+SBlNIY3uNMWyQee sJ28aCuHpM2i1gliXTp4qW/kQVKyJLXfPsRB8UPsMcVm54k6GybaPSkIKTa7jxOe1gm600l2FlJY FMzLn+ki8vuEQ/Km3g1QGUqlOnHXVMxGSWbTqfOY3pbW7Fa4rfi4Khvnc/eWpni2atBTNFojQG9r cXlUfzOCdCL9Vm3elPmPkmFsq933lFoYUNHle+B3kmtzpo8Vzx7SdBTq0XF8stjb7wCOGrtOc3eZ xS/PcwBdNh3+KZJt9kMAt8oLKw19QnSa17TAl9IxduyjcVus/nLi80yHlrORVjZ2m+k+P4Lcb4OO NY5wL0/nnNrGlQ4Wkq9KLngSNTSeDXbs9DPLecwaFySQo143LwIqv8DpDkaoH1PcCMgnvmjTFgNI pjHb8XG7jaej448DHvBF26tB0hIcDyF30e8SwBXzfpRclPkB2LTuC0oQuwLOCj+ddsdS+ntcR5Sr /Gg= =ol0n -----END PGP SIGNATURE----- --------------WrUHLafvbXoLfyDynZfuF3lb--