List of job vacancies - page 3


PhD positions on programmable networking at Illinois Tech in Chicago
by nik, Oct. 3, 2022

Fully-funded PhD positions are available from Spring 2023 at the Illinois Institute of Technology to work on *developing high-performance distributed computation techniques that exploit programmable network hardware*.

For all information related to this opportunity see: http://www.cs.iit.edu/~nsultana1/student_projects/phd.html

In addition to receiving funding, PhD students will join a small and energetic group that will support them to pursue excellence in their thesis research through participation in ongoing research collaborations, access to excellent lab resources (including a range of programmable network hardware), and to pursue opportunities and develop skills that can propel their post-PhD careers.

Research areas (broadly defined) include: Computer Networking, Distributed Systems, Systems Programming, Mathematical Modeling.
Application deadline: 31st Jan 2023 to start in May or Aug 2023 (Summer or Fall semesters).

Please forward this opportunity information to any potentially interested students.
Interested folk are encouraged to contact me with informal enquiries: http://www.cs.iit.edu/~nsultana1/

Illinois Institute of Technology, also known as Illinois Tech, is a private, technology-focused research university in Chicago. It uniquely prepares students to succeed in professions that require technological sophistication, an innovative mindset, and an entrepreneurial spirit.

Multiple PhD positions at The Australian National University
by Nisansala Yatapanage, Sept. 30, 2022

Multiple PhD positions are available at the School of Computing, The Australian National University, in areas such as programming languages, logic, formal methods, systems and software engineering.

Positions for Postdocs and Ph.D. candidates
by Heiko Mantel, Aug. 31, 2022

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
by Caterina Urban, Aug. 23, 2022

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
by Ekaterina Komendantskaya, July 29, 2022

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
by Antonio Brogi, July 11, 2022

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
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.