[TYPES/announce] Open PhD position : Type systems for resource analysis

[Flavien Breuvart]

Dear colleagues,

We are looking for a PhD candidate to work on the CoGITARe ANR-JCJC 
Project (https://lipn.univ-paris13.fr/~breuvart/CoGITARe) which intends 
to study the analysis of resources for functional programming languages 
via the inference of non-standard type systems. The student will be 
supervised by Flavien Breuvart and Damiano Mazza in the laboratory LIPN 
of the University Paris 13.

More detailed are displayed in the attached description.

Any student with taste for at least one of the major theories involved 
(type theory, abstract interpretation and denotational semantics) is 
welcome to candidate.

Deadline for applications: August 15th 2019

We would be grateful if you could bring this opportunity to the 
attention of suitable candidates. Thank you very much in advance for 
your help.

Best regards,

Flavien Breuvart
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20190709/c00c738a/attachment-0001.html>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: PhDCoGITARe.pdf
Type: application/pdf
Size: 130062 bytes
Desc: not available
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20190709/c00c738a/attachment-0001.pdf>