List of job vacancies - page 2

Post-Doctoral Position on Software Security at Uppsala University
by Bengt Jonsson, June 5, 2021

Research Scope:
is on detecting, removing, and preventing security vulnerabilities in software, using techniques including (but not limited to) program analysis, verification, symbolic execution, protocol testing, fuzzing, taint analysis, and model learning.

PhD student and post-doc positions in Program Verification at ETH Zurich
by Peter Mueller, May 28, 2021

The Programming Methodology group ( at ETH Zurich is recruiting PhD students and post-docs in the area of program verification. We are especially interested in strengthening our teams working on Rust verification and Go verification. Our goal is to develop verification techniques and tools that can be used to prove correctness and security of advanced systems.

PhD Position on Systematic Software Language Engineering at University of Stuttgart
by Andreas Wortmann, May 21, 2021

PhD Student Vacancy in the research area of Systematic Software Language Engineering at the Institute for Control Engineering of Machine Tools and Manufacturing Units (ISW) of the University of Stuttgart

Postdoctoral Fellowships in IT
by Daniel Kontowski, April 14, 2021

The School of Advanced Studies invites applications for postdoctoral positions for the 2021-2022 academic year. Candidates from the fields of IT will be given priority of consideration.

PhD Position in Programming Languages at TU Delft
by Casper Bach Poulsen, March 23, 2021

We are looking for a candidate for a fully-funded 4 year PhD position on defining and implementing typed programming languages in a modular way.

Research faculty and postdoctoral positions in Program Analysis and Verification at Virginia Tech
by Binoy Ravindran, March 1, 2021

Research faculty and postdoctoral positions are available with the Systems Software Research Group at Virginia Tech on a DARPA-funded project on program analysis and verification.

Call for expressions of interest at the University of Venice
by pietroferrara, Jan. 11, 2021

The Software and System Verification group @ Ca’ Foscari University of Venice is a research team focused on static analysis and its applications. We are currently collecting expressions of interest from people interested in working in these topics with us. This call is open at any level, since there will be several different openings in the next months.

Postdoc position on Formal Methods and Testing @ TU Graz, Austria
by Bernhard Aichernig, Sept. 3, 2020

I am looking for a University Assistant (postdoc) to join my research group at Graz University of Technology, Austria. We do research in the areas of formal methods, testing and automata learning. The group combines verification, falsification, modelling, and learning.