List of job vacancies - page 4


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.

Postdoctoral position in formal semantics and compiler verification
by DelphineDemange, Oct. 25, 2017

Postdoctoral position in formal semantics and compiler verification at IRISA/Inria Rennes (France).

Postdoc and Ph.D. Positions in Security & Concurrency with Formal Methods
by mais, July 22, 2017

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 languages

Your 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
by Oscar Nierstrasz, March 29, 2017

Applications are invited for PhD candidates at the Software Composition Group, University of Bern, Switzerland.