List of job vacancies - page 4
- Postdoc Position, Programming Group - SCS, University of St.Gallen
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
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
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
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
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
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.
- Junior Research Group Leader positions at MPI for Security and Privacy
The Max Planck Institute for Security and Privacy in Bochum, Germany is inviting applications for Junior Research Group Leader positions
- 5 RA Positions: AI Secure and Explainable by Construction
5 RA and 3 PhD positions announced in a project AISEC, that develops novel methods of AI Verification. Further details available at: http://laiv.uk/index.php/vacancies/
