Open Position: Postdoc in Compilers with Combinatorial Optimization, KTH Royal Institute of Technology

Postdoc in the area of combinatorial optimization and compilers at KTH Royal Institute of Technology

The position is concerned with the application of combinatorial optimization techniques to the compilation of programs. The candidate is expected to contribute to the Unison project (http://www.gecode.org/~schulte/projects/unison.html) lead by Professor Christian Schulte (http://www.kth.se/profile/cschulte/) which successfully applies constraint programming to code generation in compilers and to efforts led by Associate Professor David Broman (http://www.kth.se/profile/dbro/) in the area of time-aware systems.

The candidate is expected to contribute 20% of their time to education.

Application deadline: October 31, 2015.

For more information, see:

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

About KTH:
KTH Royal Institute of Technology in Stockholm is the largest and oldest technical university in Sweden. No less than one-third of Sweden's technical research and engineering education capacity at university level is provided by KTH. Education and research spans from natural sciences to all branches of engineering and includes Architecture, Industrial Management and Urban Planning. There are a total of 12,400 full year students at first and second levels, almost 1,900 active (at least 50 percent) research students and 5,100 employees.