{"id":112,"date":"2013-01-29T21:23:19","date_gmt":"2013-01-29T20:23:19","guid":{"rendered":"http:\/\/sites.google.com\/feeds\/content\/site\/tcsunica\/2486464641867371933"},"modified":"2013-11-22T15:41:25","modified_gmt":"2013-11-22T14:41:25","slug":"two-postdoc-positions","status":"publish","type":"post","link":"https:\/\/dottorati.unica.it\/matematicaeinformatica\/2013\/01\/29\/two-postdoc-positions\/","title":{"rendered":"Two postdoc positions"},"content":{"rendered":"
\n\n\n\n
\n
The
\n Trustworthy Computational Societies research group (TCS) of the
\nUniversity of Cagliari \u00a0is looking for two post-docs to join our ongoing
\n projects.<\/p>\n

We seek
\napplicants with strong interest in some of the following topics:
\nprogramming language design and implementation, concurrency theory,
\nprogram analysis and verification, and security foundations. The
\nsuccessful candidates will in work in the TCS group at the Department of
\n Mathematics and Computer Science, University of Cagliari (Italy).<\/span><\/p>\n

The
\n scientific core of the group is the development of formal methods for
\nsecurity of concurrent and distributed systems, and the experimentation
\nof these methods through actual implementations. The team is composed by
\n both researchers in the fields of security and concurrency theory
\n(process algebras, semantics and types for concurrency, linear logic)
\nand developers. A detailed presentation of the research group TCS can be
\n found at the website <\/span>tcs.unica.it<\/span><\/a>.
<\/span>
Positions<\/span>: 2 positions, each of 2 years and renewable for another year<\/span><\/p>\n

Gross salary<\/span>: ~23K EU \/ year<\/span>

<\/span>Requisites<\/span>:
\n applicants must hold a PhD in Computer Science, Mathematics or related
\ndiscipline, and must produce evidence of expertise on the
\nabove-mentioned topics. The PhD degree must have been obtained not later
\n than 10 years before the postdoc starts.<\/span><\/p>\n

Starting date<\/span>: may 2013 (with possibility of delaying until sept. on candidate request)<\/span><\/p>\n

Location<\/span>:
\n Cagliari is located on the southern coast of Sardinia, the second
\nlargest island in the Mediterranean see. The Cagliari airport is only
\n15\u2019 from the city centre, and it is connected with >70 <\/span>direct flights<\/span><\/a>
\n (many of which are low-cost Ryanair flights) to Italy and Europe. The
\nclimate is Mediterranean, with mild winters (average temp. 16.4C) and
\nmany sunny days (~300 days\/year without precipitation). The main beach, <\/span>Poetto<\/span><\/a>, is only 10\u2019 from the city centre. The Department of Mathematics and Computer Science is hosted in the <\/span>Palazzo delle Scienze<\/span><\/a>, located on top of a hill nearby the historical area of Castello.<\/span>

Inquires may be made to Massimo Bartoletti, <\/span>bart@unica.it<\/span><\/a>.
<\/span>
<\/font><\/span><\/div>\n<\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n<\/div>\n","protected":false},"excerpt":{"rendered":"\n\n\n
\n
The
\n Trustworthy Computational Societies research group (TCS) of the
\nUniversity of Cagliari  is looking for two post-docs to join our ongoing
\n projects.<\/p>\n

We seek
\napplicants with strong interest in some of the following topics:
\nprogramming language design and implementation, concurrency theory,
\nprogram analysis and verification, and security foundations. The
\nsuccessful candidates will in work in the TCS group at the Department of
\n Mathematics and Computer Science, University of Cagliari (Italy).<\/span><\/p>\n

The
\n scientific core of the group is the development of formal methods for
\nsecurity of concurrent and distributed systems, and the experimentation
\nof these methods through actual implementations. The team is composed by
\n both researchers in the fields of security and concurrency theory
\n(process algebras, semantics and types for concurrency, linear logic)
\nand developers. A detailed presentation of the research group TCS can be
\n found at the website <\/span>tcs.unica.it<\/span><\/a>.
<\/span>
Positions<\/span>: 2 positions, each of 2 years and renewable for another year<\/span><\/p>\n

Gross salary<\/span>: ~23K EU \/ year<\/span>

<\/span>Requisites<\/span>:
\n applicants must hold a PhD in Computer Science, Mathematics or related
\ndiscipline, and must produce evidence of expertise on the
\nabove-mentioned topics. The PhD degree must have been obtained not later
\n than 10 years before the postdoc starts.<\/span><\/p>\n

Starting date<\/span>: may 2013 (with possibility of delaying until sept. on candidate request)<\/span><\/p>\n

Location<\/span>:
\n Cagliari is located on the southern coast of Sardinia, the second
\nlargest island in the Mediterranean see. The Cagliari airport is only
\n15’ from the city centre, and it is connected with >70 <\/span>direct flights<\/span><\/a>
\n (many of which are low-cost Ryanair flights) to Italy and Europe. The
\nclimate is Mediterranean, with mild winters (average temp. 16.4C) and
\nmany sunny days (~300 days\/year without precipitation). The main beach, <\/span>Poetto<\/span><\/a>, is only 10’ from the city centre. The Department of Mathematics and Computer Science is hosted in the <\/span>Palazzo delle Scienze<\/span><\/a>, located on top of a hill nearby the historical area of Castello.<\/span>

Inquires may be made to Massimo Bartoletti, <\/span>bart@unica.it<\/span><\/a>.
<\/span>
<\/span><\/div>\n<\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n","protected":false},"author":1325,"featured_media":0,"comment_status":"closed","ping_status":"closed","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[13,2],"tags":[],"class_list":["post-112","post","type-post","status-publish","format-standard","hentry","category-httpschemas-google-comsites2008announcement","category-news","category-13-id","category-2-id","post-seq-1","post-parity-odd","meta-position-corners","fix"],"_links":{"self":[{"href":"https:\/\/dottorati.unica.it\/matematicaeinformatica\/wp-json\/wp\/v2\/posts\/112","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/dottorati.unica.it\/matematicaeinformatica\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/dottorati.unica.it\/matematicaeinformatica\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/dottorati.unica.it\/matematicaeinformatica\/wp-json\/wp\/v2\/users\/1325"}],"replies":[{"embeddable":true,"href":"https:\/\/dottorati.unica.it\/matematicaeinformatica\/wp-json\/wp\/v2\/comments?post=112"}],"version-history":[{"count":2,"href":"https:\/\/dottorati.unica.it\/matematicaeinformatica\/wp-json\/wp\/v2\/posts\/112\/revisions"}],"predecessor-version":[{"id":151,"href":"https:\/\/dottorati.unica.it\/matematicaeinformatica\/wp-json\/wp\/v2\/posts\/112\/revisions\/151"}],"wp:attachment":[{"href":"https:\/\/dottorati.unica.it\/matematicaeinformatica\/wp-json\/wp\/v2\/media?parent=112"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/dottorati.unica.it\/matematicaeinformatica\/wp-json\/wp\/v2\/categories?post=112"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/dottorati.unica.it\/matematicaeinformatica\/wp-json\/wp\/v2\/tags?post=112"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}