List of job vacancies - page 7
- Postdoctoral position in formal semantics and compiler verification
Postdoctoral position in formal semantics and compiler verification at IRISA/Inria Rennes (France).
- Postdoc and Ph.D. Positions in Security & Concurrency with Formal Methods
The Chair MAIS at TU Darmstadt, led by Heiko Mantel, is offering
multiple Postdoc and Ph.D. positions. We are looking for
researchers who are interested in addressing foundational problems
that will be of practical relevance or in addressing practical
problems based on formal methods. The research focus shall be on
software security, concurrency, or their combination.The research focus shall be on one of the following topics:
- modular reasoning about information-flow security
- sound program analysis under relaxed consistency guarantees
- sound re-engineering of code for more parallelism
- definition of security requirements and security policy languagesYour research shall be based on solid theoretical foundations and
could result, e.g., in foundational insights, in program analysis
and transformation techniques, in tools that are reliable and
efficient, in instructive case studies, or in verified critical
software systems.For more information about the positions, about the four research
topics and about how to apply, see
http://www.mais.informatik.tu-darmstadt.de/Positions.html .- Call for PhD candidates in the Software Composition Group, U Bern
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
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.
- Postdoc positions - Center for Advanced Software Analysis, Aarhus University
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
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
Funded by an ERC grant "A Rigorous Approach to Consistency in Cloud Databases"
- Postdoc position in verification at IMDEA, Madrid
3-year postdoc position in the area of reasoning about distributed systems
