[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
Hi.
I am looking for a researcher interested in working on one (or more) of the
following:
+ Resource analysis of quantum circuit description programs
+ Complexity-aware calculi for computational cryptography
+ Differential semantics of programming langauges
The postdoc fellowship is for two years and must start by the end of 2025. The
supervisor will be Ugo Dal Lago.
Those interested are kindly requested to write to
[email protected]<mailto:[email protected]>
no later than June 15, 2025. Any requests for clarification can be directed to
the same address.
Best regards,
Ugo Dal Lago.
University of Bologna
https://urldefense.com/v3/__http://udallago.github.io/__;!!IBzWLUs!QtzV0BUCsjpvBNo8YThssOR-2pnRPogWhPGywSOYXXwWcZq67EGE6Zg7Ffy7hhME6ztk5wjNoB4wgv70wffHVivvKWBDsyjimEIz$
