PhD position in software engineering and cloud computing
by Tom MENS
Open call for PhD position in software engineering and cloud computing (University of Lille and University of Mons)
The computer science departments of University of Lille and University of Mons (Belgium) seek applications for a PhD position in software engineering, under joint co-supervision between Prof. Laurence Duchien (Spirals team, CRIStAL laboratory, Lille) and Prof. Tom Mens (Software Engineering Lab, INFORTECH Research Institute, Mons). The funding will be for a PhD in Sciences for a 3 year period. The candidate should carry out 18 months of his research in each team. Lille and Mons are 80 km away (1 hour by train).
The topic of the thesis will be "Exploring the variability and evolution of cloud computing systems – An approach based on feature modelling and behavioural design models". A more detailed description is provided below. Only highly qualified PhD candidates with a master's degree in computer science should apply. The required skills include very good knowledge in the field of software engineering, excellent programming skills and good knowledge of formal tools.
The start date of the employment is expected to be 15 September 2017 or as soon as possible thereafter.
Applications will be received electronically (by e-mail) *as soon as possible*, and the call will be closed end of April 2017.
The application must contain:
+ a motivation letter including a statement of your research interests
+ a full curriculum vitae, including list of publications if any
+ a copy of your master's thesis and publications, if any
+ a copy of your bachelor and master diplomas and transcripts of record, including grades and relative position
+ a minimum of two letters of recommendation, including the contact details of the referents
Applications received too late or not complying with the above requirements, may not be considered. Enquiries about the position can be made to Prof. Laurence Duchien, University of Lille, France, Laurence.Duchien(a)univ-lille1.fr<mailto:Laurence.Duchien@univ-lille1.fr>
or Prof. Tom Mens, University of Mons, Belgium, tom.mens(a)umons.ac.be<mailto:tom.mens@umons.ac.be>
https://sujets-these.lille.inria.fr/details.html?id=9674c18058724d2d90b4d...
Short description of thesis topic: Cloud computing systems usually exhibit high variability due to the number of choices concerning the selection of cloud providers as well as of their offered cloud services. At the same time, they provide a flexible environment, where resources and services can be provisioned and released on demand. To cope with the high volatility and variability of such systems, the goal of the thesis is to propose a model-based approach for expressing their variability, facilitating their evolution, and exploring the design space of possible solutions. The proposed approach will rely on research advances in dynamic software product lines [1], and will use techniques such as feature modelling to specify and analyse the variabilities and commonalities in cloud computing services and providers at a high level of abstraction [2]. Behavioural aspects of these systems will be modelled using statechart-based design models [3,4], and the technique of design by contract will be used to constrain these models [5]. Semi-automated and interactive tool support will be provided to verify and test structural and behavioural properties over these models. In addition, evolution of these models will be supported. In particular, the research should focus on support for behaviour preserving refactoring and dynamic reconfiguration. The practical use of these techniques to explore and traverse the design space of cloud environments will also be explored by an extension of SALOON tools [2,6] and an experimental validation on cloud evolutions defined by several providers. For example, when reconfiguring a cloud environment, the selected set features (representing cloud providers and services) may have a different impact on performance, costs or reconfiguration time, and optimal reconfiguration paths should be proposed.
References:
[1] S. Hallsteinsen, M. Hinchey, S. Park, and K. Schmid. Dynamic software product lines. COMPUTER, 41(4):93-95, 2008
[2] C. Quinton, D. Romero, and L. Duchien. SALOON: a platform for selecting and configuring cloud environments. Software: Practice and Experience, 46(1):55{78, 2016
[3] D. Harel and E. Gery, “Executable object modeling with statecharts,” IEEE Computer, vol. 30, no. 7, pp. 31–42, July 1997
[4] D. Drusinsky, Modeling and Verification Using UML Statecharts. Elsevier Science, 2006.
[5] B. Meyer. 1992. Applying "Design by Contract". Computer 25, 10 (October 1992), 40-51
[6] https://team.inria.fr/spirals/saloon/
6 years, 7 months
SATToSE 2017 deadline coming closer!
by Gregorio Robles
[apologies for crossposting]
Dear all,
the deadline for submitting your contribution to SATToSE is round the
corner (April 14th)! Don't miss this opportunity to share your research
and ideas with your peers. Remember that the slogan of SATToSE is "a
friendly venue for your crazy ideas"!
regards, Gregorio
========================================================================
10th Seminar Series on Advanced Techniques & Tools for Software Evolution (
SATToSE 2017)
June 7 - June 9, 2017, Madrid, Spain
Find us on the web: http://sattose.org/2017
Follow us on twitter: https://twitter.com/sattose
========================================================================
SATToSE is the Seminar Series on Advanced Techniques & Tools for Software
Evolution. The goal of SATToSE is to gather both undergraduate and graduate
students to showcase their research, exchange ideas, and improve their
communication skills.
SATToSE will host invited talks, paper presentations, tutorials, and a
hackathon, fostering interactions among participants and stimulating lively
debates and discussions around the topics of interest of the event. We
expect attendees to be active participants and not just passive listeners.
Presenters should be open to and encourage questions and discussions during
their talks.
This year's SATToSE has a co-located event on the day before: the SENECA
European (http://senecaproject.github.io) project training for PhDs. It is
a one-day seminar on "writing up & moving on" and "commercializing
research", that will have five renowned speakers. Those who register for
SATToSE will have the possibility to attend this event for free.
### Important Dates
14th April, 2017 - Submission deadline
4th May, 2017 - Notification of acceptance
9th May, 2017 - Registration deadline
6th June, 2017 - SENECA European project training for PhDs
7th - 9th June, 2017 - SATToSE Seminar
### Topics of Interest
Contributions are solicited on all aspects of software and model evolution,
practices, and technologies. In particular, we encourage submissions about
the following (non-exhaustive) list of topics:
* Supporting tools, processes, and models for managing software evolution
* Industrial needs, case studies and experiences
* Software analytics and visualisation techniques to support software
evolution
* Empirical studies in evolution and maintenance
* Program transformation, refactoring, renovation, and migration
* Program and/or data reverse engineering
* Evolution of data-intensive or process-intensive systems
* Approaches of model-driven software evolution
* Software evolution for emerging paradigms
* Coupled evolution of meta-models, models, and transformations
* Classification of evolution scenarios
* Reliability and security aspects of software evolution
* Negative research results in software evolution
* Software ecosystem evolution
* Formalisms, notations, theories, methods, and languages for expressing
software evolution
* Conformance checking, inconsistency management, synchronisation,
differencing, comparison, versioning, impact analysis of evolving models
### Types of Submission
We solicit extended abstracts of 2–5 pages, in one of the following forms:
* Work in Progress: Early ideas and achievements that you want to share
with the community and get feedback on.
* Publication Summaries: Overview of research results already published or
ready to be submitted to a conference or a journal.
* Technology Showdown Demonstrations: Technical explanation of important
features of your framework, library or tool.
Contributions are managed through EasyChair. Please submit your paper using
the following link:
https://www.easychair.org/conferences/?conf=sattose2017
### Presentation and Publication
All submissions will be reviewed and screened for scope and compatibility
by the program committee, which will provide feedback for improving the
abstract and preparing the talk. All contributions accepted for
presentation will receive 10–30 minutes during the event for presentation
and discussion. Submitters will also be offered the opportunity to receive
feedback and guidance to improve their submission towards a formally
published paper, in a SATToSE post-proceedings issue of an open access
journal.
### Program Committee
* General chair:
Gregorio Robles, Universidad Rey Juan Carlos, Spain.
* Program co-chairs:
Haidar Osman, University of Bern, Switzerland.
Andrei Chis, Feenk, Switzerland.
* Hackathon chair
Felienne Hermans, Delft University of Technology, The Netherlands.
### Program Committee
Haidar Osman (co-chair), University of Bern, Switzerland
Andrei Chis (co-chair), Feenk , Switzerland
Alexandre Bergel, University of Chile, Chile.
Andrea Caracciolo, Software Improvement Group (SIG), The Netherlands.
Tommaso Dal Sasso, University of Lugano, Switzerland.
Coen De Roover, Vrije Universiteit Brussel, Belgium.
Serge Demeyer, University of Antwerpen, Belgium.
Davide Di Ruscio, University of L'Aquila, Italy.
Anne Etien, University of Lille 1, France
Mohammad Ghafari, University of Bern, Switzerland.
Anya Helene Bagge, University of Bergen, Norway.
André Hora, Federal University of Minas Gerais, Brazil.
Mircea Lungu, University of Groningen, The Netherlands.
Kim Mens, Université catholique de Louvain, Belgium.
Nevena Milojković, University of Bern, Switzerland.
Luca Ponzanelli, University of Lugano, Switzerland.
Sebastiano Panichella, University of Zurich, Switzerland.
Alexander Serebrenik, Eindhoven University of Technology, The Netherlands.
Michael W. Godfrey, University of Waterloo, Canada.
Vadim Zaytsev, Raincode, Belgium
--
Gregorio Robles
Universidad Rey Juan Carlos
http://gsyc.urjc.es/~grex
6 years, 8 months
Tenure Track Faculty Position in Big Data Analytics (Mons, Belgium)
by Tom MENS
---------------------------------------------------------------------
Tenure Track Faculty Position in Big Data Analytics
Department of Informatics, University of Mons, Belgium
-----------------------------------------------------------------------
The Department of Informatics of the Faculty of Science at the University of Mons (Belgium) invites applications for a tenure-track faculty position in computer science, with special emphasis on big data analytics. The position is at the level of assistant professor. The expected starting date for the position is October 1, 2018. Qualified candidates must have a doctorate in disciplines related to computer science or computer engineering, and should have a strong commitment to teaching and an outstanding research record in applied aspects of big data analytics. The selected person should collaborate with existing research groups of the department and be active in fundraising for industrial and governmental projects. Candidates should be able to fulfil teaching duties in the French language after two years. Teaching duties are on both the undergraduate and graduate level, and include novel courses in the candidate's domain of expertise.
The University of Mons is a university located in the French community of Belgium with about 8,000 students. Information about the Department of Informatics can be found at http://informatique.umons.ac.be/. Applications should be sent by email to Prof. Dr. Veronique Bruyere (veronique.bruyere(a)umons.ac.be<mailto:veronique.bruyere@umons.ac.be>), Department Head. We encourage candidates to apply from now on. Applications must be submitted as PDF files, including a cover letter, curriculum vitae, a one-page statement of teaching interests, a one-page statement of research interests in big data analytics, and names and contact information of at least three references. Following their application, candidates will be informed in due time about the further application procedure.
The most up to date information about the position and the application procedure will be maintained at http://informatique.umons.ac.be/job_offers/.
6 years, 8 months