List of job vacancies - page 2

Full-time faculty position in computer science - Vrije Universiteit Brussel
by Coen De Roover, Feb. 20, 2018

The computer science department of the Vrije Universiteit Brussel is offering a full-time position as professor to reinforce its software languages and software engineering branch within the subjet area of "Static security guaranties for programming languages".

Applications should be submitted through

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

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.

ERC Funded RA (PostDoc) position in Formal Verification at University of Leicester
by Nir Piterman, Feb. 5, 2018

You will work on the ERC Consolidator funded project “dSynMA: Distributed Synthesis from Single to Multiple Agents”. The aims of the project are to develop theoretical foundations that will enable to apply reactive synthesis from temporal specifications to work for multiple agents. This includes studying two-player games and their solutions, modelling solutions for interacting agents, and studies of temporal logic.

Multiple tenure-track positions at University of Minnesota
by Eric Eric Van Wyk, Dec. 4, 2017

The Computer Science & Engineering department at the University of Minnesota has multiple open tenure-track position. We are actively seeking applicants in various areas of programming languages.

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 .

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.