Faculty positions

We currently have no open faculty positions.

Postdoctoral positions

We have an open position postdoctoral researchers in theoretical computer science. The application deadline is April 22, 2018.

PhD student positions

SAT Solving

We have an opening for a PhD student in SAT solving as part of the AI-Math Graduate School within the Wallenberg Artificial Intelligence, Autonomous Systems and Software Program (WASP). To receive full consideration your application should be submitted by the deadline May 15, 2018, but candidates will be reviewed continuously and early applications are encouraged.

Software and System Security, and Secure Software Engineering

We are hiring 5 PhD students in software and system security, and secure software engineering. The positions are supported by TrustFull, a new project on fullstack security funded by the Swedish Foundation for Strategic Research SSF. TrustFull combines novel uses of software diversity and automated software repair with formal techniques at low level to develop new techniques for end-to-end security across the entire application stack from hardware to user level applications. The application deadline is: May 10, 2018.   TrustFull team:
  • Prof. Mads Dam
  • Prof. Benoit Baudry
  • Prof. Martin Monperrus
  • Assistant Professor Roberto Guanciale
  • Assistant Professor Musard Balliu
Top page top