Job offers for HECS students
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…
Within the French project “DCore – Causal Debugging for Concurrent Systems”, INRIA Grenoble is offering a fully funded PhD thesis on “Abstractions for causal analysis and explanations in concurrent programs: theory and application to Erlang”. Candidates should have a good background in formal methods. Good programming skills are required. The…
University of Twente Formal Methods and Tools (FMT) Contact: Prof.Dr. Marieke Huisman (m.huisman@utwente.nl) Eindhoven University of Technology Software Engineering & Technology (SET) Contact: Dr. Ing. Anton Wijs (a.j.wijs@tue.nl) JOB DESCRIPTION We are seeking two PhD students to work on the ChEOPS project, a collaborative project between the universities of Twente…
