[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
Dear all,
KTH is hiring 2 PostDoc positions System Security and Formal Methods
Application deadline: August 02, 2018,
https://www.kth.se/en/om/work-at-kth/lediga-jobb/what:job/jobID:218440/type:job/where:4/apply:1
Starting date: By agreement (preferably October 2018)
The position is supported by TrustFull, trustfull.proj.kth.se, 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.
Within TrustFull we implement, model, and formally verify secure system
components and build models and verification tools, mainly using semiautomated
theorem proving in Higher Order Logic, HOL. The research group led by professor
Mads Dam and assistant professor Roberto Guanciale combines deep interest in
logic, mathematics, abstract modelling and formal proofs with a strong will to
apply these methods to the design, development, testing, and verification of
concrete system solutions. The project involves a wide variety of challenging
tasks, including theory and methods, tool development, modeling and
verification of critical hardware components (cpu’s, gpu’s and devices of
different types), system software development and verification, prototype
implementation, and software synthesis.
As part of TrustFull, there will be strong interactions with other researchers
at the intersection of software engineering and software security. The postdoc
will also have ample opportunity to contribute to student supervision at both
PhD and MSc levels, to contribute to undergraduate teaching, and to assist in
project development and grant applications.
The position is is a full-time research position for one year with a possible
one-year extension. The starting date is open for discussion, though ideally we
would like the successful candidate to start as soon as possible.
About KTH:
KTH Royal Institute of Technology in Stockholm has grown to become one of
Europe’s leading technical and engineering universities, as well as a key
centre of intellectual talent and innovation. We are Sweden’s largest technical
research and learning institution and home to students, researchers and faculty
from around the world.
--
Roberto Guanciale
KTH.se
