<html><head>
<meta http-equiv="Content-Type" content="text/html; charset=utf-8">
</head>
<body>
<p>-------- Forwarded Message --------</p>
<div class="moz-forward-container">
<table class="moz-email-headers-table" cellspacing="0" cellpadding="0" border="0">
<tbody>
<tr>
<th valign="BASELINE" nowrap="nowrap" align="RIGHT">Subject:
</th>
<td>[DMANET] Ph.D. and PostDoc positions in Algorithms at
IDSIA, USI-SUPSI, Switzerland</td>
</tr>
<tr>
<th valign="BASELINE" nowrap="nowrap" align="RIGHT">Date: </th>
<td>Thu, 2 Jun 2022 16:21:06 +0200</td>
</tr>
<tr>
<th valign="BASELINE" nowrap="nowrap" align="RIGHT">From: </th>
<td>M M <a class="moz-txt-link-rfc2396E" href="mailto:monaldo.mastrolilli@gmail.com"><monaldo.mastrolilli@gmail.com></a></td>
</tr>
<tr>
<th valign="BASELINE" nowrap="nowrap" align="RIGHT">To: </th>
<td><a class="moz-txt-link-abbreviated" href="mailto:dmanet@zpr.uni-koeln.de">dmanet@zpr.uni-koeln.de</a></td>
</tr>
</tbody>
</table>
<br>
<br>
Ph.D. and PostDoc positions in Algorithms at IDSIA, USI-SUPSI,
Switzerland,<br>
deadline 3rd July 2022<br>
<br>
The Algorithms and Complexity Group of IDSIA, USI-SUPSI, Lugano<br>
(Switzerland), opens 2 Ph.D. positions and some PostDoc positions.
These<br>
positions are supported by the Swiss National Science Foundation
project<br>
"Ideal Membership Problems and the Bit Complexity of Sum of
Squares Proofs"<br>
(November 2022-October 2026).<br>
<br>
The project is on the interface of three very active areas of
research in<br>
theoretical computer science and mathematics. The first one deals
with<br>
polynomial ideals and their properties and goes all the way back
to David<br>
Hilbert. The second one is a widely used tool in complexity,
algebraic and<br>
semi-algebraic proof systems such as Sum-of-Squares (SoS), where
the main<br>
question is when a proof of a certain property of a polynomial can
be<br>
efficiently found. The third area is the analysis of the
complexity of<br>
constraint satisfaction problems (CSPs), mainly through the<br>
universal-algebraic approach. These areas address key problems in<br>
theoretical computer science, they produce a very significant
amount of<br>
world class research, with many publications in world-leading
venues in<br>
theoretical computer science. The proposed project is about a new
direction<br>
of research combining these three areas mentioned above. This new
direction<br>
of research was recently initiated by the PI of this project in a
series of<br>
publications and followed up by other works by world-leading
experts on<br>
universal-algebraic methods in CSPs. The new direction proposes to
combine<br>
two widely used methodologies in a new way, with an algebraic
geometry view<br>
used to bring them together. This new combination opens up a whole
range of<br>
new very interesting problems.<br>
<br>
The Ph.D. positions are for 2+2 years, and they are supposed to
start on<br>
November 1st 2022 with moderate flexibility. The gross salary is
around<br>
50.000 CHF per year, with low taxes. The position involves a
moderate<br>
teaching load (as teaching assistant) at USI. There is travel
support.<br>
Candidates should hold (or be close to obtaining) a Master Degree
in<br>
Computer Science or related areas. A solid background in
Algorithms,<br>
Computational Complexity, Discrete Mathematics, Mathematical
Programming is<br>
helpful. A good knowledge of written and spoken English is also
required<br>
(while knowledge of Italian is not needed).<br>
<br>
The PostDoc positions are initially for 1 year, but an extension
by 1 extra<br>
year is expected (further extensions are possible in exceptional
cases).<br>
The project supports 1 PostDoc position per year on average. The
gross<br>
salary is around 80.000 CHF per year, with low taxes. There are no
teaching<br>
duties and there is travel support. Candidates should hold (or be
close to<br>
obtaining) a Ph.D. in Computer Science or related areas and should
have a<br>
solid publication record and a solid background in at least one of
the<br>
areas mentioned above.<br>
<br>
IDSIA offers an international working environment. Lugano is a
tidy and<br>
lively town, with a wonderful view on Ceresio lake and mountains
around.<br>
Ticino Canton offers many opportunities for hiking, biking,
skiing, etc.<br>
Local restaurants serve very good food.<br>
<br>
For full consideration, Ph.D. and Postdoc applications should be
sent<br>
within 3rd July 2022. Further PostDoc applications can be sent at
any time<br>
during the first 3 years of the project.<br>
The interested candidates should email a detailed CV and contact
details of<br>
2-3 references to Prof. Monaldo Mastrolilli and fill out a form on
the web<br>
(contact Prof. Monaldo Mastrolilli for details).<br>
For further details visit<br>
<a class="moz-txt-link-freetext" href="https://people.idsia.ch/~monaldo/positions/positions.html">https://people.idsia.ch/~monaldo/positions/positions.html</a>><br>
<br>
For any question, do not hesitate to contact:<br>
Prof. Monaldo Mastrolilli<br>
monaldo at idsia.ch<br>
<a class="moz-txt-link-freetext" href="http://people.idsia.ch/~monaldo/">http://people.idsia.ch/~monaldo/</a>><br>
<br>
</div>
</body>
</html>