List of job vacancies - page 3
- 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.- 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
