[TYPES/announce] 5 PhD positions on Software and System Security, and Secure Software Engineering at KTH Royal Institute of Technology

[Musard Balliu]

Dear all,

We are hiring 5 PhD students in software and system security, and secure
software engineering.

Please spread the word and encourage your students to apply.


Best,

Musard

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.

TrustFull team:

   -

   Prof. Mads Dam
   -

   Prof. Benoit Baudry
   -

   Prof. Martin Monperrus
   -

   Assistant Professor Roberto Guanciale
   -

   Assistant Professor Musard Balliu


Application deadline: May 10, 2018

Starting date: By agreement (preferably September 2018)

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.

Doctoral studies at KTH offer a highly competitive salary, excellent living
conditions, and a vibrant entrepreneurial scene, according to many
observers second only to Silicon Valley itself. The maximum duration of
doctoral studies at KTH is four years, extensible to five years with 20%
departmental duties, typically as teaching assistant.

Details on the PhD positions:

2 PhD students in System Security and Formal Methods

-------------------------------------------------------------------------------

Within TrustFull we implement secure system components and build models and
verification tools, mainly using semi-automated 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.

For further details on the positions see:

https://www.kth.se/en/om/work-at-kth/lediga-jobb/what:job/jobID:203360/type:job/where:4/apply:1



1 PhD student in Software Security and Formal Methods

---------------------------------------------------------------------------------

We focus on developing novel security models, defensive mechanisms and
tools for finding and fixing security vulnerabilities, and writing code
that is secure by construction. The project will tackle the challenge of
heterogeneity in developing secure applications for the Web and IoT domain.
We are researching practical mechanisms with formal guarantees (information
flow control, taint tracking, security testing) for enforcing flexible
application-level policies across different tiers, e.g., the client, server
and database.

For details on the position see:

https://www.kth.se/en/om/work-at-kth/lediga-jobb/what:job/jobID:203357/type:job/where:4/apply:1

1 PhD student in Experimental Software Engineering for Program Repair

-------------------------------------------------------------------------------------------------------

The doctoral student will work in the area of experimental software
engineering. The successful applicant will study how to use machine
learning to drive the program repair process.  The vision is to train
machine learning systems on top of large amounts of code and execution data
so as to synthesize better patches.

For details on the position see:

https://www.kth.se/en/om/work-at-kth/lediga-jobb/what:job/jobID:203358/type:job/where:4/apply:1


1 PhD student in Experimental Software Engineering for Diversification

-----------------------------------------------------------------------------------------------------

The student will join a research group that investigates the automatic
synthesis of diverse variants of software components. This PhD thesis will
investigate strategies and algorithms to automatically evolve a set of
software application clones (as found when deploying multiple copies of an
application stack in the cloud) into a population of diversified software
components.

For details on the position see:

https://www.kth.se/en/om/work-at-kth/lediga-jobb/what:job/jobID:203359/type:job/where:4/apply:1
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20180420/617ad385/attachment-0001.html>