[TYPES/announce] Ph.D. Student Position in Time-Aware Systems, with focus on Programming Languages, Compilers, and Algorithms

[David Broman]

Ph.D. Student Position in Time-Aware Systems, with focus on Programming Languages, Compilers, and Algorithms

KTH Royal Institute of Technology, Stockholm, Sweden

Application deadline: February 28, 2015

Description
==========
Time-aware systems are systems where time or timing affects the correctness of a system. Examples of such systems are real-time and cyber-physical systems (e.g., automobiles, robots, and industrial automation systems), physical simulation systems, and distributed time-aware computer systems. The doctoral student will be part of a new KTH research group that is focused on developing new methodologies, algorithms, and techniques that enable new ways of developing time-aware systems. The main focus is on how programming languages and tools can help the development of this kind of systems, so that they can be developed in less time and with higher confidence of correctness. The research will focus on introducing time and timing into programming languages, and to develop algorithms and compiler techniques that support time as an integral part of the tool chain. 

Qualifications
==========
The applicant should hold a Master of Science degree in Computer Science, Computer Engineering, or equivalent, and have very good mathematical and programming skills. The ideal candidate has also knowledge in one or more of the following areas: Compilers, Computer Architecture, Algorithms, Programming Language, Embedded, and Real-time Systems. Besides technical and mathematical skills, the candidate is expected to be a curious and ambitious individual who is strongly motivated to conduct research. He or she should be used to work in a structured way and have the ability to work both individually and in teams. Good communication skills in both oral and written English are required.

For more information, see https://www.kth.se/en/om/work-at-kth/lediga-jobb/what:job/jobID:47687/where:4/

Note for the types-announce list: This position is relevant for students that are interested in programming languages, type theory, and compilers, applied to the areas of real-time systems and cyber-physical systems.

----------------------------------------------------------
David Broman
Associate Professor

KTH Royal Institute of Technology
ICT/SCS
Electrum 229
164 40 Kista
Sweden

office: +46 8 790 42 74
cellular. +46 73 765 20 44
web: http://web.ict.kth.se/~dbro/
email: dbro at kth.se