[DMANET] Postdoc position at IDSIA, Lugano: SOS and Approximation Algorithms

Postdoctoral Position in Theoretical Computer Science IDSIA USI-SUPSI, Lugano (Switzerland) The Algorithms and Complexity Group at IDSIA (Lugano) invites applications for a PostDoc position under the supervision of Prof. Monaldo Mastrolilli. PROJECT The position is supported by the Swiss National Science Foundation (SNSF) project n. 200021_207429: "Ideal Membership Problems and the Bit Complexity of Sum of Squares Proofs". Research focus: - Bit complexity of Sum of Squares (SoS) proofs and ideal membership problems. - Design of Approximation Algorithms using SoS and SDP techniques. OFFER - Duration: 6 months initially, renewable. - Start date: ASAP. - Salary: Approx. 80,000 CHF/year (low taxes). - Benefits: No teaching duties, generous travel support. - Environment: IDSIA offers an international research environment in Lugano. REQUIREMENTS - Ph.D. in Computer Science, Mathematics, or related fields. - Solid track record in TCS. APPLICATION Please email a CV and contact details of 2-3 references to: Prof. Monaldo Mastrolilli (monaldo.mastrolilli@supsi.ch) ********************************************************** * * 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/ * **********************************************************