List of job vacancies - page 2


Faculty positions in Programming Languages and Compilers in the CSE department at IITB
by Ajit Rajwade, Aug. 15, 2021

The CSE department at IIT Bombay is seeking applications for a faculty position at all levels in the broad area of programming languages and compilers.

PhD position on the design and formal verification of distributed systems at the University of Birmingham
by vincent, July 28, 2021

The School of Computer Science at the University of Birmingham, UK, has a PhD position available on the topic of the design and formal verification of distributed systems.

Post-doc Position in AI for Continuous Software Engineering available at the University of L'Aquila (Italy)
by RominaEramo, June 21, 2021

Post-doc Position in AI for Continuous Software Engineering
available at the University of L'Aquila (Italy)

Postdoc Position, Programming Group - SCS, University of St.Gallen
by guidosalva, June 20, 2021

A fully funded postdoc position is open in the Programming Group at
the School of Computer Science, University of St. Gallen (CH).
The position is supervised by Prof. Guido Salvaneschi.

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

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.

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.