List of job vacancies - page 3
- Positions for Postdocs and Ph.D. candidates
The chair MAIS of Prof. Dr. Heiko Mantel at TU Darmstadt is offering
positions for Postdocs and Ph.D. candidates in the following areas:- Formal Modeling and Tool-supported Verification
- Efficient and Reliable Run-time Monitoring and Enforcement
- Static Side-channel Analysis and Mitigation
- Postdoc and PhD positions at Inria and École Normale Supérieure in Paris in collaboration with Fujitsu Japan
Caterina Urban, research scientist at Inria and École Normale Supérieure in Paris, is looking for strong and motivated postdocs and PhD students to work on a collaborative project with Fujitsu Japan on practical formal verification methods for machine learning.
- 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.