List of job vacancies - page 3


PhD student positions at USI, Switzerland
by Walter Binder, July 11, 2022

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
by Raffi Khatchadourian, June 23, 2022

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
by Nico Naus, June 15, 2022

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
by vincent, May 31, 2022

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
by Ekaterina Komendantskaya, March 16, 2022

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.

Faculty positions in Programming Languages and Compilers in the CSE department at IITB
by Ajit Rajwade, Aug. 15, 2021

The CSE department at IIT Bombay is seeking applications for a faculty position at all levels in the broad area of programming languages and compilers.

PhD position on the design and formal verification of distributed systems at the University of Birmingham
by vincent, July 28, 2021

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)
by RominaEramo, June 21, 2021

Post-doc Position in AI for Continuous Software Engineering
available at the University of L'Aquila (Italy)