[Job-offers-cs] PostDoc position IDSIA, Switzerland

[Pekka Orponen]

-------- Forwarded Message --------

Subject: 	[DMANET] PostDoc position IDSIA, Switzerland
Date: 	Thu, 13 Apr 2023 06:36:11 +0000
From: 	Mastrolilli Palmo Monaldo <monaldo at idsia.ch>
To: 	dmanet at zpr.uni-koeln.de <dmanet at zpr.uni-koeln.de>



PostDoc position in Algorithms at IDSIA, USI-SUPSI, Lugano, Switzerland

The Algorithms and Complexity Group of IDSIA, USI-SUPSI, Lugano 
(Switzerland), opens 1 postdoc position for up to 4 years supported by 
the Swiss National Science Foundation project "Ideal Membership Problems 
and the Bit Complexity of Sum of Squares Proofs", project n. no 
200021_207429 / 1.

The group currently consists of 2 PhD students, an IDSIA researcher, 
Prof. Mastrolilli, and we collaborate with 2 well-known researchers in 
the field. The ideal candidate will be expected to collaborate and work 
within this group.


THE PROJECT

The project is on the interface of three very active areas of research 
in theoretical computer science and mathematics.
The first one deals with polynomial ideals and their properties and goes 
all the way back to David Hilbert. The second one is a widely used tool 
in complexity, algebraic and semi-algebraic proof systems such as 
Sum-of-Squares (SoS), where the main question is when a proof of a 
certain property of a polynomial can be efficiently found. The third 
area is the analysis of the complexity of constraint satisfaction 
problems (CSPs), mainly through the universal-algebraic approach. These 
areas address key problems in theoretical computer science, they produce 
a very significant amount of world class research, with many 
publications in world-leading venues in theoretical computer science. 
The proposed project is about a new direction of research combining 
these three areas mentioned above.
More information available here:
https://people.idsia.ch/~monaldo/positions/positions.html>

OPEN POSITION

1 PostDoc position for up to 4 years starting as soon as possible. The 
position will be filled as soon as eligible candidates with an 
appropriate background apply. The gross salary is around 80.000 CHF per 
year, with low taxes (about 12%). There are no teaching duties and there 
is travel support. Candidates should hold (or be close to obtaining) a 
Ph.D. in Computer Science, Math, or related areas, and should have a 
solid publication record and a solid background in at least one of the 
areas mentioned above.


IDSIA offers an international working environment. Lugano is a tidy and 
lively town, with a wonderful view on Ceresio lake and mountains around. 
Ticino Canton offers many opportunities for hiking, biking, skiing, etc. 
Local restaurants serve very good food.

The interested candidates should email a detailed CV and contact details 
of 2-3 references to Prof. Monaldo Mastrolilli.


For any question, do not hesitate to contact:
Prof. Monaldo Mastrolilli
monaldo at idsia.ch
http://people.idsia.ch/~monaldo/>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://list.aalto.fi/pipermail/job-offers-cs/attachments/20230430/4081f7ff/attachment.htm>