The position is for 4 years with the possibility of extension and is fully funded at the Germany salary grade TV-L E 13. The successful candidate will perform research in the areas of logic in computer science and constraint satisfaction. They should have completed, or complete in the near future, a Master's degree in computer science or mathematics. They should have some familiarity with theoretical computer science, and a background in other areas of mathematics such as model theory or algebra will be considered a plus. The position is to be filled as soon as possible, but the starting date is flexible.
Interested applicants are invited to contact Antoine Mottet for informal inquiries at antoine.mott@gmail.com . Formal applications should consist of a cover letter, a curriculum vitae, and a proof of academic degrees, and should be submitted at https://stellenportal.tuhh.de/ptddc . Applications arriving by May 3rd, 2022 will be given full consideration.
**********************************************************
*
* 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/
*
**********************************************************
Posts
