[TYPES/announce] Postdoc position in "Foundation of Computing"

[Luca Paolini]

-----------------------------------------------------------------------
PLEASE FORWARD THIS EMAIL TO WHOEVER YOU MAY THINK MIGHT BE INTERESTED.
-----------------------------------------------------------------------

One post-doc position on the research project

"Linear Techniques for the analysis of Languages (LINTEL)"

is available  at the Università di Torino, Dip. di Informatica funded by 
the project LINTEL headed by Luca Paolini.

The research activity will be carried out within the Lambda-Group 
Research Unit of the Dipartimento di Informatica.
The  Lambda-Group in Torino is one of the biggest worldwide research 
groups in Formal Methods, see
http://www.unito.it/unitoWAR/page/dipartimenti1/D004_en/D004_EN_sections2?path=/BEA%20Repository/358161


Aim and Scope
=============

Linearity is a key notion, togheter with interaction and 
non-determinism, of a modern reductionist trend which looks for a finer 
analysis of the meaning of computation and logic. The envisaged research 
is the linchpin of the next generation foundational tools for computing 
and logic languages, especially in presence of innovative and 
unconventional features as quantum, reversible, quantitative facets.
Tackling complex problems in the relatively simple settings that a 
linear core of computation can supply, increases the chance of success. 
Sometimes, the solution can be extended to unrestricted non-linear 
settings. A non exhaustive list of topics of interest includes: calculi 
and languages for resource interaction, quantitative analysis of 
interaction via logics, programming languages with linearity, implicit 
computational complexity, definition of quantum programming languages, 
deductive systems for quantum computation, and so on.


Candidate Profile
=================

The ideal candidate should have a PhD in computer science, mathematics 
or related disciplines, with expertises around Linear Logic and 
Lambda-Calculus. We are particularly interested in candidates with 
strong interest on innovative computing, as Reversible Computing, 
Probabilistic Computing, Analog Computing, Quantum Computing.

Applicants should be excellent thinkers and willing to tackle complex 
issues. They should be able to work in a collaborative environment, with 
a strong commitment to reaching research excellence and achieving 
assigned objectives.

Terms and dates
===============

The position is for 18 months and will start as soon as possible. The 
expected salary will range from about 1500 net income per month,
will include previdential (social security) contributions.


Contact Persons
===============

In case of interest, please contact Dr. Luca Paolini, Prof. Ronchi Della 
Rocca, Prof. Luca Roversi stating your interest, with a Curriculum 
Vitae, and the names of reference persons. PDF format is strongly 
encouraged. It should also indicate a preferred starting date.


Location
========

Turin is a major business and cultural centre in northern Italy, 
surrounded by the western Alpine arch, near to France and Switzerland.
The population of the urban area is estimated to be 1.7 million 
inhabitants.  The city has a rich culture and history, and is known for 
its numerous art galleries, restaurants, churches, palaces, opera 
houses, piazzas, parks, gardens, theatres, libraries, museums and other 
venues. Turin is well known for its baroque, rococo, neo-classical, and 
Art Nouveau architecture. Much of the city's public squares, castles, 
gardens and elegant palazzi such as Palazzo Madama, were built in the 
16th and 18th century, after the capital of the Duchy of Savoy (later 
Kingdom of Sardinia) was moved to Turin from Chambery (nowadays France) 
as part of the urban expansion. Prestigious and important museums, such 
as the Museo Egizio and the Mole Antonelliana are also found in the 
city. Turin's several monuments and sights make it one of the world's 
top 250 tourist destinations, and the tenth most visited city in Italy 
in 2008.




-- 
-----
http://www.di.unito.it/~paolini/

-- DipInfo Spam Engine --
Visit the following link if you are sure that this message IS SPAM
https://mailscanner.di.unito.it/SpamEngine/this_is_spam.php?id=r2Q8hWIv008018