List of job vacancies
- Postdoctoral position
Applications are invited for one postdoctoral position at the DisCoVeri Group. This group is part of the Department of Computer Science and Engineering of York University in Toronto, Canada. Its members carry out research in the areas of distributed computing, concurrency and verification.
- PhD positions in Data Mining and Security at Chalmers, Sweden
PhD student position at Chalmers University of Technology, Sweden
Privacy and Security Issues in Data Mining
Application deadline: 29 Feb 2012- Postdoc Research Bursary in Software Science and Formal Methods
The Research Group for Software Science and Formal Methods (SSFM) at the Department of Computer Science of the University of Pretoria (South Africa) is seeking a strong candidate for a Postdoc Research Bursary in the research field of SSFM.
- PhD Positions at ETH Zurich
The Chair of Programming Methodology at ETH Zurich is recruiting PhD students in the following areas: static program analysis, verification of concurrent programs, programming languages, programming environments.
- Postdoc position on accountability and privacy at INRIA (France, Lyon)
We are looking for a researcher with skills in formal and semi-formal methods in general (formal specification, verification, software design, model design, etc.) and their applications to concrete problems.
Accountability is a highly desirable property of systems involving components hosted on different sites in which one party typically has to rely on the actions taken remotely by another party. It involves the production of reliable evidence of the actions of the different parties and the analysis of potential breaches of their commitments.
The objectives of the postdoc proposal are twofold: (1) on the formal side, to provide foundations for accountability that can be used to reason about accountability properties and (2) on the practical side, to define an accountability API and a methodology for the design of accountable and privacy-preserving systems.The position is for a minimum of one year.
- 2 faculty positions at University of Minnesota
The Department of Computer Science and Engineering at the University of Minnesota – Twin Cities invites applications from outstanding candidates in all areas of Computer Science for two faculty positions at the rank of Assistant Professor, although exceptional candidates for more senior positions will be considered. We strongly encourage applications from women and members of minority groups.
A complete description of the positions and application instructions are available here:
http://www.cs.umn.edu/resources/employment/faculty.php- PhD position at Inria Grenoble - Rhone-Alpes and LIG (France)
The VASY team of Inria Grenoble - Rhone-Alpes and LIG (Laboratoire
d'informatique de Grenoble) seeks a PhD candidate. More information at:http://vasy.inria.fr/jobs/2011c.html
- PhD positions at the University of Lugano (USI)
Fully-funded PhD Positions
The Lugano Language Lab is currently looking for talented and enthusiastic PhD students to work on Foundations and Implementation of Compiler Extensions. Positions include a competitive salary and generous support for conference travel and equipment.
If you are interested in one of our positions or for more information please visit http://inf.usi.ch/nystrom/ext-positions.htm or email nate.nystrom@usi.ch.
