[isabelle] Two PhD Positions in Multicore Computing at the UPMARC Center of Excellence, Uppsala University



Dear Colleagues,

Please bring this advert for PhD positions to the attention of
potential applicants.

Potential applicants with an interest in theorem proving are welcome to
contact me directly.

Best,
Tjark

========== 8< ==========

Two Ph.D. positions in multicore computing at UPMARC (Uppsala
Programming for Multicore Architectures Research Center) at Uppsala
University

Topics: Methods and tools for software development for multicore
computer systems within one or several of the following areas: computer
architecture, computer networks, programming language technology,
real-time and embedded systems, scientific computing, semantics,
testing, verification.

UPMARC has been formed to make a broad coordinated attack on the
challenges of developing methods and tools to support development of
parallel software, and has been awarded a ten year Linnaeus grant from
the Swedish Research Council, as a sign of scientific excellence. See
http://www.upmarc.se for a list of senior researchers and current
research activities and projects at UPMARC.

Application deadline: *** May 6 ***

For more information about how to apply, consult the official
announcement at
http://www.uu.se/jobb/phd-students/annonsvisning?languageId=1&tarContentId=239195

A PhD position requires a Master of Science in Computer Science,
Computer Engineering, or equivalent in a field which is relevant for
the topic of the PhD thesis. The position is for a maximum of five
years and includes departmental duties at a level of at most 20%
(typically teaching). The salary amounts currently to about 24.900 SEK
per month in the first year. Expected application content is described
in the announcement.

The department is striving to achieve a more equal gender balance and
female candidates are particularly invited to apply.

For more information, see http://www.upmarc.se (UPMARC),
http://www.it.uu.se/ (the department) or contact Prof. Bengt Jonsson,
bengt.jonsson at it.uu.se, or some other senior researcher in the UPMARC
consortium.






This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.