[ The Types Forum (announcements only),
     http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]

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.ber...@chalmers.se>
Head of Division: Miroslaw Staron, Professor <miroslaw.sta...@cse.gu.se>
HR-specialist: Anna Skanse Bråse, <anna.ska...@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

Reply via email to