The Department of Computing Science seeks 2 postdoctoral fellowships within verifiable and explainable AI architectures or within the formal analysis of programs running in secure hardware.
The stipends is full-time for two years with starting date of June 1st 2021, or to be negotiated. The stipend amounts to 330 000 SEK per year (around 32500 euro). The stipend is not subject to tax.