[TYPES/announce] Postdoc Fellowship at the University of Bologna - Call for Expressions of Interest
Ugo Dal Lago
ugo.dallago at unibo.it
Wed May 14 09:48:37 EDT 2025
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
ugo.dallago at unibo.it<mailto:ugo.dallago at unibo.it>
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$
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20250514/645f2d24/attachment.htm>
More information about the Types-announce
mailing list