List of job vacancies


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

Postdoctoral position in privacy / ML / formal methods at CEA List (Paris-Saclay) for end of 2018
by Thibaud Antignac, June 5, 2018

CEA List (Paris-Saclay) proposes a postdoctoral position on the topic of privacy, machine learning, and formal methods. The position will be filled as soon as possible (plan for a 3-month administrative delay).

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.

Postdoctoral Researcher in security @ Inria for the TeamPlay European project
by Olivier Zendra, March 22, 2018

Inria Rennes (Tamis team) is recruiting a Postdoctoral Researcher in computer science and engineering in security for the TeamPlay European project (2018-2020). The position is available now.

PhD Position on High-Level Synthesis of Neural Networks for FPGAs with LIFT
by Christophe Dubach, Feb. 13, 2018

We invite applications for a PhD position on the theme: High-Level Synthesis of Neural Networks for FPGAs with LIFT. This position is fully funded (for EU nationals) by a scholarship from Microsoft Research for 3.5 years which is the typical length of PhD studies. The starting date is flexible.

16 new PhD positions on Logical Methods in Computer Science affiliated with TU Wien, TU Graz and JKU Linz
by Laura Kovacs, Feb. 6, 2018

TU Wien, TU Graz, and JKU Linz are seeking exceptionally talented and motivated students for 16 PhD positions in the doctoral program on Logical Methods in Computer Science (LogiCS).
http://logic-cs.at/phd/

Applications by the candidates need to be submitted electronically via the LogiCS school's web-page.

The positions will be filled on continuous basis till October 2018.
The evaluation of applications will start on 1st of March, 2018.

« previous123...67next »