List of job vacancies - page 3


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.

Five Tenure-Track Faculty Positions in Computer Science at Stevens Institute
by Eric Koskinen, Dec. 14, 2018

Please see announcement below about multiple (five) tenure-track faculty positions available at Stevens Institute. Among these positions, we are soliciting applications from outstanding candidates in the areas of Programming Languages and Formal Methods.

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.

PhD student and post-doc positions at ETH Zurich: Verification of a secure Future Internet architecture
by Peter Mueller, Nov. 3, 2018

The Chairs of Information Security and Programming Methodology at ETH Zurich are recruiting PhD students and post-docs for a project on formal verification of secure networked systems.

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