[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
-----------------------------------------------------------------------
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
