List of job vacancies


2 Lecturer (Assistant Professor) Positions in Programming Languages
by smarr, Sept. 25, 2020

We are seeking to appoint two Lecturers in Computing (the equivalent of tenure track, assistant professors) in our Programming Languages and Systems research group based at our Canterbury campus.

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.

Postdoctoral Researcher and PhD Student Positions Available
by Eric Koskinen, Sept. 2, 2020

The Department of Computer Science at Stevens Institute of Technology in New York City is seeking applicants for Postdoctoral Researcher and PhD Student positions in the areas of Programming Languages and Formal Methods. Stevens Computer Science is a rapidly expanding department and we are looking for talented young researchers to join. Successful applicants are expected to participate in a rigorous research program on topics such as programming languages, program analysis, formal verification, concurrency, temporal logic and binary decompilation/lifting.

Post-doc position in Software Technology for Smart Software Systems at Western Norway University
by Lars Michael Kristensen, Aug. 22, 2020

Western Norway University of Applied Sciences (HVL), Faculty of Engineering and Natural Sciences has an open position as a post-doctoral researcher for two years. The position is funded by the university grant S3UNIP project on smart software systems.

PhD position in Parameterized Complexity in Artificial Intelligence
by Mihaela Rozman, Aug. 21, 2020

Are you expected to receive a Master’s degree in Computer Science or Mathematics within the next 12 months (or have already received one)? Apply for the PhD position in Parameterized Complexity in Artificial Intelligence offered by the Algorithms and Complexity Group at the Faculty of Computer Science of the Vienna University of Technology (TU Wien), Vienna, Austria. Deadline for application: 30 September 2020

PostDoc Position in Sample Complexity or Machine Learning
by Mihaela Rozman, Aug. 21, 2020

Do you hold a PhD in Computer Science or Mathematics, or you expect to receive one within the next 12 months? Apply for the Postdoc position in the Algorithms and Complexity Group at the Faculty of Computer Science of the Vienna University of Technology (TU Wien), Vienna, Austria. Deadline for application: 30 September 2020

Postdoctoral/research faculty position in Program Analysis, Verification, and Security at Virginia Tech
by Binoy Ravindran, July 1, 2020

Applications are invited for a postdoctoral or research faculty position at Virginia Tech on DARPA-funded projects at the intersection of program analysis, verification, and security.

Junior Research Group Leader positions at MPI for Security and Privacy
by Catalin Hritcu, April 30, 2020

The Max Planck Institute for Security and Privacy in Bochum, Germany is inviting applications for Junior Research Group Leader positions

« previous123...89next »