[TYPES/announce] Call for Scholarship Applications: PLMW at POPL 2017 - Deadline October 23

[Dimitrios Vytiniotis]

[ The Types Forum (announcements only),
 http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]

[Apologies for multiple copies, scholarship application deadline in less than 
10 days] 

>>

CALL FOR SCHOLARSHIP APPLICATIONS (Deadline: October 23!)

ACM SIGPLAN Programming Languages Mentoring Workshop, Paris, France

Tuesday, January 17, 2017

Co-located with POPL 2017

PLMW web page: http://conf.researchr.org/track/POPL-2017/PLMW-2017

After the resounding success of the first five Programming Languages Mentoring 
Workshops at POPL 2012-2016 we proudly announce the 2017 SIGPLAN Programming 
Languages Mentoring Workshop (PLMW), co-located with POPL 2017 and organised by 
Loris D'Antoni, Eva Darulova, Alexandra Silva, and Dimitrios Vytiniotis.

The purpose of this mentoring workshop is to encourage graduate students and 
senior undergraduate students to pursue careers in programming language 
research. This workshop will bring together world leaders in programming 
languages research and teaching from academia and industry to provide (a) 
technical sessions on cutting-edge PL research and (b) mentoring sessions on 
how to prepare for a research career. The workshop will engage students in a 
process of imagining how they might contribute to our research community.

We especially encourage women, underrepresented minority students, and people 
with disabilities to attend PLMW.

This workshop is part of the activities surrounding POPL, the Symposium on 
Principles of Programming Languages, and takes place the day before the main 
conference. One goal of the workshop is to make the POPL conference more 
accessible to newcomers. We hope that participants will stay through the entire 
conference.

A number of sponsors (listed below) have generously donated scholarship funds 
for qualified students to attend PLMW. These scholarships should cover 
reasonable expenses (airfare, hotel, and registration fees) for attendance at 
both the workshop and the POPL conference.

Students attending this year will get one year free student membership of 
SIGPLAN, unless they prefer to opt out during their application.

The workshop registration is open to all. Students with alternative sources of 
funding are welcome as well.

APPLICATION for PLMW scholarship:

The scholarship application can be accessed from the workshop web site.

http://conf.researchr.org/track/POPL-2017/PLMW-2017#Scholarship-applications

The deadline for full consideration of funding is SUNDAY, OCTOBER 23. Selected 
participants will be notified by NOVEMBER 20 or earlier.

Confirmed sponsors so far:
NSF
ACM SIGPLAN
Amazon
An Anonymous Donor
Jane Street Capital
Microsoft

[TYPES/announce] lecturer in cyber security vacancies -- university of southampton

[Vladimiro Sassone]

[ The Types Forum (announcements only),
 http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]

Dear all, we are looking for Cyber Security Lecturers from early career (first 
employment) onwards. Appointment at Associate Professor level possible for 
exceptional candidates. 

Salary:   £37,075 to £46,924 per annum
Full Time Permanent
Closing Date:   Sunday 30 October 2016
Reference:  787016FP

Applications are invited for two Lecturer positions within the Department of 
Electronics and Computer Science, either in the specific area of cyber security 
or more generally in Computer Science.

We are looking for highly-motivated and excellent scholars in cyber security, 
covering science and engineering of cyber security and information assurance or 
in areas of computer science that complement our existing activities.  In terms 
of cyber security, specific topics of interest include the security and privacy 
of emerging applications of the internet-of-things and cloud computing, the 
protection of cyber-physical systems, system and network security, computer 
forensics, intrusion detection, authentication systems, cyber risk and 
economics, usability and human aspects of cyber security. More generally in 
terms of computer science, topics of interest include data analytics, machine 
learning, web and internet science, interaction, complexity and agent-based 
systems, computer graphics, biometrics,software verification, formal methods, 
logics, information systems and concurrent programming.

Apply at https://jobs.soton.ac.uk/Vacancy.aspx?ref=787016FP

Regards,
\vs


professor vladimiro sassone
Roke/RAEng research chair in cyber security
cybersecurity research centre, director
university of southampton



smime.p7s
Description: S/MIME cryptographic signature

[TYPES/announce] MSR PhD Scholarship, deadline Nov 1: Machine Learning and Natural Language Processing for Types in "Big Code"

[Andy Gordon (RESEARCH)]

[ The Types Forum (announcements only),
 http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]

> 

>

> PhD studentship: Microsoft Research PhD Scholarship:

>Machine Learning and Natural Language Processing for Types in "Big Code"

>

> Supervisor:

>Charles Sutton, University of Edinburgh

>

> Apply by 1 November for full consideration.

>Later applications will still be considered if position unfilled.

>

> More information:

>

>* 
>http://www.ed.ac.uk/informatics/postgraduate/fees/research-scholarships/research-grant-funding/ms-research-phd-scholarship-machine-learning-nlp

> * http://homepages.inf.ed.ac.uk/csutton/

> * Email Charles Sutton >

>

> 

>

> Project Description

>

> The goal of this PhD studentship is to develop new machine learning

> methods to predict facts about computer programs by combining

> information from the source code with dynamic information from

> runtime. One of the most common such facts are types of variables,

> methods, etc; this information is so useful in preventing bugs that

> programming languages like C# and Java require that programs contain

> explicit annotations for the types of all program entities, even if

> the type can be deterministically inferred from other information in

> the program.

>

> But any annotation to a program comes with a cost to add the types to

> a program and maintain them. Indeed, it is the desire to reduce this

> cost has led to the popularity of non-statically typed languages such

> as Python and JavaScript. More advanced research in programming

> languages have developed rich languages for specifying more detailed

> facts about programs, such as refinement types that allow for logical

> constraints on variable values. These richer types can identify more

> subtle bugs at compile time, but they come with a correspondingly

> greater cost to add and maintain.

>

> This research project aims to obtain the benefits of rich type

> annotations at lower cost, by developing machine learning methods to

> automatically predict rich type annotations of programs that do not

> contain explicit type annotations. We will develop new methods drawing

> from probabilistic graphical models and deep learning to combine

> information from the names in a program, from dynamic analysis, and

> from the types of deterministic constraints used in traditional static

> analysis.

>

> This studentship is an opportunity to combine cutting edge research in

> machine learning, statistical natural language processing, and

> programming languages. The project will be supervised by Dr Charles

> Sutton at the University of Edinburgh, in collaboration with Dr Earl

> Barr at UCL and Prof Andrew D Gordon of Microsoft Research.

>

> During the course of their PhD, the Scholar will be invited to

> Microsoft Research in Cambridge for an annual PhD Summer School with

> talks and poster sessions, which provides an opportunity to present

> work to Microsoft researchers and Cambridge academics.

>

> What's required?

>

> The project is suitable for a student with a top MSc or first-class

> bachelor's degree in computer science, statistics, physics, or a

> related numerate discipline. Previous coursework or experience in

> machine learning, statistical natural language processing, and

> programming languages is desirable, although we do not expect students

> to have all three of these. Because of the scale of the data set

> involved, a strong programming background will be essential for this

> project.

>

> Our research group

>

> The School of Informatics at the University of Edinburgh has one of

> the largest concentrations of computer science research in Europe,

> with over 100 faculty members and 275 PhD students. The school is

> particularly strong in the three research areas most relevant to this

> project, machine learning, natural language processing, and

> programming languages. Our strength in these areas have been

> recognized by awards of EPSRC Centres for Doctoral Training in

> Pervasive Parallelism and in Data Science - this project cuts across

> the remit of these two centres. The University of Edinburgh is one of

> the founding partners of the Alan Turing Institute, the UK's national

> research institute for data science. For more information on the

> research in Dr Sutton's group, see:

> http://homepages.inf.ed.ac.uk/csutton/

>

> Initial enquiries

>

> For informal enquiries about the studentship, please contact Dr

> Charles Sutton. Formal application must be through the School's normal

> PhD application process:

> http://www.ed.ac.uk/schools-departments/informatics/postgraduate/apply

> Select the Informatics: Institute for Adaptive and Neural Computation

> research area.

>

> Application 

[TYPES/announce] PostDoc position at ITU

[Carsten Schuermann]

[ The Types Forum (announcements only),
 http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]

The IT University of Copenhagen seeks to hire outstanding researchers
at its Interdisciplinary Centre for Democracy and Technology
(DemTech).

The research will be conducted under the supervision of Carsten
Schuermann.  DemTech specializes on mathematical foundations of secure
multi-party computation, the design and analysis of cryptographic
primitives and protocols, formal languages for voting systems and
their properties, and automated tools to reason about them. DemTech
has expertise in both the symbolic and the computational styles of
protocol analysis. DemTech has established itself as a leading center
for research on trust and security in election technologies.

Your role is to work on the logical foundations of secure multi-party
distributed systems, the modelling of voting protocols, the automated
extraction of software from high-level description, and the automatic
verification of security properties, both in the symbolic and the
computational model.

A successful applicant will hold a PhD in Computer Science or Applied
Mathematics,a proven interest in reasoning systems, cryptography, or
security modelling.  Experience in cryptography will be considered an
advantage.

The appointment will will initially one year that can be extended.
You will work in an exciting international setting and participate in
a fast growing and dynamic research environment.

For inquiries please contact, Pia Kystol Sørensen (pksr@itudk) or
Carsten Schürmann (cars...@itu.dk)

The position is available now.