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