List of job vacancies - page 2

PhD/Postdoc positions at ETH Zurich
by Markus Püschel, April 25, 2017

Program generation for performance in machine learning and other mathematical domains. Excellent working conditions and environment.

Postdoctoral position in machine learning + formal methods at Rice University
by Swarat Chaudhuri, March 30, 2017

The Computer-Aided Programming group at Rice University is looking to hire a postdoctoral researcher for work at the interface of formal methods and statistical machine learning. The postdoc will work with Prof. Swarat Chaudhuri (a PL/FM expert) and Prof. Chris Jermaine (a database/data mining expert). The position is open now, and we will accept applications until it is filled.

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 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"