[TYPES/announce] Postdoc position at Chalmers (2 years) in Programming Language Technology for Privacy

[David Sands]

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

Hi,


I have an opening for a postdoctoral researcher at Chalmers, with preferred 
start at the beginning of the new year.  I'm looking for someone with proven 
research skills in relevant areas of programming languages (semantics, formal 
verification, static analysis, type systems) as well as experience and 
knowledge of reasoning about probabilistic systems in general, and preferably 
within differential privacy.


Deadline for applications is December 1!


Contact me for more info.

The formal ad and application procedure is here:


https://www.chalmers.se/en/about-chalmers/Working-at-Chalmers/Vacancies/Pages/default.aspx?rmpage=job=8926=UK


Cheers

Dave


ps. The department also have an open postdoc position in "taking functional 
languages to embedded devices" which you may have missed in an earlier 
announcement by Alejandro Russo - also very relevant to the types community.


https://www.chalmers.se/en/about-chalmers/Working-at-Chalmers/Vacancies/Pages/default.aspx?rmpage=job=8918

[TYPES/announce] PhD positions in Programming Language Technology for Security and Privacy

[David Sands]

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


Chalmers University of Technology in Gothenburg, Sweden invite applications for 
PhD positions in Programming Language Technology for Security and Privacy.

We are looking for applicants with a technical background in the programming 
languages and systems research area, and who have a keen interest in applying 
and developing this technology to create new methods and tools for security and 
privacy of software and systems. You will have a good knowledge in several of 
the following areas: compiler technology, static analysis, type systems, 
programming language semantics, advanced functional programming, program 
verification.

Application deadline: October 10th, 2018. We encourage all applicants who might 
need a visa to visit Sweden to apply as soon as possible.

For details about the employment conditions and how to apply see:

http://www.chalmers.se/en/about-chalmers/Working-at-Chalmers/Vacancies/Pages/default.aspx?rmpage=job=6602=UK

[TYPES/announce] Call for Participation: 4th ACM Workshop on Formal Methods in Security Engineering (FMSE'06)

[David Sands]

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

CALL FOR PARTICIPATION

The 4th ACM Workshop on
Formal Methods in Security Engineering:
From Specifications to Code
http://www.cs.chalmers.se/~dave/FMSE06/

Friday November 3, 2006,
Johnson Center, George Mason University, Fairfax, Virginia, USA

held in conjunction with the
13th ACM Conference on Computer and Communications Security (ACM CCS'06)
http://www.acm.org/sigs/sigsac/ccs/CCS2006/

ONLINE REGISTRATION

http://www.regonline.com/Checkin.asp?EventId=107024

SCOPE

Information security has become a crucial concern for the commercial
deployment of almost all applications and middleware. Although this is
commonly recognized, the incorporation of security requirements in the
software development process is not yet well understood. The deployment
of security mechanisms is often ad hoc, without a formal security
specification or analysis, and practically always without a formal
security validation of the final product. Progress is being made, but
there remains a wide gap between high-level security models and actual
code development.

FMSE aims to bring together researchers and practitioners from both the
security and the software engineering communities, from academia and
industry, who are working on applying formal methods to the design and
validation of large-scale systems.

PROGRAM CHAIRS

Andrew D. Gordon, Microsoft Research, UK
David Sands, Chalmers University of Technology, Sweden

PROGRAM COMMITTEE

Michael Backes, Saarland University, Germany
Jason Crampton, Royal Holloway, University of London, UK
Virgil Gligor, University of Maryland, USA
Andrew D. Gordon, Microsoft Research, UK
Jean Goubault-Larrecq, CNRS and ENS, Cachan, France
Alan Jeffrey, Bell Labs, USA
Trevor Jim, ATT Research, USA
Heiko Mantel, RWTH Aachen, Germany
Riccardo Pucella, Northeastern University, USA
John Rushby, SRI, USA
Mark Ryan, University of Birmingham, UK
Pierangela Samarati, University of Milan, Italy
David Sands, Chalmers University of Technology, Sweden
Luca Viganò, ETH Zurich, Switzerland
Steve Zdancewic, University of Pennsylvania, USA

FMSE STEERING COMMITTEE

Michael Backes, Saarland University, Germany
David Basin, ETH Zurich, Switzerland
Michael Waidner, IBM Zurich Research Lab, Switzerland

INVITED TALKS

Searching for shapes
Joshua Guttman, Mitre Corporation, USA

Encoding Information Flow in Haskell
Steve Zdancevic, University of Pennsylvania, USA

CONTRIBUTED PAPERS

Securing the Drop-Box Architecture for Assisted Living
Michael J. May, Wook Shin, Carl A. Gunter and Insup Lee

P-Congruences as Non-Interference for the pi-calculus
Silvia Crafa and Sabina Rossi

An Intruder Model for Verifying Liveness in Security Protocols
Jan Cederquist and Muhammad Torabi Dashti

Secure Information Flow with Random Assignment and Encryption
Geoffrey Smith and Rafael Alpizar

Defeasible Security Policy Composition for Web Services
Adam J. Lee, Jodie Boyer, Lars E. Olson and Carl A. Gunter

NETRA: Seeing Through Access Control
Prasad Naldurg, Stefan Schwoon, Sriram Rajamani and John Lambert

Bridging the Gap Between Web Application Firewalls and Web Applications
Lieven Desmet, Frank Piessens, Wouter Joosen and Pierre Verbaeten