List of job vacancies


PhD (Candidate) Software Verification for Programmable 6G Networks (University of Amsterdam)
by Thomas Van Binsbergen, March 12, 2024

The University of Amsterdam is looking for a PhD student to work on the intersection of Software Verification and Software Definable Networks.

The objective of the PhD project is to develop a framework consisting of a set of programming language methodologies and tools for the specification, verification and generation of software and configurations for programmable data planes. Making data-planes programmable (e.g., using the P4 language) enables unprecedented network flexibility, often at the cost of robustness and security.
These challenges require domain-specific, formally verified, and empirically tested solutions that curtail the underlying complexity. The candidate will contribute to the design and evolution of domain-specific languages, software verification techniques and programming environments that enable network operators to deploy verified programs with CI/CD pipelines for programmable data planes. To achieve this, the candidate will study, develop and apply programming language techniques such as static and runtime verification, formal specification, and language design, translation and implementation.

Postdoc in Formal methods
by Yehia Abd Alrahman, March 4, 2024

Join us in our quest for developing novel correct-by-design techniques for Autonomous Systems

Phd Position in Correct-by-Design Techniques for Cyber-Physical Systems
by Yehia Abd Alrahman, Feb. 28, 2024

Join us in our quest for developing novel correct-by-design techniques for Cyber-Physical systems.

Full professor position in Grenoble
by David Monniaux, Feb. 20, 2024

A senior professorship is to open in Grenoble with research in the Verimag laboratory and teaching at Grenoble-INP Polytech.

Keywords: Computer programming, networks, systems, machine and system architecture;
formal method, verification

Research chair on cybersecurity at the hardware / software interface
by David Monniaux, Feb. 17, 2024

A tenure-track position on cybersecurity at the hardware / software interface is to open at CNRS. Tenure may be granted after 3-6 years as a full-time senior research position.

Fully funded PhD position - Programming Group, Univ. of St.Gallen, Switzerland
by guidosalva, Feb. 5, 2024

The Programming Group at the School of Computer Science, University of St.Gallen (HSG), Switzerland, invites applications for an opening as PhD student.

Postdoc on Digital Twins? Open positions in MSCA CO-FUND project, Uni Oslo, Norway
by Einar Broch Johnsen, Feb. 1, 2024

Are you interested in a postdoc on Digital Twins at the Department of Informatics, University of Oslo, Norway? Projects can span from theory, software engineering and formal methods to data science and AI, and across different application domains.

Postdoctoral Research Fellow in Formal Methods for Business Process Modelling
by Violet Ka I Pun, Jan. 29, 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: 25th February 2024
Salary: starting from ~NOK 576 000 per annum
Duration: 2 year, 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/256574/

« previous123...1112next »