The University of Geneva - Computer Science Department offers an opportunity to work as a PhD student on formal methods and distributed algorithms, under the supervision of Pr. Karine Altisen. The subject will be focused on impossibility results of distributed algorithms, their formalization and formal proofs, using a proof assistant such as Coq/Rocq.
This position involves serving as a teaching assistant for one course per semester (~2h/week of exercises) and goes over 4 years.
A Master's degree (either already obtained or to be completed within the coming months) in Computer Science is required. A strong affinity for discrete mathematics and algorithms is a plus.
Please submit your application to Karine.Altisen@unige.ch, including a CV and the contact of at least one person who may be contacted to support the application.
**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************