List of job vacancies - page 3
- PhD student positions at USI, Switzerland
We are looking for excellent applications to fill open
PhD student positions at Università della Svizzera italiana (USI),
Lugano, Switzerland.- Ph.D. student position(s) in analysis and transformations of imperative Deep Learning programs
I am currently seeking (potentially multiple) Ph.D. students interested in programming languages and software engineering research for a newly NSF-funded project on analysis and transformations for imperative Deep Learning (DL) programs. The project focuses on enhancing the robustness, increasing run-time performance, and facilitating the long-lived evolution of DL systems, particularly, large, industrial DL systems.
- Postdoc positions in reverse engineering and binary verification at Virginia Tech
Postdoctoral research positions at Virginia Tech are available on software security, with a focus on the application of reverse engineering and formal methods to reasoning about unintended behaviors and exploits.
- Postdoctoral Researcher and PhD positions at University of Birmingham
Fully-funded Postdoctoral Researcher and PhD positions at the University of Birmingham to work on the design and verification of distributed systems.
- PhD Scholarship Heriot-Watt University, Scotland
The Lab for AI and Verification (laiv.uk), Heriot-Watt, Edinburgh, Scotland is looking to fill in one PhD post. We are looking for a candidate with solid knowledge of Theorem Proving and/or Functional/Logic programming, and enthusiasm to apply this knowledge in the domain of Artificial Intelligence.
- PhD position on the design and formal verification of distributed systems at the University of Birmingham
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)
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
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.
