List of job vacancies

Postdoc in testing and verification of Infrastructure as Code - Programming Group, Univ. of St.Gallen, Switzerland
by guidosalva, July 17, 2024

A postdoctoral position in “testing and verification of Infrastructure as Code” involves conducting advanced research at the intersection of programming languages and software development. As a postdoc, you will explore innovative approaches to testing, analysis, and verification techniques to improve the quality and safety of cloud deployments. Relevant topics include fuzzing, property-based testing, fault injection, and formal methods like program verification and model checking.

PhD position: Theorem Proving for AI
by Ekaterina Komendantskaya, July 12, 2024

Vacancy: PhD in Computer Science

Title: Formal Verification of AI Interfaces

Advisors: Ekaterina Komendantskaya (Southampton University, UK), Alessandro Bruni (IT University of Copenhagen, Denmark), Reynald Affeldt (AIST, Japan)

Start Date: As soon as the right candidate is found

Location: Southampton University, UK; with collaborative visits involving researchers at AIST, Japan and IT University of Copenhagen, Denmark.

PhD Position in Accountable Usage Control for Distributed Data Processing Systems
by Thomas Van Binsbergen, July 2, 2024

The University of Amsterdam is looking for a PhD student with an interest in one or more of: distributed systems, privacy and security, service-oriented architectures/computing, blockchain/ledger technology, smart contracts, cloud computing, programming languages.

Faculty positions at DIKU
by Fritz Henglein, June 29, 2024

The Department of Computer Science at the University of Copenhagen, (DIKU) has widely scoped open faculty positions in systems and software engineering and in computer science. Applicants from Programming Languages and Systems are encouraged to apply.

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.

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:

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:

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

« previous123...1112next »