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, [email protected], or some other senior researcher in the UPMARC consortium. ------------------------------------------------------------------------------ Precog is a next-generation analytics platform capable of advanced analytics on semi-structured data. The platform includes APIs for building apps and a phenomenal toolset for data science. Developers can use our toolset for easy data analysis & visualization. Get a free account! http://www2.precog.com/precogplatform/slashdotnewsletter _______________________________________________ hol-info mailing list [email protected] https://lists.sourceforge.net/lists/listinfo/hol-info
