[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