List of job vacancies


PhD position on GPU accelerated probabilistic model checking
by Anton Wijs, Nov. 25, 2022

The Software Engineering & Technology cluster at Eindhoven University of Technology (TU/e) offers one PhD position on the development of GPU accelerated probabilistic model checking techniques.

2 PhD positions in Formal Analysis for Concurrent Workflows in HVL, Bergen, Norway
by Violet Ka I Pun, Nov. 24, 2022

We are looking for motivated PhD students for two 3-year PhD positions at Western Norway University of Applied Sciences, Bergen, Norway. The main research topics of the positions are about formal analysis for concurrent workflows. The positions are part of the Norwegian Research Council Young Research Talents project CroFlow (https://croflow.github.io/).

Contact: Violet Ka I Pun ([email protected])

Deadline: 13th January 2023
Link to detailed job posting: https://www.jobbnorge.no/en/available-jobs/job/235100/two-phd-research-fellows-in-formal-analysis-for-concurrent-workflows-for-a-period-of-3-years

Fully-funded Ph.D. position(s) in analysis and transformations of Deep Learning programs in New York City (deadline Dec 15)
by Raffi Khatchadourian, Oct. 20, 2022

I am currently seeking (potentially multiple, fully-funded) Ph.D. students interested in programming languages and software engineering research for an NSF-funded project on analysis and transformations for (imperative) Deep Learning (DL) programs.

PhD Studentships at Stevens Institute of Technology (New York City area)
by Eric Koskinen, Oct. 11, 2022

Accepting applications for PhD students in the area of programming languages, automatic formal verification and concurrency in the Cypress PL/Systems group at Stevens Institute of Technology.

Assistant/Associate Professor in Logical Foundations and Formal Methods at the University of Cambridge
by Timothy Jones, Oct. 11, 2022

The Department of Computer Science and Technology at the University of Cambridge is seeking to recruit a new faculty member at the Assistant or Associate Professor level who can contribute to research and teaching in the area of Logical Foundations and Formal Methods.

https://www.jobs.cam.ac.uk/job/37369/

Assistant/Associate Professor in Computer Architecture at the University of Cambridge
by Timothy Jones, Oct. 10, 2022

The Department of Computer Science and Technology is seeking to recruit a new faculty member at the Assistant or Associate Professor level who can contribute to research and teaching in the area of Computer Architecture.

https://www.jobs.cam.ac.uk/job/37370/

PhD positions in program verification at INSAIT
by Peter Mueller, Oct. 10, 2022

We are recruiting PhD students for several projects on program verification at the newly-established INSAIT institute in Sofia, Bulgaria. INSAIT is a research center for computer science and artificial intelligence dedicated to conducting world-class research. The hired PhD students will be able to work in close collaboration with the Programming Methodology group at ETH Zurich.

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.

« previous123...1112next »