[TYPES/announce] Post-doc position at the Department of Computer Science and Engineering - University of Bologna - Italy

[Gianluigi Zavattaro]

Dear All,

the Department of Computer Science and Engineering of the University of Bologna has 
a fellowship for a post-doctoral position on:

Formal Methods: Description and Analysis of Distributed Systems

The theme of the position is intentionally wide. In fact, the specific research topic
will be chosen according to the candidate's expertise.

The details are available at 

 https://www.aricweb.unibo.it/BandiPubblicati/zz_Bandi_din.aspx?strid=958 <https://www.aricweb.unibo.it/BandiPubblicati/zz_Bandi_din.aspx?strid=958>

- Contact for inquiries or application: 
 either Prof. Mario Bravetti (mario.bravetti at unibo.it <mailto:mario.bravetti at unibo.it>)
 or Prof. Cosimo Laneve (cosimo.laneve at unibo.it <mailto:cosimo.laneve at unibo.it>)
 or Prof. Gianluigi Zavattaro (gianluigi.zavattaro at unibo.it <mailto:gianluigi.zavattaro at unibo.it>)
- Duration: 1 year
- Starting date: Spring 2018
- Keywords: concurrent and distributed programming, formal methods, process algebra
- Location: Department of Computer Science and Engineering of University of Bologna
- Deadline for applications: Wednesday, February 07, 2018 at 13.30.

The gross salary of the research fellowship contract is € 19.367,00 per annum; while 
the net salary is € 17.220,00 per annum and it 
is exempt of withholding tax and of all statutory social security charges
the Research Fellow is subject to. Some additional income can be earned by teaching. 

The job may start in Spring 2018 and can be renewed for one year. 

The applicant must have a PhD in computer science with a background on formal methods. 
Good programming skills would be ideal, but are not necessary.

Please forward this email to possible applicants.

Best regards,
    Mario Bravetti
    Cosimo Laneve
    Gianluigi Zavattaro
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20180109/56ae7189/attachment-0001.html>