The Coq mailing list

[Tjark Weber <tjark.weber AT it.uu.se>]

[Apologies for multiple copies. Potential applicants with an interest
in theorem proving are welcome to contact me directly.]

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.