* postdoc offer in Paris
@ 2014-01-27 15:23 Pierre-Louis Curien
0 siblings, 0 replies; 2+ messages in thread
From: Pierre-Louis Curien @ 2014-01-27 15:23 UTC (permalink / raw)
To: categories, ALGTOP-L
One postdoc position is available in the ANR-NSFC project LOCALI
* Location:
Preuves, Programmes et Systemes laboratory (PPS)
University Paris Diderot - Paris 7
* Description:
http://www.pps.univ-paris-diderot.fr/postdoc-locali
This is a pure research position without teaching duties, open to young
researchers owning a PhD degree. The scientific activity will take place
within the LOCALI French-Chinese ANR-NSFC project. The candidate is
expected to submit a research project connected to at least one of the
following topics:
- operational and denotational semantics of functional languages and
their extensions
- Linear Logic and its extensions
- Process Algebras, logics of processes, co-inductive techniques
- algebraic and topological methods in Rewriting Theory or Type Theory.
* Local project members
The local members of the project LOCALI are: Antonio Bucciarelli,
Pierre-Louis Curien and Thomas Ehrhard. They will be the main
interlocutors of the recruited postdoctoral researcher.
* Important dates:
Duration: one year
Starting date: between September 1st and December 31st, 2014
Application deadline: February 28th, 2014
Notification: before March 31st, 2014
* Salary:
Take-home pay is around 2000 Euro per month.
* Application:
Please send, before the application deadline, the following documents:
- CV
- publication list
- description of past research activities
- postdoctoral research project
- supporting letters (not mandatory)
by email (PDF files) to the following address:
postdoc-locali@pps.univ-paris-diderot.fr
Description of the projet LOCALI:
http://www.agence-nationale-recherche.fr/projet-anr/?tx_lwmsuivibilan_pi2[CODE]=ANR-11-IS02-0002
[For admin and other information see: http://www.mta.ca/~cat-dist/ ]
^ permalink raw reply [flat|nested] 2+ messages in thread
* postdoc offer in Paris
@ 2014-01-27 15:23 Pierre-Louis Curien
0 siblings, 0 replies; 2+ messages in thread
From: Pierre-Louis Curien @ 2014-01-27 15:23 UTC (permalink / raw)
To: categories-59hdLBrVOVU, ALGTOP-L-wE+tr93vHrabo6XCN/16Dg
Cc: ehrhard-InGYJPFgxhmQrp73wey5nH9PKDog5E0sUBSOeVevoDU
One postdoc position is available in the ANR-NSFC project LOCALI
* Location:
Preuves, Programmes et Systemes laboratory (PPS)
University Paris Diderot - Paris 7
* Description:
http://www.pps.univ-paris-diderot.fr/postdoc-locali
This is a pure research position without teaching duties, open to young
researchers owning a PhD degree. The scientific activity will take place
within the LOCALI French-Chinese ANR-NSFC project. The candidate is
expected to submit a research project connected to at least one of the
following topics:
- operational and denotational semantics of functional languages and
their extensions
- Linear Logic and its extensions
- Process Algebras, logics of processes, co-inductive techniques
- algebraic and topological methods in Rewriting Theory or Type Theory.
* Local project members
The local members of the project LOCALI are: Antonio Bucciarelli,
Pierre-Louis Curien and Thomas Ehrhard. They will be the main
interlocutors of the recruited postdoctoral researcher.
* Important dates:
Duration: one year
Starting date: between September 1st and December 31st, 2014
Application deadline: February 28th, 2014
Notification: before March 31st, 2014
* Salary:
Take-home pay is around 2000 Euro per month.
* Application:
Please send, before the application deadline, the following documents:
- CV
- publication list
- description of past research activities
- postdoctoral research project
- supporting letters (not mandatory)
by email (PDF files) to the following address:
postdoc-locali-InGYJPFgxhmQrp73wey5nH9PKDog5E0sUBSOeVevoDU@public.gmane.org
Description of the projet LOCALI:
http://www.agence-nationale-recherche.fr/projet-anr/?tx_lwmsuivibilan_pi2[CODE]=ANR-11-IS02-0002
^ permalink raw reply [flat|nested] 2+ messages in thread
end of thread, other threads:[~2014-01-27 15:23 UTC | newest]
Thread overview: 2+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2014-01-27 15:23 postdoc offer in Paris Pierre-Louis Curien
-- strict thread matches above, loose matches on Subject: below --
2014-01-27 15:23 Pierre-Louis Curien
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).