Postdoctoral Position in Computer Science Royal Institute of Technology at KTH

Postdoctoral Position in Computer Science Apply for position School of Electrical Engineering and Computer Science at KTH Project description Vulnerabilities like Spectre provide alarming evidence that the root of trust of our digital technologies is fundamentally insecure. The security and effectiveness of existing countermeasures is unknown, since they are motivated by informal arguments. In fact, new vulnerabilities that exploit new microarchitecture features or corner cases easily circumvent the countermeasures. The Division of Theoretical Computer Science is looking for a candidate with a strong background and interest in security, formal methods, and software analysis. The successful candidate will join a WASP project on developing theories and models for information flow properties of computer architectures, solid formal justification for existing and new countermeasures, tools to analyse secure next generation software and hardware. Third-cycle subject: Computer science Supervision: Associate Professor Roberto Guanciale What we offer The possibility to study in a dynamic and international research environment in collaboration with industries and prominent universities from all over the world.Read more A workplace with many employee benefits and monthly salary according to KTH’s Doctoral student salary agreement. A postgraduate education at an institution that is active and supportive in matters pertaining to working conditions, gender equality and diversity as well as study environment. Help to relocate and be settled in Sweden and at KTH. Join a group of 3 professors, 1 Postdoc, and 7 PhDs working on different methods to develop and provide secure systems. Our group has several collaborations with several industrial partners. Admission requirements To be admitted to postgraduate education (Chapter 7, 39 § Swedish Higher Education Ordinance), the applicant must have basic eligibility in accordance with either of the following: passed a second cycle degree (for example a master's degree), or completed course requirements of at least 240 higher education credits, of which at least 60 second-cycle higher education credits, or acquired, in some other way within or outside the country, substantially equivalent knowledge In addition to the above, there is also a mandatory requirement for English equivalent to English B/6, read more here Selection In order to succeed as a doctoral student at KTH you need to be goal oriented and persevering in your work. During the selection process, candidates will be assessed upon their ability to: independently pursue his or her work collaborate with others, have a professional approach and analyse and work with complex issues. After the qualification requirements, great emphasis will be placed on personal competency. Target degree: Doctoral degree Information regarding admission and employment Only those admitted to postgraduate education may be employed as a doctoral student. The total length of employment may not be longer than what corresponds to full-time doctoral education in four years ' time. An employed doctoral student can, to a limited extent (maximum 20%), perform certain tasks within their role, e.g. training and administration. A new position as a doctoral student is for a maximum of one year, and then the employment may be renewed for a maximum of two years at a time. In the case of studies that are to be completed with a licentiate degree, the total period of employment may not be longer than what corresponds to full-time doctoral education for two years. Union representatives Contact information KTH's website. Doctoral section (Students’ union on KTH Royal Institute of Technology) If you apply for this position please say you saw it on Computeroxy Apply

Postdoctoral Position in Computer Science

Apply for position

School of Electrical Engineering and Computer Science at KTH

Project description

Vulnerabilities like Spectre provide alarming evidence that the root of trust of our digital technologies is fundamentally insecure. The security and effectiveness of existing countermeasures is unknown, since they are motivated by informal arguments. In fact, new vulnerabilities that exploit new microarchitecture features or corner cases easily circumvent the countermeasures.

The Division of Theoretical Computer Science is looking for a candidate with a strong background and interest in security, formal methods, and software analysis. The successful candidate will join a WASP project on developing theories and models for information flow properties of computer architectures, solid formal justification for existing and new countermeasures, tools to analyse secure next generation software and hardware.

Third-cycle subject: Computer science

Supervision: Associate Professor Roberto Guanciale

What we offer

The possibility to study in a dynamic and international research environment in collaboration with industries and prominent universities from all over the world.Read more
A workplace with many employee benefits and monthly salary according to KTH’s Doctoral student salary agreement.
A postgraduate education at an institution that is active and supportive in matters pertaining to working conditions, gender equality and diversity as well as study environment.
Help to relocate and be settled in Sweden and at KTH.
Join a group of 3 professors, 1 Postdoc, and 7 PhDs working on different methods to develop and provide secure systems. Our group has several collaborations with several industrial partners.

Admission requirements

To be admitted to postgraduate education (Chapter 7, 39 § Swedish Higher Education Ordinance), the applicant must have basic eligibility in accordance with either of the following:

passed a second cycle degree (for example a master's degree), or
completed course requirements of at least 240 higher education credits, of which at least 60 second-cycle higher education credits, or
acquired, in some other way within or outside the country, substantially equivalent knowledge

In addition to the above, there is also a mandatory requirement for English equivalent to English B/6, read more here

Selection

In order to succeed as a doctoral student at KTH you need to be goal oriented and persevering in your work. During the selection process, candidates will be assessed upon their ability to:

independently pursue his or her work
collaborate with others,
have a professional approach and
analyse and work with complex issues.

After the qualification requirements, great emphasis will be placed on personal competency.

Target degree: Doctoral degree

Information regarding admission and employment

Only those admitted to postgraduate education may be employed as a doctoral student. The total length of employment may not be longer than what corresponds to full-time doctoral education in four years ' time. An employed doctoral student can, to a limited extent (maximum 20%), perform certain tasks within their role, e.g. training and administration. A new position as a doctoral student is for a maximum of one year, and then the employment may be renewed for a maximum of two years at a time. In the case of studies that are to be completed with a licentiate degree, the total period of employment may not be longer than what corresponds to full-time doctoral education for two years.