[TYPES/announce] Post-doc in Paris/Lyon/Cachan: Reasoning & Programming with Infinite Data.

[Alexis Saurin PPS]

Post-doc positions on
Reasoning And Programming with Infinite Data-Objects (RAPIDO).
http://rapido.pps.univ-paris-diderot.fr
(deadline for application: june 8th)

We are opening post-doc positions (for 1 or 2 years), starting in the fall
2015. The post-doc will join the RAPIDO project, which is aimed at studyin
logical methods and tools for enhancing reasoning and programming on
infinite data.

RAPIDO is an ANR-funded project involving researchers from three french
labs: PPS (Paris), LIP (Lyon) and LSV (Cachan). The project is coordinated
by Alexis Saurin (PPS lab, saurin at pps.univ-paris-diderot.fr).

We are looking for young researchers who can contribute to the research
topics of RAPIDO: candidates should hold a PhD in computer science or a
closely related field (or be close to complete their PhD) with skills in
formal methods and logic and a strong expertise in at least one topic of
the following list.
                            *********
          automata theory, coinduction, cyclic and infinitary
          proofs, denotational semantics, functional programming,
          games and game semantics, infinitary rewriting, lazy
          evaluation, linear logic, MSO logic, proof assistants
          proof theory, realizability, streams, temporal logics.
                            *********

Since the project involves members of several french labs, the post-doc
is expected to collaborate with participants of at least two labs,
thus fostering collaborations between sites (the specific form it may
take will be discussed and defined directly with candidates).

Applications should be sent to the project coordinator by June 8th in
an email entitled "RAPIDO post-doc application", providing a detailed
CV with publication list, a research statement of at most two pages
plus bibliography, and at least two recommendation letters.

Potential candidates are strongly encouraged to contact the project
coordinator (together with other project members) for informal
enquiries as soon as possible.

More details on the project, its participants as well as the present
post-doc
positions can be found at: http://rapido.pps.univ-paris-diderot.fr.

Best,

Alexis Saurin
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.seas.upenn.edu/pipermail/types-announce/attachments/20150522/0e0df4f6/attachment-0001.html>