of Computer Science, University of Auckland, New Zealand.
The position is part of a Marsden Fast-Start project, which covers
tuition and an allowance for three years. The starting date is in
2025. The topic of the project is "Proof complexity of pseudo-Boolean
solvers". The successful candidate will be supervised by Marc Vinyals
and other faculty within the theory group.
To apply, please email your CV, academic transcript, a brief
description of your research experience and interests, and names and
email addresses of two referees to marc.vinyals@auckland.ac.nz. For
more information, see https://marcvinyals.gitlab.io/projects/ or email
the address above. Applications received by January 20th will be given
full consideration. Later applications will be accepted until the
position is filled.
**********************************************************
*
* 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
