List of job vacancies - page 3
- PhD scholarship, Heriot-Watt University
A PhD Scholarship is available at Heriot-Watt University, Scotland. The PhD position will be at the Lab for AI and Verification (www.laiv.uk), and will be funded and co-sipervised by Slumberger Cambridge. The Scholarship starts on the 1 October 2022.
- First 8 scholarships available for the Ph.D. Program in Computer Science at the Universities of Pisa, Florence and Siena
First 8 scholarships available for the Ph.D. Program in Computer Science at the Universities of Pisa, Florence and Siena
- 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)
