List of job vacancies - page 4


Postdoc position at Colorado in data-driven program analysis with potential industrial applications
by Bor-Yuh Evan Chang, Dec. 21, 2018

The Programming Languages and Verification Group at the University of Colorado Boulder (CUPLV) is looking for exceptional candidates for a postdoctoral research associate working in the area of data-driven program analysis. This position presents a unique opportunity for potential industrial application in collaboration with GitHub.

[email protected] planck: The new Max Planck Graduate Center for Computer and Information Science
by Maria Christakis, Dec. 20, 2018

[email protected] planck is a new Max Planck wide graduate program that allows
admitted students to work with CS faculty at any Max Planck Institute
and offers them the full range of CS research and faculty in one
program.

Specifically, [email protected] planck is a highly selective doctoral program
that grants admitted students full financial support to pursue doctoral
research in the field of computer and information science, with faculty
at Max Planck Institutes and some of the best German universities.

To qualify for the program, students must hold a Bachelor’s or
Master’s degree in computer science (or a related field) and have an
outstanding academic record. We especially encourage applications
from students who wish to explore research across the CS spectrum
before committing to a topic and advisor.

For more information about [email protected] planck, see here:

https://www.cis.mpg.de/graduate-programs/cs-max-planck

For information about other doctoral programs offered by Max Planck
Institutes, see here:

https://www.cis.mpg.de/graduate-programs/

The next upcoming application deadline is December 31, 2018.

Tenure-track opening at Max Planck Institute for Software Systems (MPI-SWS)
by Maria Christakis, Nov. 8, 2018

Applications are invited for tenure-track faculty in all areas of computer science. Pending final approval, we expect to fill one position.

A doctoral degree in computer science or related areas and an outstanding research record are required. Successful candidates are expected to build a team and pursue a highly visible research agenda, both independently and in collaboration with other groups.

MPI-SWS is part of a network of over 80 Max Planck Institutes, Germany's premier basic-research organisations. MPIs have an established record of world-class, foundational research in the sciences, technology, and the humanities. The institute offers a unique environment that combines the best aspects of a university department and a research laboratory: Faculty enjoy full academic freedom, lead a team of doctoral students and post-docs, and have the opportunity to teach university courses; at the same time, they enjoy ongoing institutional funding in addition to third-party funds, a technical infrastructure unrivaled for an academic institution, as well as internationally competitive compensation.

The institute is located in the German cities of Saarbruecken and Kaiserslautern, in the tri-border area of Germany, France, and Luxembourg.
We maintain an international and diverse work environment and seek applications from outstanding researchers worldwide. The working language is English; knowledge of the German language is not required for a successful career at the institute.

Qualified candidates should apply on our application website (apply.mpi-sws.org). To receive full consideration, applications should be received by December 1st, 2018.

The institute is committed to increasing the representation of women and minorities, as well as of individuals with physical disabilities. We particularly encourage such individuals to apply. The initial tenure-track appointment is for five years; it can be extended to seven years based on a midterm evaluation in the fourth year. A permanent contract can be awarded upon a successful tenure evaluation in the sixth year.

Faculty recruitment at IIT Madras
by rupesh0508, Oct. 27, 2018

------------------------------------------------------------------------
Indian Institute of Technology Madras (IIT Madras)
Dept. of Computer Science and Engineering (www.cse.iitm.ac.in)
Chennai - 600036

Faculty openings: Assistant Professor and Professor Level
All Research areas in CSE

Application Portal: http://facapp.iitm.ac.in

Deadline: Nov. 16, 2018
------------------------------------------------------------------------

Applications are invited from individuals, with an established record
of independent, high-quality research and commitment to teaching and
research, for Assistant Professor and Professor positions in the
Department of Computer Science and Engineering at IIT Madras.

The CSE Department has currently around 30 faculty members and expects
to grow to up to 40 faculty in the next three to five years.

The Department is seeking candidates in all research areas of
CSE. Details about the Department profile, publications and related
activities are available at the website listed above.

Questions? Pl. contact Prof. Krishna M. Sivalingam ([email protected];
[email protected]; [email protected])

------------------------------------------------------------------------

-rupesh.

PhD proposal (@ ECE Paris/Télécom SudParis).
by Sebti Mouelhi, Oct. 1, 2018

Synchronous Formal Design and Verification of Cyber-Physical Systems

Postdoc and PhD positions - Center for Advanced Software Analysis, Aarhus University
by Anders Møller, Aug. 14, 2018

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

Open Positions for Ph.D. candidates and Postdocs in Information-Flow Security and Side-Channel Analysis
by mais, June 5, 2018

The chair MAIS at TU Darmstadt, led by Prof. Dr. Heiko Mantel,
is offering three positions for Ph.D. candidates and Postdocs
in the following areas:

1. information-flow analysis techniques for object-oriented
programs at the level of source code and bytecode based
on compositional and precise verification techniques
2. experimental analysis of side-channel vulnerabilities in
cryptographic implementations and generation of attacks
exploiting such vulnerabilities
3. program analysis techniques for detecting side-channel
vulnerabilities in cryptographic implementations and for
assessing the seriousness of such vulnerabilities

The positions are available immediately and applications will be
considered until the positions are taken. For more information and
how to apply, see http://www.mais.informatik.tu-darmstadt.de/Positions.html.

PhD positions in theory and practice of distributed systems at IMDEA, Madrid
by Alexey Gotsman, May 25, 2018

PhD positions in theory and practice of distributed systems, and in particular, applications of techniques from software verification and programming languages in this area.