Вакансии » Doctoral Studentship in Computer Science and Engineering with Specialization Computer Languages

Doctoral student in computer science and engineering with specialization computer languages (IDE 6/11)
— with earliest possible admission at the School of Information Science-, Computer and Electrical Engineering.

Background and tasks:
The Computer Architecture and Languages team at Halmstad University is developing a novel modeling and simulation language called Acumen. The goal is to create a language that can significantly accelerate innovation in the design and production of cyber physical systems.

We are seeking a doctoral student interested in developing a visual modeling, simulation, and visualization platform on top of Acumen. This involves developing graphical entry, rendering, and interaction support, devising novel visualization techniques, developing a large and diverse suite of benchmark models and visualization, and developing techniques to formally specify and verify such a platform. Expertise in formal semantics, Scala, functional programming, modeling and simulation are all desirable.

The employment as doctoral student concerns individual research studies, research and teaching (up to 20 %) within the subject field. The PhD student will belong to the Computer Architectures and Languages team within the Laboratory for Computing and Communication (CC-lab) and the Centre for Research on Embedded Systems (CERES). The main supervisor will be Professor Walid Taha.

Qualifications:
The suitable candidate has a Master´s degree in computer science or engineering. Students expecting to finalize their degree during the spring 2011 are also welcome to apply. The student´s ability to benefit from doctoral studies will be taken into account when we make the appointment.

Others:
At Halmstad University, a uniform salary staircase applies to doctoral students, which means that the salary is adjusted upwards according to achieved progress in the doctoral studies.

The employment comprises postgraduate education up to a doctor´s degree and begins with a 1-year full-time employment that is expected to be prolonged according to regulations (The Higher Education Ordinance Chapter 5 § 7). The employment is time-limited to 4 years, with a possible extension up to 5 years if the candidate carries out 20% teaching duties or other departmental work.

For more information, please, contact Professor Walid Taha, Associate Professor Verónica Gaspes, Dean Magnus Larsson or Inger Wieslander (SACO). All can be reached through the switchboard +46 35 16 71 00.

Application:
The application should comprise a single PDF file consisting of:

1) a cover letter stating the purpose of the application and a brief statement of why you believe that your goals are well-matched with the goals of this position

2) a CV that includes at least

  • A list of previous degrees, dates, and institution with transcripts
  • A list of publications and a description of previous research and other work experience
  • Links to online copies of the most important publications
  • A statement of purpose
  • Contact information for at least three references

The application should be sent as one PDF file attached to an email addressed to: registrator@hh.se. The subject line of the email should be “Application to IDE 6/11″. Application must be received by 2011-08-31 to receive full consideration.

For more information, please visit the official announcement.


Link:

Doctoral student in computer science and engineering with specialization computer languages (IDE 6/11)
— with earliest possible admission at the School of Information Science-, Computer and Electrical Engineering.

Background and tasks:
The Computer Architecture and Languages team at Halmstad University is developing a novel modeling and simulation language called Acumen. The goal is to create a language that can significantly accelerate innovation in the design and production of cyber physical systems.

We are seeking a doctoral student interested in developing a visual modeling, simulation, and visualization platform on top of Acumen. This involves developing graphical entry, rendering, and interaction support, devising novel visualization techniques, developing a large and diverse suite of benchmark models and visualization, and developing techniques to formally specify and verify such a platform. Expertise in formal semantics, Scala, functional programming, modeling and simulation are all desirable.

The employment as doctoral student concerns individual research studies, research and teaching (up to 20 %) within the subject field. The PhD student will belong to the Computer Architectures and Languages team within the Laboratory for Computing and Communication (CC-lab) and the Centre for Research on Embedded Systems (CERES). The main supervisor will be Professor Walid Taha.

Qualifications:
The suitable candidate has a Master´s degree in computer science or engineering. Students expecting to finalize their degree during the spring 2011 are also welcome to apply. The student´s ability to benefit from doctoral studies will be taken into account when we make the appointment.

Others:
At Halmstad University, a uniform salary staircase applies to doctoral students, which means that the salary is adjusted upwards according to achieved progress in the doctoral studies.

The employment comprises postgraduate education up to a doctor´s degree and begins with a 1-year full-time employment that is expected to be prolonged according to regulations (The Higher Education Ordinance Chapter 5 § 7). The employment is time-limited to 4 years, with a possible extension up to 5 years if the candidate carries out 20% teaching duties or other departmental work.

For more information, please, contact Professor Walid Taha, Associate Professor Verónica Gaspes, Dean Magnus Larsson or Inger Wieslander (SACO). All can be reached through the switchboard +46 35 16 71 00.

Application:
The application should comprise a single PDF file consisting of:

1) a cover letter stating the purpose of the application and a brief statement of why you believe that your goals are well-matched with the goals of this position

2) a CV that includes at least

The application should be sent as one PDF file attached to an email addressed to: registrator@hh.se. The subject line of the email should be “Application to IDE 6/11″. Application must be received by 2011-08-31 to receive full consideration.

For more information, please visit Country: Germany