TU Wien, TU Graz, and JKU Linz are seeking highly qualified candidates for our joint doctoral program Logical Methods in Computer Science (logiCS). The LogiCS doctoral college focuses on interdisciplinary research topics covering – computational logic, and applications of logic to – databases and artificial intelligence, – computer-aided verification, –…
A research engineer position is available at the Inria Rennes laboratory, in France. This is a fixed-term contract for two years, starting this fall. This work takes place in the SimGrid framework (https://simgrid.org), a scientific instrument for studying the behavior of large-scale distributed systems such as Grids, Clouds, HPC, or…
Multiple PhD and Postdoc positions in Information Security and Program Verification at ETH Zurich, available immediately The Institute of Information Security (the groups of Prof. Adrian Perrig and Prof. David Basin) and the Programming Methodology Group (Prof. Peter Müller) at ETH Zurich have multiple open positions for PhD students and…
Applications are invited for a postdoctoral position, joint between the Software Reliability Group and the Multicore Programming Group, under the direction of Cristian Cadar and Alastair Donaldson. We are looking for motivated applicants interested in working at the intersection of software testing and programming languages. The research will focus on…
A PhD position is available (fully paid for 4 years with the possibility of extension) at the Electrical and Computer Engineering Department of Utah State University. The expected starting date is early January 2020. PhD application information is available at: https://engineering.usu.edu/ece/files/pdfs/ece-graduate-program-application-info.pdf Abstract: Synthetic biology and nanotechnology place increasing demands on…
The IMDEA Software Institute, Madrid, Spain invites applications for up to two postdoc positions starting in September, 2019. The general topic of the research project is to improve the software reliability of modern on-board satellite software. Selected candidates will collaborate with Cesar Sanchez, Alessandra Gorla and Jose F. Morales and…
I am looking for 1 postdoc (2 years) and 1 PhD student (fully paid, 3 years) at the Computer Science department of Aarhus University, a top 100 university with an excellent reputation. The positions are available from the Fall 2019. Applications are to be submitted online: – PhD: application deadline…
For our research project (ERATO MMSD, Metamathematics for Systems Design) we are looking for senior researchers and postdocs (10+ positions in total and some are still open), together with research assistants (PhD students) and internship students. The project runs until March 2022. http://group-mmm.org/eratommsd This broad project aims to extend the…
Research Assistant / PhD Student / Post-Doc Position in Formal Methods for Software and Systems Engineering The Chair for Software and Systems Engineering (Prof. Stefan Leue) of the University of Konstanz has the immediately opening of a definite term full-time Research Assistant / PhD Student / Post-Doc position available for…
The research group on Computer Engineering (https://www.tec.ee.ethz.ch) at ETH Zurich (Swiss Federal Institute of Technology, https://www.ethz.ch) has an opening for a post-doctoral fellow. The position is devoted to scientific research in the area of embedded information processing, in particular for applications in mobile systems, internet of things, cyberphysical systems or…
