[Job-offers-cs] Postdoc in Logic, Combinatorics and Complexity at Sapienza University in Rome.

[Pekka Orponen]

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

Subject: 	[DMANET] Postdoc in Logic, Combinatorics and Complexity at 
Sapienza University in Rome.
Date: 	Fri, 13 Oct 2023 06:56:14 +0200
From: 	Nicola Galesi via dmanet <dmanet at zpr.uni-koeln.de>
Reply-To: 	Nicola Galesi <nicola.galesi at uniroma1.it>
To: 	dmanet at zpr.uni-koeln.de



Expression of interest for a postdoc position in Logic, Combinatorics
and Complexity at Sapienza University in Rome.

Under the National PRIN project "Logical Methods in Combinatorics"
we are looking for an excellent junior researcher with a recent PhD
in Computer Science, Mathematics or Logic whose research interests
can complement and interact with the research profile of the group of
the project which is made by Nicola Galesi, Lorenzo Carlucci e Massimo
Lauria.

Research interests include (but are not limited to) Proof Complexity,
theoretical aspects of SAT-solving, Reverse Mathematics,
Computability.

The position will be available for one year and half starting
presumably in January 2024. The postdoc (In Italy called "Assegno di
ricerca") will be formally based at the Department of Computer,
Control and Management Engineering (DIAG) of Sapienza (N. Galesi),
but in collaboration with the Department of Mathematics (L. Carlucci )
and that of Statistics (M. Lauria).

Sapienza is the major Italian university and one of the biggest
all over Europe. For research in Theory of Computing Sapienza is the
first Italian university according to CS rankings
(https://csrankings.org/ and the Department of Mathematics received
the Italian award of "Dipartimento di Eccellenza" in 2023-2027. Rome
is the capital of Italy and a vibrant cultural city well connected
with the rest of the world and with a reasonable cost of living.

If interested please send as soon as possible a detailed CV to
nicola.galesi at uniroma1.it with SUBJECT: LCC-PD


-- 
Join ECSS 2023 <https://www.informatics-europe.org/ecss/home.html> in 
Edinburgh, 23-25 October! Registration 
<https://www.informatics-europe.org/ecss/registration/how-to-register.html> 
open until Oct 16!

<https://www.informatics-europe.org/ecss/home.html>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://list.aalto.fi/pipermail/job-offers-cs/attachments/20231013/6b7f88b8/attachment.htm>