Computer Science Institute of Charles University (https://www.mff.cuni.cz/en/iuuk).
The starting date is negotiable, in the second half of 2024.
The position is funded by the project "Beyond the Four Color Theorem"
(https://iuuk.mff.cuni.cz/~rakdver/index.php?which=beyond4ct).
We look especially for candidates with strong background in graph coloring
or computational topology, and ideally with experience with programming
and/or computer-assisted proofs.
The candidates must have a PhD degree in mathematics or theoretical computer
science completed within the last 6 years (with exceptions for individual
circumstances such as parental leave) or be expected to obtain the degree by
the starting date of the position.
Deadline for the applications: January 31, 2024, to be fully considered
(all applications received by this date will be considered; after that,
applications will be processed as received, until the position is filled).
Further information and application at
https://www.mff.cuni.cz/en/iuuk/people/postdoc-positions
Informal inquiries are welcome and may be sent to the principal investigator
Zdeněk Dvořák <rakdver@iuuk.mff.cuni.cz>.
**********************************************************
*
* 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
