List of job vacancies - page 2


Business developer in the field of software technologies for next-generation ICT platforms
by Coen De Roover, Oct. 22, 2018

The Software Languages Lab (http://soft.vub.ac.be/) of the Vrije Universiteit Brussel (http://www.vub.ac.be) is hiring a business developer to
- help grow and sustain its portfolio of applied research projects in collaboration with industry (i.e., R&D projects).
- help grow and sustain its portfolio a portfolio of Contract Research with industry.

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

Synchronous Formal Design and Verification of Cyber-Physical Systems

PhD and post-doc positions ETH Zurich
by Peter Mueller, Sept. 3, 2018


The Chair of Programming Methodology at ETH Zurich is recruiting PhD students and post-docs for several projects on program verification and static program analysis for program correctness and security.

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

Research Scientist, Critical Software Systems
by Phil Harris, June 8, 2018

UTRCI seeks candidates with expertise in software development for critical systems, to join their Networks & Embedded Systems group in Cork, Ireland.
Apply online at https://jobs.utrc.utc.com/job/cork/utrci-research-scientist-critical-software-systems/1739/8207168

Research Scientist, Embedded Systems
by Phil Harris, June 8, 2018

UTRCI seeks candidates with a research background in Real Time and Embedded Systems for applications across aerospace, smart buildings, and distributed energy systems to join their Networks & Embedded Systems group in Cork, Ireland. The successful candidate will be able to demonstrate a strong mix of academic background and applied experience in heterogeneous or multicore systems, mixed criticality and, real-time operating systems.
Apply online at https://jobs.utrc.utc.com/job/cork/utrci-research-scientist-embedded-systems/1739/6900536

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 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.