List of job vacancies


Multiple fully-funded Ph.D. student position(s) in combating technical debt in Machine Learning (ML) systems in New York City
by Raffi Khatchadourian, June 12, 2024

I am currently seeking multiple fully-funded Ph.D. students interested in programming languages and software engineering research for an NSF-funded project on combating technical debt in Machine Learning (ML) systems. The project—based in the heart of New York City—focuses on facilitating the long-lived evolution of ML systems through automated refactoring.

Young Investigator Research Group at KIT
by André Platzer, June 5, 2024

Lead Young Investigator Research Group at Karlsruhe Institute of Technology

University Professorship (W3) Programming Languages and Program Analysis at KIT
by André Platzer, June 5, 2024

University Professorship (W3) Programming Languages and Program Analysis at Karlsruhe Institute of Technology

PhD positions in distributed computing/formal methods at IMDEA, Madrid, Spain
by Alexey Gotsman, June 3, 2024

PhD positions in distributed computing theory/applications of formal methods to distributed computing. Location: IMDEA, Madrid, Spain

Postdoctoral Research Fellow in Formal Methods
by Violet Ka I Pun, May 30, 2024

A postdoctoral researcher position in Formal Methods for Business Process Modelling is available at Dept. of Computer Science, Western Norway University of Applied Sciences, Bergen, Norway

Deadline: 10th June 2024
Salary: starting from ~NOK 576 000 per annum
Duration: 2 years, with the possibility of an extension for up to 1 year

Link to the detailed job posting: https://www.jobbnorge.no/en/available-jobs/job/262771/

PhD positions: Verification of AI/ AI Safety
by Ekaterina Komendantskaya, May 20, 2024

Heriot-Watt and Edinburgh Universities are launching a new PhD training program on "Dependable and Deployable AI for Robotics"
We welcome applications from candidates interested in verification of AI.

For details see: https://www.edinburgh-robotics.org/node/2197

Candidates with interest in verification and programming languages for AI are encouraged to contact [email protected]

Postdoctoral position in distributed computing/formal methods at IMDEA, Madrid, Spain
by Alexey Gotsman, May 20, 2024

Postdoctoral position in distributed computing theory/applications of formal methods to distributed computing. Location: IMDEA, Madrid, Spain

Fellowships, Lectureships, Chair posts at Southampton
by Ekaterina Komendantskaya, April 26, 2024

The University of Southampton is recruiting for a number of posts in Computer Science: from Fellowships, suitable to early career researchers up to Professor Level. Logic and Programming languages are among priority areas.

« previous123...1112next »