[TYPES/announce] Post-doc position in the Inria Gallinette team in Nantes

[Guilhem Jaber]

This is an announcement for a postdoctoral position in the CANofGAS project (Cost ANalysis of GAme Semantics), led by Beniamino Accattoli (Inria Saclay, PARTOUT team) and Guilhem Jaber (Nantes Université, Gallinette team).

We seek candidates holding a PhD in Computer Science or Mathematics, and with expertise in programming language semantics, λ-calculi, type theory, functional programming, rewriting systems, category theory, or program logic.

The successful candidate will be employed by Inria and work in the Gallinette team (https://urldefense.com/v3/__https://gallinette.inria.fr__;!!IBzWLUs!RnxFfPiuykqGSx5_LedGB9U2A9QyZhmSJnkImc_DnLg7GT5mYBUK-5ko0wfn0r8K0GmB-YjpQx6WLFAMHtHnZWaxcXapz7C2nwpJ-t4$  <https://urldefense.com/v3/__https://gallinette.inria.fr/__;!!IBzWLUs!RnxFfPiuykqGSx5_LedGB9U2A9QyZhmSJnkImc_DnLg7GT5mYBUK-5ko0wfn0r8K0GmB-YjpQx6WLFAMHtHnZWaxcXapz7C2E-1tx68$ >), at Nantes University. The position is for one year, renewable for a second year. The salary is ~2200€/month after taxes. The working language can either be English or French.


Application process:
- Deadline for applications is on December 30th 2022, with a starting date in March of 2022, to be negotiated.
- Candidates can send their application to Beniamino Accattoli (beniamino.accattoli at inria.fr <mailto:beniamino.accattoli at inria.fr>) and Guilhem Jaber (guilhem.jaber at inria.fr <mailto:guilhem.jaber at inria.fr>) with a subject containing “[CANofGAS post-doc application]”. Do not hesitate to send an email with any questions relevant to this position before the deadline. 
- The application should contain a CV, a brief research statement (1-2 pages) & at least two contacts of reference persons.

Project summary
The CANofGAS project is funded by the Inria Exploratory Action, started in September 2022 and running until the end of 2025. It aims at capturing the time and space cost of the evaluation of higher-order programs at the semantic level. The directions we plan to explore are using the advances in reasonable cost models to develop a cost-based understanding of game semantics. In particular, we aim at modelling the efficient call-by-need evaluation scheme, at work for instance in the Haskell language and in the Coq proof assistant.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20221209/2f0faa63/attachment-0001.htm>