Friday, June 22, 2018

PhD positions at IMT Lucca, Italy

I have been asked to distribute the appended call for applications for PhD positions at IMT Lucca, which, as readers of this (lately rather inactive) blog might recall, is one of the Italian institutions close to my heart. If you have some strong student looking for a PhD position or you would like to embark in PhD studies yourself in one of the research areas covered at IMT Lucca, do consider this excellent opportunity. Lucca is a lovely town in Tuscany and has a very high quality of life. This (by now somewhat dated) video gives a good introduction to IMT Lucca.
UPCOMING DEADLINE: August 3rd, 2018 at 12:00 pm CEST

MORE INFORMATION: http://phd.imtlucca.it
We are pleased to inform you about the IMT School for Advanced Studies Lucca's two PhD Programs and their specialized tracks

Cognitive and Cultural Systems PhD Program
  • - Analysis and Management of Cultural Heritage (AMCH)
  • - Cognitive, Computational and Social Neurosciences (CCSN)
Systems Science PhD Program
  • - Computer Science and Systems Engineering (CSSE)
  • - Economics, Networks and Business Analytics (ENBA)
  • No tuition fees, free room and access to IMT Canteen
  • A grant of €15,300 gross/year
Candidates can apply if they obtain their (minimum) 4-year undergraduate degree NO LATER than October 31st, 2018

Tuesday, April 17, 2018

Child care at STOC 2018

Ilias Diakonikolas and David Kempe (STOC 2018 Local Arrangements Chairs) have asked me to post the following announcement, which will be of interest to potential STOC 2018 participants. Kudos to the STOC 2018 local arrangement chairs for organizing the first STOC providing subsidized, pooled childcare.

We are pleased to announce that we will provide pooled, subsidized child care at STOC 2018. The cost will be $40 per day per child for regular conference attendees, and $20 per day per child for students. For more detailed information, including how to register for STOC 2018 childcare, see

http://acm-stoc.org/stoc2018/childcare.html

Ilias Diakonikolas and David Kempe (local arrangements chairs)

Friday, April 06, 2018

ERC Advanced Grants to TCS Researchers

The ERC has announced the latest batch of ERC Advanced Grant recipients. The list of TCS and cryptography researchers who have been honoured with this prestigious accolade includes Peter B├╝rgisser (hat tip to Artur Czumaj), Jean-Sebastien Coron, Joan Daemen, Herbert Edelsbrunner, Javier Esparza, Joost-Pieter Katoen, Stefano Leonardi and Peter Sewell. Congratulations to all of the grant recipients!

Feel free to suggest additions to the list in the comments section.



Thursday, April 05, 2018

Eight four-year PhD positions in Computer Science at the Gran Sasso Science Institute

The Gran Sasso Science Institute (GSSI), based in l’Aquila, Italy, has just issued a call for eight four-year PhD positions in Computer Science. The yearly amount of the scholarship is of € 16,159.91 gross. (An additional 50% on monthly basis may be awarded for research period abroad if approved by the GSSI.) In addition, the following facilities and benefits apply:
• all PhD students will have free accommodation at the GSSI guest house and, starting from the second year, another accommodation or a financial substitute of 350,00 Euros gross/month (to obtain the contribution, the students would have to present a rental agreement in L’Aquila);
• all PhD students will have free luncheon vouchers (1 per day, working days, except school closures, missions, other situations contemplated by the GSSI rules);
• all PhD students will have tuition fees waived;
• all PhD students will be covered by insurance against any accident and/or injury that may occur while carrying out their PhD activities.

For further details see the call for applications at

http://www.gssi.infn.it/phd/docs/2018/CallPhDXXXIV.pdf.

The deadline for applications is the 20th of June, 2018, at 6 pm (Italian time zone).


Friday, February 23, 2018

Ful professorship at Aalborg University

I have been asked to advertise this full professor position at Aalborg University.  For what it may worth, I strongly recommend CS@Aalborg as I working place. 

FULL PROFESSORSHIP AT AALBORG UNIVERSITY
At the Technical Faculty of IT and Design, Department of Computer Science, a permanent Full Professorship in Computer Science is open for appointment starting August 1, 2018 or soon thereafter. The position is enabled by a generous grant from the Poul Due Jensen Foundation and supports the focus areas “Internet of Things and Cyber-Physical Systems” and “Big Data and Artificial Intelligence”.
APPLICATION DEADLINE
Mon Apr 02 00:00:00 CEST 2018
JOB DESCRIPTION
The objective of the position is to strengthen the department’s activities on combining theory and applications in the area of distributed, embedded, and intelligent systems.  Here, current research and teaching span topics such as semantic theories; algorithms and tools for verification and validation; model-driven development, analysis and optimization; and probabilistic models and algorithms for decision making and machine learning.
The position includes funding to recruit an assistant researcher within the research field of the professorship. The assistant researcher position is for four man-years and is funded by the Poul Due Jensen Foundation.
The formal announcement including information about qualification requirements may be found at http://www.stillinger.aau.dk/vis-stilling/?vacancy=953383
You may obtain further professional information from Professor Kim Guldstrand Larsen, phone +45 2217 1159, email: kgl@cs.aau.dk
Cs at aalborg university
The Department of Computer Science at Aalborg University is ranked #1 in Denmark according to the Leiden Ranking.
The research at the department features a broad range of synergistic activities within research and education in the general area of computer science, including curiosity-driven research and targeted research in collaboration with industrial partners, as well as traditional university education, with a unique problem- and project-based focus, and continued education and knowledge dissemination. For more information see www.cs.aau.dk.

Tuesday, February 06, 2018

Noam Nisan receives the EATCS Award 2018

I just saw that the EATCS Awards Committee consisting of Artur Czumaj, Christos Papadimitriou and Jean-Eric Pin (chair) has selected  Noam Nisan as the recipient of the EATCS Award 2018 "for his decisive influence on a range of areas in computational complexity theory and for algorithmic mechanism design, an elegant and rigorous computational theory that aptly informs economics."

The laudatio for the award, which will be presented to Noam at ICALP 2018 in Prague, is available here. Congratulations to Noam!

Friday, January 19, 2018

Most Influential POPL Paper Award 2018: "Multiparty asynchronous session types" by Kohei Honda, Nobuko Yoshida and Marco Carbone

I heard the great news that the paper Multiparty asynchronous session types by the late Kohei Honda, Nobuko Yoshida and Marco Carbone has received the Most Influential POPL Paper Award 2018. See


This award is given annually to the author(s) of a paper presented at the Symposium on Principles of Programming Languages (POPL) held 10 years prior to the award year. The papers are judged by their influence over the past decade.

The citation for the award is available from the above-mentioned web page, but I repeat it here for ease of reference:

Session types are a type-based framework for codifying communication structures and verifying protocols in concurrent, message-passing programs. Previously, session types could only model binary (two-party) protocols. This paper generalizes the theory to the multiparty case with asynchronous communications, preventing deadlock and communication errors in more sophisticated communication protocols involving any number (two or more) of participants. The central idea was to introduce global types, which describe multiparty conversations from a global perspective and provide a means to check protocol compliance. This work has inspired numerous authors to build on its pioneering foundations in the session types community and has initiated many applications of multiparty session types in programming languages and tools. It has also influenced other areas of research, such as software contracts, runtime verification and hardware specifications.

Congratulations to the authors of the paper and to the concurrency community at large, whose work over the last ten years contributed to this award and, most importantly, to significant scientific advances that are now embodied in programming languages and tools that are already having practical impact (see the work with Cognizant, Red Hat, and VMWare on Scribble, and with the OOI), and that I believe will find increasing application in years to come.