[TYPES/announce] PostDoc on System Security and Formal Methods

[Roberto Guanciale]

Dear all,

KTH is hiring one PostDoc on System Security and Formal Methods

Application deadline: April 30, 2019,

https://www.kth.se/en/om/work-at-kth/lediga-jobb/what:job/jobID:261817/where:4/

Starting date: By agreement (preferably July 2019)

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, and to assist in
project development and grant applications. 

The position 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.  

Qualifications:
Applicants must hold or be about to receive a doctoral degree in
Computer Science (or equivalent). The doctoral degree must have been
obtained within the last three years from the application deadline
(some exceptions for special grounds, for instance sick leave and
parental leave). The candidate should have a strong background from at
least one of the areas of formal verification and system security. 

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