Application Deadline: 20th December
PhD position in Computer Science
Verification of Parallel Programs at the Department of Information Technology at Uppsala University, Sweden
Short description: The work will concern development of techniques for automatic formal verification of and defect detection in parallel programs, by developing and combining techniques from areas including software model checking, static program analysis, and constraint solving.
The work will largely be carried out both in the context of the UPMARC research center, as well as be supported by a focus project support by VR (the Swedish Research Council). More information at project pages http://www.upmarc.se
http://www.it.uu.se/research/docs/fm/apv/
http://www.it.uu.se/research/group/testing
Requirements: The candidate should have a Master of Science in Computer Science, Computer Engineering, or equivalent, in a field which is relevant for the work. It is helpful to have a good background in some of the fields program analysis, compiler techniques, formal techniques and logic, testing, software engineering, and similar, as well as to be proficient in implementing non-trivial algorithms. The position is for a maximum of five years and includes departmental duties at a level of at most 20% (typically teaching).
The application should include a description of research interests and past experience, a CV, copies of exams, degrees and grades, a copy of Master thesis (or a draft thereof), relevant publications, and other relevant documents. Candidates are encouraged to provide letter(s) of recommendation and contact information to reference persons, as well as earliest feasible starting date of employment.
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.it.uu.se/ (the department) or contact: Prof. Bengt Jonsson, bengt.jonsson@it.uu.se. Union representatives are: Anders Grundström, Saco-rådet, phone +46 18-471 5380, Carin Söderhäll, OFR-S/ST, phone +46 18-471 1996, Stefan Djurström, Seko, phone +46 18-471 3315.
You are welcome to submit your application no later than 20 December, 2010, UFV-PA 2010/3188.
Source: http://www.personalavd.uu.se/ledigaplatser/3188PhD.html
.
Showing posts with label Computer Science. Show all posts
Showing posts with label Computer Science. Show all posts
10 Dec 2010
[Sweden Scholarships]: PhD Scholarships in Computer Science
Applicaiton Deadline: 24 January, 2011
PhD student in Computer Science with Specialisation in Computing Education Research
at the Department of Information Technology.
The position is located within the Uppsala Computing Education Research Group (UpCERG) at the Department of Information Technology. UpCERG conducts research in Computing and Engineering Education, with a focus on student understanding and support for innovative curriculum development. The research is driven by a desire to contribute to the body of Scholarship of Learning and Teaching that informs educational practice in computing. The aim is to explore and develop undergraduate and graduate education in computing, and related fields, through the use of rigorous research methods. Research foci are chosen with a view to their potential impact on computing and engineering education.
The group has an extensive international and national research network and directs the CeTUSS centre for development of student and socially relevant engineering education. Moreover, group members chair the IEEE Nordic Education Chapter and the IEEE Frontiers in Education Steering Committee. The group is also involved as major partner in two Nordic Council funded initiatives, the Nordic Network for Engineering Education Research and Nordic Engineering Education Research Master Programme.
UpCERG conducts research in computing education: current research areas include Globalisation and Culture, Student Conceptions and Ways of Understanding Computing, Learning Professional Skills, and Technology Supported Education. The thesis topic for the selected PhD candidate will be in one of these areas. The precise research issues to be investigated will be defined in a dialogue with the candidate.
A PhD position in Computer Science with specialisation in Computing Education Research requires a BSc (Hons), Master of Science, or equivalent degree, with at least one year of full-time studies in courses of relevance to Computing Education Research. This is a salaried position, for up to five years, and includes departmental duties at a level of at most 20 % (typically teaching). The base salary is currently approximately 22,200 SEK per month.
Applications should include a description of research interests and past experience, a CV, copies of degrees and/or diplomas and transcript of results, a copy of Master/Honours thesis (or a draft thereof), relevant publications, and other relevant documents. Candidates are encouraged to provide contact information to reference persons. A good grasp of written and spoken English is required. Applications may be submitted by candidates that have not fully completed the Master of Science degree (or equivalent), however all applicants should state their expected graduation date.
The department is striving to achieve gender balance. Female candidates are therefore particularly invited to apply.
For more information, see http://www.it.uu.se/research/group/upcerg/ or contact: Prof. Michael Thuné, michael.thune@it.uu.se. Union representatives are: Anders Grundström, Saco-rådet, phn. +46 18-471 5380, Carin Söderhäll, TCO/ST, phn. +46 18-471 1996, Stefan Djurström, Seko, phn. +46 18-471 3315.
You are welcome to submit your application no later than 24 January, 2011, UFV-PA 2010/3303. Use the link below to access the application form.
PhD Student in Computer Science with Specialisation in Computing Education Research
Source: http://www.personalavd.uu.se/ledigaplatser/3303eng.html
PhD student in Computer Science with Specialisation in Computing Education Research
at the Department of Information Technology.
The position is located within the Uppsala Computing Education Research Group (UpCERG) at the Department of Information Technology. UpCERG conducts research in Computing and Engineering Education, with a focus on student understanding and support for innovative curriculum development. The research is driven by a desire to contribute to the body of Scholarship of Learning and Teaching that informs educational practice in computing. The aim is to explore and develop undergraduate and graduate education in computing, and related fields, through the use of rigorous research methods. Research foci are chosen with a view to their potential impact on computing and engineering education.
The group has an extensive international and national research network and directs the CeTUSS centre for development of student and socially relevant engineering education. Moreover, group members chair the IEEE Nordic Education Chapter and the IEEE Frontiers in Education Steering Committee. The group is also involved as major partner in two Nordic Council funded initiatives, the Nordic Network for Engineering Education Research and Nordic Engineering Education Research Master Programme.
UpCERG conducts research in computing education: current research areas include Globalisation and Culture, Student Conceptions and Ways of Understanding Computing, Learning Professional Skills, and Technology Supported Education. The thesis topic for the selected PhD candidate will be in one of these areas. The precise research issues to be investigated will be defined in a dialogue with the candidate.
A PhD position in Computer Science with specialisation in Computing Education Research requires a BSc (Hons), Master of Science, or equivalent degree, with at least one year of full-time studies in courses of relevance to Computing Education Research. This is a salaried position, for up to five years, and includes departmental duties at a level of at most 20 % (typically teaching). The base salary is currently approximately 22,200 SEK per month.
Applications should include a description of research interests and past experience, a CV, copies of degrees and/or diplomas and transcript of results, a copy of Master/Honours thesis (or a draft thereof), relevant publications, and other relevant documents. Candidates are encouraged to provide contact information to reference persons. A good grasp of written and spoken English is required. Applications may be submitted by candidates that have not fully completed the Master of Science degree (or equivalent), however all applicants should state their expected graduation date.
The department is striving to achieve gender balance. Female candidates are therefore particularly invited to apply.
For more information, see http://www.it.uu.se/research/group/upcerg/ or contact: Prof. Michael Thuné, michael.thune@it.uu.se. Union representatives are: Anders Grundström, Saco-rådet, phn. +46 18-471 5380, Carin Söderhäll, TCO/ST, phn. +46 18-471 1996, Stefan Djurström, Seko, phn. +46 18-471 3315.
You are welcome to submit your application no later than 24 January, 2011, UFV-PA 2010/3303. Use the link below to access the application form.
PhD Student in Computer Science with Specialisation in Computing Education Research
Source: http://www.personalavd.uu.se/ledigaplatser/3303eng.html
25 Nov 2010
[Sweden Scholarship]: PhD Scholarship in Programming language-based security
Reference number 2010/292
Application deadline 2011-01-12
The department provides a strong, international, and dynamic research environment with about 75 faculty and 75 PhD students. For more information, see www.chalmers.se/cse/EN/ .
Knowledge of Swedish is not a prerequisite for application. English is our working language for research. Both Swedish and English are used in undergraduate courses. Half of our researchers and PhD students are native Swedes; the rest come from more than 30 different countries.
Job description
The PhD students will join a world-leading team of researchers on programming language-based security. Language-based security facilitates specifying and enforcing security policies at the level of programming languages early in the software design and construction phase. The focus of the advertised positions is on the following directions of work:
- To design rich security policies for confidentiality and integrity, as demanded by practical applications (such as web applications).
- To develop practical enforcement mechanisms for these policies in expressive programming languages (such as web languages). These enforcement mechanisms may combine static (for example, type system-based) and dynamic (for example, execution monitoring-based) techniques.
- To support the above with case studies in web-application security.
In pursuing these goals, there are possibilities for collaboration with our high-profile academic and industrial partners.
PhD student positions are limited to five years and will then normally include 20 per cent departmental work, mostly teaching duties. Salary for the position is as specified in Chalmers' general agreement for PhD student positions. The positions are intended to start in spring or fall 2011.
Required qualifications
Applicants for a PhD position must have a degree in Computing Science or in a related subject with a strong Computing Science component. They must also have a strong, documented interest in doing research. The ideal candidate for the project will have strong background in both programming languages and security. You may even apply if you have not yet completed your degree, but expect to do so before the position starts.
In addition to the submission items specified below you MUST include letters of recommendation: we typically get a large number of applications, and it is simply not feasible for us to request individual letters! Please, include the recommendation letters as a part of the application pdf file. No need for copies of degrees and certificates to be attested, if submitting the application electronically. Finally it is essential that the application includes all relevant work such as theses and articles that you have authored or co-authored.
Application procedure
The application shall be written in English and include the following items:
- An application of a maximum of one A4 page containing your specific qualifications for the position
- Attested copies of education certificates, including grade reports and other documents
- Curriculum Vitae
- Letters of recommendation and name of reference persons (optional)
The application shall be sent electronically as pdf or zipped documents. Please use the button at the foot of the page to reach the application form.
If any material is not available electronically or cannot be transferred to pdf format, the material can be sent as a hard copy to Registrar. The applicants name and the reference number (2010/292) must be written on the first page of the application.
Address:
Registrar
Chalmers University of Technology
SE-412 96 Göteborg
Sweden
Further information
Research level:
Professor David Sands
E-mail: dave@chalmers.se
Tel: +46 31 772 1059
Professor Andrei Sabelfeld
E-mail: andrei@chalmers.se
Tel: +46 31 772 1018
Department level:
Assoc Professor Jan Jonsson, Vice Head of Department
E-mail: janjo@chalmers.se
Tel: +46 31 772 5220
Union representatives
- SACO: Jan Lindér
- ST: Marie Wenander
- SEKO: Johan Persson
All reachable via Chalmers exchange: +46 31 772 10 00
Link: http://www.chalmers.se/cse/EN/news/vacancies/positions/phd-student-positions-in
For More Sweden Scholarship: http://swedenscholarships.blogspot.com/
11 Jun 2010
Sweden: PhD student in Security and Privacy of Social Networks
Application deadline: June 28, 2010
Employer's reference number: D-2010-0248
KTH The School of Computer Science and Communication (CSC) seeks a PhD student in Security and Privacy of Social Networks.
KTH is the largest technical university in Sweden. Education and research cover a broad spectrum within natural sciences and engineering, as well as architecture, industrial engineering and management, urban planning, work science and environmental engineering. KTH has 6,955 full-time equivalent students at Bachelor (first) level, 5,545 at Master (second) level, 1,314 at doctoral studies (third) level and 3,900 employees.
CSC is one of Sweden’s most advanced and successful research and education institutions in Information Technology at KTH and Stockholm University. The activities of the school focus on higher education and research within the traditional core areas of numerical analysis and computer science; from theory building and analysis of mathematical models to algorithm construction, implementation and simulation. Other core areas of growing importance are technology and methods for the support of human communication and computer mediated cooperation over distances in time and space. The applied research includes scientific computing, computer science, computer vision, robotics, neuroinformatics and neural networks, human-computer interaction, media technology and graphic arts, and communication through speech, language and music.
For more information see
* www.kth.se/csc go to"CSC International Website".
The Department of Theoretical Computer Science (TCS) offers a stimulating research environment in a range of topics such as complexity theory and approximation algorithms, computer and network security, cryptography, programming languages, and formal methods. Security and safety of computer and network based systems has been identified as an area of strategic importance.
Online Social Networks like Facebook, MySpace, Xing, etc. have become extremely popular. Yet they have some limitations that we want to overcome for a next generation of social networks: privacy concerns and requirements of Internet connectivity, both of which are due to web-based applications on a central site whose owner has access to all data. To overcome these limitations, we envision a paradigm shift from a client-server to a peer-to-peer infrastructure coupled with encryption so that users keep control of their data and can use the social network also locally, without Internet access. This shift gives rise to many research questions intersecting areas such as networking, security, distributed systems, and social network analysis - leading to a better understanding of how technology can support social interactions. For more details see the PeerSoN project page at
* http://www.peerson.net
The goal of this PhD project is to develop and evaluate security and privacy mechanisms for decentralized social networks in particular and for provider-independent personal communications in general.
The candidate will join a collaborative project with researchers located at KTH, NTU Singapore, EPFL Lausanne, and T-Labs Berlin.
This is a four-year, time-limited position and normally includes 20% departmental duties, usually teaching. Research/doctoral students must be registered at KTH. The starting date is open for discussion, though ideally we would like the successful candidate to start as soon as possible.
Employment
Form of employment: Time-limited
Work time: Full time
Start date: According to agreement
The salary follows the directions provided by KTH
Number of positions: 1
Qualifications
The applicant is expected to have a strong background and interest in computer science, including subjects such as security, cryptography, networking, distributed systems, and game theory.
Applicants must be strongly motivated for doctoral studies, possess the ability to work independently and perform critical analysis as well as possessing good levels of cooperative and communicative abilities.
To address its varied work, KTH aims to employ a diversity of talent and thus welcomes applicants who will add to the variety of the University, especially as concerns its gender structure.
Application
Application deadline: June 28, 2010
Employer's reference number: D-2010-0248
Applications should contain a letter where the applicants describe themselves, their qualifications, and interests. They should also contain a Curriculum Vitae, grade transcripts, copies of the applicant’s Master thesis and/or publications, and names and addresses of two references. Applicants about to finish their M.Sc. degrees may be considered for the position.
Applications via email to:
* susanneb@csc.kth.se
Write reference number in the email subject. (CV, etc should be sent as an attachment preferably pdf-files.)
Alternatively applications by ordinary post to be sent to:
KTH, CSC
att. Susanne Bergman
Lindstedtsvägen 3, plan 4
SE-100 44 Stockholm
Sweden
Source: KTH Website
Employer's reference number: D-2010-0248
KTH The School of Computer Science and Communication (CSC) seeks a PhD student in Security and Privacy of Social Networks.
KTH is the largest technical university in Sweden. Education and research cover a broad spectrum within natural sciences and engineering, as well as architecture, industrial engineering and management, urban planning, work science and environmental engineering. KTH has 6,955 full-time equivalent students at Bachelor (first) level, 5,545 at Master (second) level, 1,314 at doctoral studies (third) level and 3,900 employees.
CSC is one of Sweden’s most advanced and successful research and education institutions in Information Technology at KTH and Stockholm University. The activities of the school focus on higher education and research within the traditional core areas of numerical analysis and computer science; from theory building and analysis of mathematical models to algorithm construction, implementation and simulation. Other core areas of growing importance are technology and methods for the support of human communication and computer mediated cooperation over distances in time and space. The applied research includes scientific computing, computer science, computer vision, robotics, neuroinformatics and neural networks, human-computer interaction, media technology and graphic arts, and communication through speech, language and music.
For more information see
* www.kth.se/csc go to"CSC International Website".
The Department of Theoretical Computer Science (TCS) offers a stimulating research environment in a range of topics such as complexity theory and approximation algorithms, computer and network security, cryptography, programming languages, and formal methods. Security and safety of computer and network based systems has been identified as an area of strategic importance.
Online Social Networks like Facebook, MySpace, Xing, etc. have become extremely popular. Yet they have some limitations that we want to overcome for a next generation of social networks: privacy concerns and requirements of Internet connectivity, both of which are due to web-based applications on a central site whose owner has access to all data. To overcome these limitations, we envision a paradigm shift from a client-server to a peer-to-peer infrastructure coupled with encryption so that users keep control of their data and can use the social network also locally, without Internet access. This shift gives rise to many research questions intersecting areas such as networking, security, distributed systems, and social network analysis - leading to a better understanding of how technology can support social interactions. For more details see the PeerSoN project page at
* http://www.peerson.net
The goal of this PhD project is to develop and evaluate security and privacy mechanisms for decentralized social networks in particular and for provider-independent personal communications in general.
The candidate will join a collaborative project with researchers located at KTH, NTU Singapore, EPFL Lausanne, and T-Labs Berlin.
This is a four-year, time-limited position and normally includes 20% departmental duties, usually teaching. Research/doctoral students must be registered at KTH. The starting date is open for discussion, though ideally we would like the successful candidate to start as soon as possible.
Employment
Form of employment: Time-limited
Work time: Full time
Start date: According to agreement
The salary follows the directions provided by KTH
Number of positions: 1
Qualifications
The applicant is expected to have a strong background and interest in computer science, including subjects such as security, cryptography, networking, distributed systems, and game theory.
Applicants must be strongly motivated for doctoral studies, possess the ability to work independently and perform critical analysis as well as possessing good levels of cooperative and communicative abilities.
To address its varied work, KTH aims to employ a diversity of talent and thus welcomes applicants who will add to the variety of the University, especially as concerns its gender structure.
Application
Application deadline: June 28, 2010
Employer's reference number: D-2010-0248
Applications should contain a letter where the applicants describe themselves, their qualifications, and interests. They should also contain a Curriculum Vitae, grade transcripts, copies of the applicant’s Master thesis and/or publications, and names and addresses of two references. Applicants about to finish their M.Sc. degrees may be considered for the position.
Applications via email to:
* susanneb@csc.kth.se
Write reference number in the email subject. (CV, etc should be sent as an attachment preferably pdf-files.)
Alternatively applications by ordinary post to be sent to:
KTH, CSC
att. Susanne Bergman
Lindstedtsvägen 3, plan 4
SE-100 44 Stockholm
Sweden
Source: KTH Website
2 Jun 2010
Sweden Scholarship: A PhD student position in the Algorithms group at Chalmers University
Application deadline 2010-06-06
Reference number 2010/111
Reference number 2010/111
Job start date 2010-08-02
The research will take place in the Algorithms group in the Department of Computer Science and Engineering, with a special focus on the use of probabilistic methods in Computer Science. The department constitutes an international research environment with about 70 faculty and 70 PhD students. They come from more than 30 different countries; about half of them are native Swedes. General information about the department can be found at www.chalmers.se/cse/EN/
Job description
We are seeking candidates for a PhD position within the Algorithms group with a special focus on machine learning techniques in the area of probabilistic graphical models. This project will investigate techniques from non-equilibrium statistical mechanics for solving the problem of approximate inference arising in graphical models when applied to dynamical systems. The focus will be to derive a tractable inference procedure which applies to continuous time. These techniques will be applied to inference problems in computational biology, distributed wireless networks, natural language technology and other areas.
As a Ph.D. student you are employed by Chalmers and will receive a salary according to current salary agreements. A maximum of 20% of your time will be devoted to other duties at the department, mainly teaching. The remaining time will be devoted to your own courses and research within the project and you are expected to obtain a Ph.D. within a maximum of 5 years.
Required qualifications
A suitable background for the applicant is a strong undergraduate degree in Computer Science and Engineering. Candidates must have a strong background in discrete probability and machine learning techniques. The candidate should have a thorough knowledge of graphical models, and existing state of the art in approximate inference algorithms as well as good practical experience in implemening them.
Application procedure
The application shall be written in English and include the following items:
- An application of a maximum of one A4 page containing your specific qualifications for the position
- Attested copies of education certificates, including grade reports and other documents
- Curriculum Vitae
- Letters of recommendation and name of reference persons (optional)
The application shall be sent electronically as pdf or zipped documents. Please use the button at the foot of the page to reach the application form.
If any material is not available electronically or cannot be transferred to pdf format, the material can be sent as a hard copy to Registrar. The applicants name and the reference number (2010/111) must be written on the first page of the application.
Address:
Registrar
Chalmers University of Technology
SE-412 96 Göteborg
Sweden
Further information
Further information of the PhD positions can be obtained from
Professor Devdatt Dubhashi
E-mail: dubhashi@chalmers.se
Phone: +46 31 772 1698
Vice Head of Department, Graduate Education: Associate Professor Jan Jonsson
E-mail: janjo@chalmers.se
Phone +46 31 772 5220
Director of Postgraduate Studies: Associate Professor Koen Lindström Claessen
E-mail: koen@chalmers.se
Phone: +46 31 772 54 24
Source: http://www.chalmers.se/cse/EN/news/vacancies/positions/phd-student-position-in7442
29 May 2010
Scholarship in Sweden: Three PhD positions in Computer Science at Uppsala University
Deadline: 4 June, 2010
at the Department of Information Technology for the project: Methods and tools for real-time software development on multicore platforms
Three PhD positions in Computer Science
Source: http://www.personalavd.uu.se/ledigaplatser/1172dorand_eng.html
at the Department of Information Technology for the project: Methods and tools for real-time software development on multicore platforms
The positions are supported by a five-year grant from the Swedish Strategic Research Foundation (SSF) to develop methods and tools for embedded and real-time applications on multicore platforms. Research directions include (1) parallelization of embedded software, (2) modeling, profiling, and prediction of timing and performance properties, (3) resource-aware mapping and scheduling, all focusing on multicore platforms.
The department has recently been awarded a ten year Linnaeus grant from the Swedish Research Council to establish the UPMARC centre of excellence, which brings together groups in complementary areas, including computer architecture, computer networks, embedded systems, verification and testing, and programming languages, to make a coordinated attack on the challenges of programming multicore systems. The announced positions are placed within UPMARC.
A successful candidate should have a master of science inComputer Science, Engineeringor equivalent. The PhD positions are for a maximum of five years and include departmental duties at a level of at most 20% (typically teaching). Further information: http://www.teknat.uu.se and http://www.it.uu.se.
Uppsala University is striving to achieve a more even gender balance among its staff and women are especially encouraged to apply.
Applications should include a brief description of research interest and past experience, a CV, copies of exams, degrees and grades, a copy of your Master thesis (or a draft thereof) and other relevant documents. The candidates are encouraged to provide letter(s) of recommendation and contact information to reference persons.
For more information, see http://www.it.uu.se/research/coder-mp (CoDeR-MP), http://www.it.uu.se/ (the department) or contact: Prof. Wang Yi, yi@it.uu.se, or some other member of the project (see URL of CoDeR-MP). Union representatives are: Anders Grundström, Saco-rådet, tel +46 18-471 5380, Carin Söderhäll, TCO/ST, tel +46 18-471 1996, Stefan Djurström, Seko, tel +46 18-471 3315.
You are welcome to submit your application no later than 4 June, 2010. UFV-PA 2010/1172. Use the link below to access the application formThree PhD positions in Computer Science
Source: http://www.personalavd.uu.se/ledigaplatser/1172dorand_eng.html
Subscribe to:
Posts (Atom)