List of job vacancies

Assistant Professor Position in Computer Science with focus on Cybersecurity
by Jacopo Mauro, April 1, 2020

As part of our planned expansion in the area of Cybersecurity, the Department of Mathematics and Computer Science at the University of Southern Denmark, Odense, invites applications for an assistant professor position in Computer Science. We interpret the area cybersecurity broadly: the ideal applicant is a computer scientist, conducting research on cybersecurity or research that has cybersecurity as a direct application. We would like to expand on our current security research efforts within Cryptology, Formal Methods, Information Security, Security in DevOps, and Data-driven approaches, so these topics are of particular interest.

7 PhD positions in Computer Science at Gran Sasso Science Institute (GSSI), L'Aquila (Italy)
by Emilio Tuosto, March 26, 2020

PhD Scholarships in Computer Science (Formal methods, Software Engineering, or Algorithms)

PhD position in Intelligent Tutoring Systems for Functional Programming
by Johan Johan Jeuring, March 21, 2020

We have a vacancy for a PhD student. Goal: develop and use dependently typed programming, refinement types, program synthesis, automated theorem proving, ... to help students when developing a functional program.

Two PhD positions in Formal Methods for Smart Contracts at Chalmers & Univ. of Gothenburg
by Gerardo Schneider, March 17, 2020

The Department of Computer Science and Engineering at Chalmers and the University of Gothenburg invites applications for two PhD positions in the Formal Methods division. The research will focus on smart contracts, computer programs running on the blockchain.

3 fellowships on blockchain and static analysis
by Agostino Cortesi, March 16, 2020

Three one year fellowship positions in Computer Science are available at Ca' Foscari University of Venice and University of Verona on “Development and verification of blockchain systems for e-commerce”. Requirements: master degree or PhD in Computer science, and age <35.

Multiple Doctoral and Postdoctoral positions in AI verification
by Ekaterina Komendantskaya, March 13, 2020

Five postdoctoral and three PhD positions are available in the research project AISEC: AI Secure and Explainable by Construction

10 PostDoc positions in Mathematics/Artificial Intelligence
by Denis Ponomaryov, March 9, 2020

PostDoc positions in Mathematics/AI are available in the Novosibirsk Scientific Center. Applicants can can join one of the established research groups or propose their own research topic. The initial appointment is for one year, with the possibility of extension for another two years.

Tenure-Track Faculty Openings at U of Colorado Boulder in Trustworthy Software
by Bor-Yuh Evan Chang, Nov. 20, 2019

Please consider applying or encourage your students and postdocs to apply for a tenure-track position in the Department of Computer Science at the University of Colorado Boulder in the area of Trustworthy Software. Applications will be evaluated beginning on December 1, 2019 and will continue until the position is filled.

« previous123...89next »