[TYPES/announce] Postdoc Fellowship at the University of Bologna - Call for Expressions of Interest

[Ugo Dal Lago]

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>