[TYPES/announce] postdoc position at Chalmers | University of Gothenburg

2018-07-03 Thread Thorsten Berger

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

Postdoc position in the area of software variability (with strong ties 
to robotics and embedded/cyber-physical systems). Apply by *July 5*. We 
are looking for a candidate with a good formal background, including 
experiences with Functional Programming, Model-Driven Engineering. and 
Formal Methods.


OVERVIEW

Employment: Fixed-term, 2 years
Extent: 100 % of full time
Location: Department of Computer Science and Engineering / Division of 
Software Engineering, Chalmers | University of Gothenburg

First day of employment: As soon as possible
Applications via: 
https://www.gu.se/english/about_the_university/job-opportunities/vacancies-details/?id=2776

Application deadline: July 5 CEST (strict)


GENERAL INFORMATION

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 postdoc position is located at the division of Software 
Engineering. 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.



JOB ASSIGNMENTS

The postdoctoral researcher will conduct research in the areas of 
software product-line engineering, model-driven engineering or empirical 
software engineering. The position is embedded into the EU ITEA project 
REVAMP with a focus on re-engineering and migration of variant-rich 
systems into modern and scalable product-line architectures. It is also 
closely related to the EU project Co4Robots where modern variability 
mechanisms (including dynamic variability and adaptation mechanisms) 
will be conceived for robotics and cyber-physical systems. The primary 
job assignment is research, with excellent collaboration opportunities 
with the project partners, including SCANIA, ABB, SAAB, ALTRAN, PAL 
Robotics, and Bosch, among potentially other European partners. The 
position includes 10-20% teaching (negotiable) at the Software 
Engineering division by supervising Master theses and supporting courses 
as a teaching assistant.


Applicants must have a PhD degree in Computer Science, Software 
Engineering or a closely related discipline. Prior publications, 
excellent references, fluency in English as well as good communication, 
collaboration, self-organization, and programming skills are also required.



APPLICATION

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, teaching 
experiences, and three references with their contact details
- Official transcripts of education certificates (degrees, including 
grade reports and other documents when applicable).


Applications only online by July 5 (end of day CEST, strict) via:
https://www.gu.se/english/about_the_university/job-opportunities/vacancies-details/?id=2776

Please contact Thorsten Berger (contact information below) for questions 
about the position.


--
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



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

2017-04-21 Thread Thorsten Berger
[ The Types Forum (announcements only),
 http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]

PhD position: Software Engineering, Highly Configurable Systems, Formal 
Modelling (Gothenburg, Sweden)

http://www.gu.se/english/about_the_university/job-opportunities/vacancies-details/?id=411

We invite applications for a PhD researcher position (start as soon as 
possible, apply by *2017-05-09*) in the area of engineering of highly 
configurable software systems. 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. A focus is on 
migrating cloned (forked) system variants towards configurable software 
platforms. 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. The main supervisor is 
Thorsten Berger.


Applicants should have a background in computer science or software 
engineering and should have excellent programming skills. Preference 
will be given to candidates with experiences in at least one of the 
following fields:


 * Functional Programming
 * Formal Modelling
 * Software Product Line Engineering
 * Model-Driven Engineering or Compiler Construction

Applications should contain:

 * Cover letter expressing the applicant’s motivation, experiences, and
   relevant qualifications in relation to the announced position
 * Detailed CV, including publications and contact details of up to
   three references
 * Copies of postgraduate and undergraduate transcripts
 * Evidence of English proficiency for non-native English speakers

Employment:
Type of employment: fixed-term, up to five years
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 
the University of Gothenburg and Chalmers University of Technology. It 
is a strongly international department with approximately 80 faculty 
among a total of 260 employees originating from 30 countries. The 
announced PhD position is located at the division of Software 
Engineering (SE) with 19 faculty members covering a wide range of 
software-engineering expertise.


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

Closing date: *2017-05-09* (23:59 CET)

Contact:
Supervisor: Thorsten Berger, <thorsten.ber...@chalmers.se>
Head of Division: Miroslaw Staron, <miroslaw.sta...@cse.gu.se>
HR-specialist: Anna Skanse Bråse, <anna.ska...@chalmers.se>