List of job vacancies - page 2

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"

Postdoc position in verification at IMDEA, Madrid
by gotsman, June 29, 2016

3-year postdoc position in the area of reasoning about distributed systems

3 PhD positions at INRIA Grenoble, France
by fradet, May 25, 2016

Three PhDs in Grenoble, France.

Good background in formal methods expected.

Starting date : October 2016 (Sept. or Dec. also possible)

2 PhD positions in software engineering at Eindhoven University of Technology (The Netherlands)
by Alexander Serebrenik, April 11, 2016

Eindhoven University of Technology is looking for great candidates for two PhD positions in the area of software engineering/software evolution.

15 vacancies at Eindhoven University of Technology M&CS department
by Erik Scheffers, March 24, 2016

The Department of Mathematics and Computer Science (M&CS) of Eindhoven University of Technology (TU/e) is looking for 14 ambitious assistant professors and a full professor Database
Technology with a passion for research and education.