[TYPES/announce] PhD position at Chalmers | University of Gothenburg, Sweden

[Thorsten Berger]

PhD position: Software Engineering, Formal Methods, Highly Configurable 
Systems (Gothenburg, Sweden)
https://www.gu.se/english/about_the_university/job-opportunities/vacancies-details/?id=1927

We invite applications for a PhD researcher position (start as soon as 
possible, apply by *2018-02-15*) in the area of software-engineering of 
highly configurable software systems supported by formal methods. 
Examples of such systems are automotive/avionics/power-electronics 
control systems, software ecosystems (e.g., Android apps), systems 
software (e.g., OS kernels), or embedded databases.

The PhD candidate is expected to advance the theory and practice of 
engineering highly configurable systems (a.k.a., software product lines) 
towards lean and incremental development techniques. The project 
comprises theoretical (e.g., creating formal models) as well as very 
practical work, such as developing program analyses, program 
transformations, and tool prototypes. The candidate might also conduct 
some smaller-scale empirical research or tool evaluations with industry. 
The position also requires a contribution to teaching at the SE division 
by supervising Bachelor or Master theses, and supporting courses as a 
teaching assistant.

Applicants should have a Degree of Master (60 credits), or be on their 
way of obtaining a Degree of Master (120 credits), in computer science, 
software engineering or a closely related field. Preference will be 
given to applicants with experiences in the following fields:

  * Functional Programming
  * Formal Methods
  * Software Product Line Engineering
  * Model-Driven Engineering or Compiler development

Excellent references, fluency in English as well as good communication, 
collaboration, self-organization, and programming skills are also required.

Applications are to be written in English and need to contain:

  * Cover letter expressing the applicant’s motivation, experiences, and
    relevant qualifications in relation to the announced position
  * Detailed curriculum vitae including publications (if any) and 2-3
    references with their contact details
  * Copies of postgraduate and undergraduate transcripts
  * Evidence of English proficiency for non-native English speakers

The selection process takes place in competition. We usually get a large 
number of applications. Therefore, the applicant is recommended to 
enclose additional information in the application, such as papers or 
reports authored.

Employment:
Type of employment: Fixed-term employment, HF 5 kap 7 §
Extent: 100 % of full time
Location: Software Engineering Division
First day of employment: As soon as possible

The salary is determined on an individual basis. A rough estimate of the 
initial net salary is around 2050€ per month, increasing yearly.

About the department:
The Department of Computer Science and Engineering is jointly hosted by 
Chalmers University of Technology and the University of Gothenburg. It 
is a strongly international department with approximately 80 faculty 
among a total of 260 employees originating from 30 countries. Located in 
Gothenburg – Sweden’s second-largest city – the department is surrounded 
by a vibrant ecosystem of software-intensive companies, such as Volvo 
Cars and Volvo AB, Ericsson, ABB, Boeing, and SAAB Aeronautics. The 
department is connected to three science parks in Gothenburg for 
industrial collaborations in fields including intelligent vehicles and 
transport systems, mobile internet, energy, nanotechnology, and life 
sciences. Alumni and members of the department have also created many 
startups, including revolutionary ones such as Spotify.

The announced PhD position is located at the division of Software 
Engineering (SE). With 21 faculty members, it is arguably one of the 
largest software-engineering institutes world-wide, conducting research 
at the highest international level in topics such as model-driven 
engineering, testing, software product lines, empirical software 
engineering, requirements engineering, autonomic computing, and cloud 
computing. This year, the division organizes two of the most influential 
software-engineering conferences, ICSE’18 and SPLC’18. For industrial 
research, the division hosts the Software Center, an associated 
institute with a network of five universities and ten global companies 
including Siemens, Axis, and Jeppesen.

Please apply online:
https://www.gu.se/english/about_the_university/job-opportunities/vacancies-details/?id=1927

Closing date: *2018-02-15* (23:59 CET)

Contact:
Supervisor: Thorsten Berger, Associate Professor, 
<thorsten.berger at chalmers.se>
Head of Division: Miroslaw Staron, Professor <miroslaw.staron at cse.gu.se>
HR-specialist: Anna Skanse Bråse, <anna.skanse at chalmers.se>


-- 
Thorsten Berger
Associate Professor

Department of Computer Science and Engineering
Chalmers | University of Gothenburg, Sweden
http://www.cse.chalmers.se/~bergert
Tel.: +46 (0) 31 772 6075
Mob.: +46 (0) 729 746 246
Skype: tberger.work

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20180208/e1778183/attachment.html>