[TYPES/announce] Postdoc in provably secure systems at KTH

[Mads Dam]

The Theoretical Computer Science Group at the School of Computer Science and Communication, KTH, invites applications for *one postdoctoral position in provably secure systems*.

The candidate will join the PROSPER team, led by Prof. Mads Dam, working on security verification of low-level code. The goal of the PROSPER project is to develop novel security kernels and hypervisors, primarily for embedded applications (smartphones, microcontrollers), that are fully formally verified at the machine code level. This involves a wide variety of challenging tasks, including theory and methods, tool development, kernel development and verification, prototype implementation, and benchmarking. The verification work uses a mix of program verification and semi-automated theorem proving methods. The project is currently in a fertile phase and needs an ambitious and creative postdoc interested in pushing the envelope for real systems verification. 

Within the framework of the PROSPER project, the postdoc will have ample opportunity to contribute to student supervision at both PhD and MSc levels, to take courses in university pedagogics, to contribute to undergraduate teaching on a voluntary basis, and to assist in project development and grant applications.

The research project is financed by a framework grant from the Swedish Strategic Research Foundation, but the group also conducts industry-sponsored research. The successful candidate is likely to be involved in both types of work.

The postdoc position is a full-time research position for one year with a possible one-year extension, subject to funding available as expected. The successful candidate is expected to start at the latest in August-September 2014, although this may be to some extent negotiable.

Application deadline is Feb 28, 2014.
For more information regarding the position and application requirements, check out the full announcement here:
http://www.kth.se/en/om/work-at-kth/vacancies/postdoctoral-positions-in-provably-secure-systems-1.451090

	Prof. Mads Dam
	Theoretical Computer Science
	School of Computer Science and Communication
	KTH Royal Institute of Technology
	SE 100 44 Stockholm, Sweden
	Mail: mfd -at- kth.se
	Phone: +46 708 76 44 40
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.seas.upenn.edu/pipermail/types-announce/attachments/20140210/091a6f95/attachment.html>