Overview
The Department of Informatics (IFI) is one of nine departments belonging to the Faculty of Mathematics and Natural Sciences at the University of Oslo. IFI is Norway¿s largest university department for broad education and research in Computer Science and related topics. You can read more about the Department here: http://www.ifi.uio.no. The Department has near 800 students on bachelor level, 300 master students, and over 200 PhD students. The overall staff of the Department is close to 250 employees, about 150 of these are full time scientific positions: about 60 Full/Associate Professors and about 90 PhD Fellows/Post Doctoral Fellows. The fellowship is for a period of up to 4 years, with 25 % compulsory work. Starting date no later than 1 October, 2010.
Job description
The intended topic for the PhD project is modeling of Probabilistic Real-Time Systems in Rewriting Logic. This includes theoretical and practical investigations as well as tool implementation. The tool development will build on Real-Time Maude and Probabilistic Maude. (Information about rewriting logic and Maude can be found at http://maude.cs.uiuc.edu/).
Applicants may submit a project proposal related to the research challenges outlined above, including a description of main approach, a more detailed outline of research topics, and proposals for choice of theory and method.
Eligible Candidates
Applicants must hold a Master¿s degree or equivalent in areas related to modeling of real-time, concurrent, or probabilistic systems, formal semantics, formal modeling, formal methods or program verification. Background in rewriting logic will be an advantage.
The purpose of the fellowship is research training leading to the successful completion of a PhD degree.
The fellowship requires admission to the research training programme at the Faculty of Mathematics and Natural Sciences. An approved plan for the research training, including a project outline, must be submitteed no later than two months after taking up the position, and the admission must be approved within three months. For more information see:
http://www.uio.no/admhb/reglhb/personal/tilsettingvitenskapelig/regulationstermcondition.xml
A good command of English is required of all students attending the University of Oslo.
http://www.matnat.uio.no/english/research/education/proficiency_in_English.html
Salary:
PhD Research Fellow (SKO 1017), pay grade: 45-51 (NOK 355 400 ¿ 394 200 per year, depending on seniority/qualifications)
The application must include:
- Application letter
- CV (summarizing education, positions and academic work - scientific publications)
- Copies of educational certificates and letters of recommendation
- List of publications and academic work that the applicant wishes to be considered by the evaluation committee
- Names and contact details of 2-3 references (name, relation to candidate, e-mail and telephone number)
Foreign applicants are advised to attach an explanation of their University¿s grading system. Please remember that all documents should be in English or a Scandinavian language.
Closing date for applications: 15 May, 2010
The University of Oslo has an agreement for all employees, aiming to secure rights to research results a.o.
The University of Oslo has a goal of recruiting more women in academic positions.
Women are encouraged to apply.
The University of Oslo also has a goal of recruiting ethnic minorities to Norway in academic positions. Ethnic minorities are encouraged to apply. Application form: Click here
Please kindly mention Scholarization.blogspot.com when applying for this opportunity
The Department of Informatics (IFI) is one of nine departments belonging to the Faculty of Mathematics and Natural Sciences at the University of Oslo. IFI is Norway¿s largest university department for broad education and research in Computer Science and related topics. You can read more about the Department here: http://www.ifi.uio.no. The Department has near 800 students on bachelor level, 300 master students, and over 200 PhD students. The overall staff of the Department is close to 250 employees, about 150 of these are full time scientific positions: about 60 Full/Associate Professors and about 90 PhD Fellows/Post Doctoral Fellows. The fellowship is for a period of up to 4 years, with 25 % compulsory work. Starting date no later than 1 October, 2010.
Job description
The intended topic for the PhD project is modeling of Probabilistic Real-Time Systems in Rewriting Logic. This includes theoretical and practical investigations as well as tool implementation. The tool development will build on Real-Time Maude and Probabilistic Maude. (Information about rewriting logic and Maude can be found at http://maude.cs.uiuc.edu/).
Applicants may submit a project proposal related to the research challenges outlined above, including a description of main approach, a more detailed outline of research topics, and proposals for choice of theory and method.
Eligible Candidates
Applicants must hold a Master¿s degree or equivalent in areas related to modeling of real-time, concurrent, or probabilistic systems, formal semantics, formal modeling, formal methods or program verification. Background in rewriting logic will be an advantage.
The purpose of the fellowship is research training leading to the successful completion of a PhD degree.
The fellowship requires admission to the research training programme at the Faculty of Mathematics and Natural Sciences. An approved plan for the research training, including a project outline, must be submitteed no later than two months after taking up the position, and the admission must be approved within three months. For more information see:
http://www.uio.no/admhb/reglhb/personal/tilsettingvitenskapelig/regulationstermcondition.xml
A good command of English is required of all students attending the University of Oslo.
http://www.matnat.uio.no/english/research/education/proficiency_in_English.html
Salary:
PhD Research Fellow (SKO 1017), pay grade: 45-51 (NOK 355 400 ¿ 394 200 per year, depending on seniority/qualifications)
The application must include:
- Application letter
- CV (summarizing education, positions and academic work - scientific publications)
- Copies of educational certificates and letters of recommendation
- List of publications and academic work that the applicant wishes to be considered by the evaluation committee
- Names and contact details of 2-3 references (name, relation to candidate, e-mail and telephone number)
Foreign applicants are advised to attach an explanation of their University¿s grading system. Please remember that all documents should be in English or a Scandinavian language.
Closing date for applications: 15 May, 2010
The University of Oslo has an agreement for all employees, aiming to secure rights to research results a.o.
The University of Oslo has a goal of recruiting more women in academic positions.
Women are encouraged to apply.
The University of Oslo also has a goal of recruiting ethnic minorities to Norway in academic positions. Ethnic minorities are encouraged to apply. Application form: Click here
Please kindly mention Scholarization.blogspot.com when applying for this opportunity
0 comments:
Post a Comment