List of job vacancies - page 2


Postdoc (PhD) position @ MPI-SWS in software verification and approximate computing
by Eva Darulova, July 11, 2017

Postdoc position at the Max Planck Institute for Software Systems in Germany. Outstanding students can also be considered for a PhD position. Application deadline 15 September or until the position is filled.

post-doc position: statistical verification of distributed programs
by Stephan Merz, July 6, 2017

Post-doctoral position at Inria on statistical verification of distributed programs within SimGrid

Call for PhD candidates in the Software Composition Group, U Bern
by Oscar Nierstrasz, March 29, 2017

Applications are invited for PhD candidates at the Software Composition Group, University of Bern, Switzerland.

PhD studentship: High level programming of data and pipelined parallel image processing on heterogeneous platforms
by Greg Michaelson, March 21, 2017

The EPSRC Centre for Doctoral Training in Embedded Intelligence at Heriot-Watt University is offering a fully-funded PhD studentship to UK/EU applicants co-sponsored by Codeplay.

PhD positions @ETH
by Peter Mueller, Dec. 5, 2016

The Chair of Programming Methodology at ETH Zurich is looking for excellent candidates for newly-opened PhD positions. The project will investigate the question of how to connect modern capability-based type systems (such as that employed by the Rust programming language), and formal program reasoning techniques, in order to develop a new kind of lightweight verification tool specifically targeted at enabling everyday programmers to reason about the correctness of their code.

Postdoc positions - Center for Advanced Software Analysis, Aarhus University
by Anders Møller, Nov. 15, 2016

Several postdoc positions are available at the Center for Advanced Software Analysis at Aarhus University

Assistant/Associate/Professor, Tenure-track, Multiple positions at NAU - SICCS
by Frederic Loulergue, Nov. 8, 2016

The School of Informatics, Computing, and Cyber Systems at Northern Arizona University brings together expertise in computer science, electrical engineering, eco/environmental informatics, and bio/health informatics.

Exceptional candidates or coordinated group applications for highly desirable cluster hires in all SICCS areas are encouraged to apply. Specific areas of interest include:

·Cybersecurity, including trustworthy systems, data provenance, attack awareness, next-generation defensive measures, mobile and cloud security, and usable security;

·Heterogeneous and reconfigurable systems, including computational architectures and microarchitectures, hardware generation, software engineering methods, distributed and decentralized systems, virtualization, self-* systems and frameworks, and machine learning and inference;

·Cyber-physical systems, including large-scale wireless and sensor/actuator networks, decentralized architectures, and edge and ubiquitous computing;

·Big Data, data science, and supporting systems and architectures, including data mining, high-performance, networked, and cloud computing and storage, natural language processing, and data visualization.

Minimum qualifications include a PhD or equivalent degree in an area of interest by August 14, 2017. See details at nau.edu/Human-Resources/Careers/Faculty-and-Administrator-Openings under Job ID 602746.

PhD and Postdoc positions at IMDEA, Madrid
by gotsman, Sept. 9, 2016

Funded by an ERC grant "A Rigorous Approach to Consistency in Cloud Databases"