CAV 2023: 35th International Conference on Computer-Aided Verification
July 17-22, 2023, Paris, France

CALL FOR PARTICIPATION
CAV 2023 is an in-person event. We are looking forward to seeing you in Paris, France!

ABOUT CAV
CAV 2023 is the 35th conference in a series dedicated to the advancement of the theory and practice of computer-aided formal analysis methods for hardware and software systems. The conference covers the spectrum from theoretical results to concrete applications, with an emphasis on practical verification tools and the algorithms and techniques that are needed for their implementation. Along with the main conference, CAV will feature nine 

[More ...]

INVITATION:

Call for Papers

CoopIS 2023: The 29th International Conference on Cooperative Information
Systems
October 30 - November 3, 2023
Groningen, The Netherlands

http://www.coopisconference.org

Proceedings: Springer LNCS

Important Dates:

INVITATION

The BINSEC team ( https://binsec.github.io ) opens postdoc positions in
software security and program analysis.

*START*: as soon as possible. *DURATION*: 3 years

*GOALS*: vulnerability detection and analysis, software reverse engineering
and deobfuscation

*TECHNIQUES*: symbolic execution, static analysis, fuzzing, program
synthesis, SMT solvers

https://binsec.github.io/jobs

*== ABOUT US*

*OUR TEAM* - The BINary-level SECurity research group (BINSEC) is a
dynamic team of a dozen researchers, which offers a stimulating and
open-minded work environment in English. The group has frequent
publications in top-tier security, formal methods and software engineering
conferences. It is part of CEA (one of the main French research
organisations, 

[More ...]

The Journal of Systems & Software will be hosting another happy hour,
usually attended by 100s of software engineering researchers and
enthusiasts, on June 16th 2023 at 4pm CEST or 10am EDT.

This time we are extending an invitation to the community, including
authors that have recently (2022-2023) published papers at JSS or any
software engineering venue (incl. TSE, EMSE, IST, TOSEM, ICSE, FSE, and
ASE). All you have to do is to submit a video discussing your paper that
is max 3 mins. long. We will feature as many videos as possible
(depending on video length and quality) at 

[More ...]

Dear all,

The DiverSE team at Inria Rennes - Bretagne Atlantique Centre has a
24-month postdoc position, to start in November 2023.
The goal of this position is to make reproducible science more
resilient through the management of software variability.

The position is anchored in the RESIST_EA associate team together with
Simula Research Laboratory, Oslo, Norway, and the successful candidate
is expected spend some time in form of research visits there. 

[More ...]

Dear all,

A Post-Doctoral position is available as part of the funded ANR project CoMeMoV
(https://comemov.github.io) between the LIFO (https://www.univ-orleans.fr/lifo/)
(University of Orleans, France), CEA List (https://list.cea.fr/en/) and Thales
Research and Technology
(https://www.thalesgroup.com/en/global/innovation/research-and-technology).

Frama-C (https://www.frama-c.com/) is an extensible and collaborative
open-source platform dedicated to source-code analysis of C software. If offers
a specification language and various analyzers in the form of separate plugins.
The WP plugin of Frama-C can be used to prove that a given C program respects
its specification. WP provides a combination of different memory models that
collaborate together thanks to a smart but simple partitioning of 

[More ...]

Dear all,

The Université de Montpellier is funding an 18-month post-doctoral position at the LIRMM research department, to start in September 2023.

The position is open to candidates who hold (or will soon complete) a PhD in computer science, with a research background in automated reasoning, program verification, programming languages, or algorithms. 

[More ...]

*Call for Poster and tool, Journal first papers and Workshop contributions*

CSEE&T 2023
35th IEEE International Conference on Software Engineering Education and Training
https://conf.researchr.org/home/cseet-2023
Waseda University, Tokyo, Japan, August 7th-9th, 2023
(Back to back with DSA 2023 and IEEE AVS 2023)

*Important Dates*

Poster and tool track (2 pages), Journal first track (1 page):
Paper Submission 28 May 2023
Notification 12 June 2023
Camera Ready 23 June 2023
Main Conference 08-09 August 2023 

[More ...]

Dear friends and colleagues,

There is a permanent position as a Lecturer/Senior Lecturer in Applied Formal methods at Swansea University:

https://www.swansea.ac.uk/jobs-at-swansea/current-vacancies/details/?nPostingID=135966&nPostingTargetID=164854&ID=QHUFK026203F3VBQB7VLO8NXD&lg=UK&mask=suext

Closing Date 14-06-2023

We are seeking candidates with experience in applying formal methods in commercial and industrial environments, namely, in adopting and scaling formal methods to real world problems in collaboration with domain experts. The focus of the post is to drive forward applied formal methods research addressing the question of how to rise formal methods to mature applicability in software development processes. 

[More ...]

Dear SEWorld subscribers,

Chalmers University of Technology (Gothenburg, Sweden) currently has a position open for an associate professor (Swedish: docent) in software engineering (interpreted widely). The position comes with a usual teaching load of approx. two courses per academic year, and wide freedom to design your own research agenda. Promotion to professor is possible, usually after the first successfully graduated doctoral students at Chalmers. 

[More ...]

LADC 2023 - Student Forum
https://ladc.sbc.org.br/2023/student-forum/

The Latin-American Symposium on Dependable and Secure Computing (LADC)
is the major event on computer system dependability and Secure
Computing in Latin America. LADC 2023 will feature technical sessions,
workshops, tutorials, fast abstracts, keynote talks from international
experts in the area, and an industrial track. The symposium’s scope
includes recent research results on software and system dependability.
The Symposium is promoted by the Special Committee on Fault-Tolerant
Systems (CE-TF) of the Brazilian Computer Society (SBC), and ranked as
Qualis-Capes A4. 

[More ...]

The 9th International School on Software Engineering (ISE 2023)

*** Please accept our apologies if you receive multiple copies of this call
for participation***

Lecturer/Senior Lecturer in Software Engineering (Monash University,
Melbourne)
Job No.: 651414
Location: Clayton campus, Melbourne, Australia
Employment Type: Full-time
Duration: Continuing appointment

Remuneration: $107,311 - $127,432 pa Level B / $131,453 - $151,574 pa Level
C (plus 17% employer superannuation)

Job Link:
https://careers.pageuppeople.com/513/cw/en/job/651414/lecturersenior-lecturer-in-software-engineering

Closing Date: Sunday 25 June 2023, 11:55pm AEST

We are pleased to announce the Call for Papers for the Agile and Lean minitrack at The Hawaii International Conference on System Sciences (HICSS).

We seek research papers and experience reports that explore practices, tools, and techniques for agile and lean software development. We also seek to explore how agile concepts can be leveraged in other contexts (such as data science or engineering). Practitioners interested in submitting an experience report are welcome to reach out to a minitrack co-chair for support and guidance if desired. 

[More ...]

International Conference on Microservices: Call for Papers ========================================================== Fifth International Conference on Microservices October 10th-12th 2023, Pisa, Italy https://www.conf-micro.services/2023/ Important Dates --------------- - Submission deadline : June 25th, 2023 (AoE) - Notification to authors: July 9th, 2023 (AoE) - Camera-ready due: July 30th, 2023 (AoE) - Early bird registration until: July 30th, 2023 (AoE) - October 10th-12th, 2023 Theme and Topics ---------------- Microservices are pervading enterprise IT, with many big companies already adopting microservice architectures to deliver their core businesses. Microservices indeed provide an alternative to traditional software architectures, which brings various additional benefits, including increased flexibility, scalability, and improved 

[More ...]

IMT School for Advanced Studies Lucca invites applications for an Assistant
Professor position in computer security.

The candidate must have a proven track record of research on computer
security issues and must demonstrate the ability to carry out original
research in at least one of the following topics: formal methods applied to
cybersecurity; security protocols and protocol verification; security
requirements elicitation; web security, network security; infrastructure
security; cyber ranges. 

[More ...]

We invite high-quality chapters for an edited book on

* Effective Software Development with Generative Artificial Intelligence

A book to be published by Springer and edited by:

* Prof. Anh Nguyen-Duc, University of South Eastern Norway.
* Prof. Pekka Abrahamsson, Tampere University, Finland
* Prof. Foutse Khomh SWAT Lab., Mila - Quebec AI Institute, Polytechnique Montréal, Canada 

[More ...]

ASE 2023

Mon 11 - Fri 15 September 2023 Kirchberg, Luxembourg

https://conf.researchr.org/home/ase-2023

The ASE conference is the premier research forum for Automated Software Engineering. Each year, it brings together researchers and practitioners from academia and industry to discuss foundations, techniques, and tools for automating the analysis, design, implementation, testing, and maintenance of large software systems. 

[More ...]

IEEE SMARTCOMP 2023
Nashville, Tennessee, June 26-30, 2023
https://smartcomp.isis.vanderbilt.edu/
https://twitter.com/IEEESmartComp

Student Travel Grants for attending IEEE SmartComp 2023

A Post-Doctoral position is available as part of a collaboration between
the Lirmm laboratory (University of Montpellier/CNRS, France :
https://www.lirmm.fr/) and a large French company specialized in the
field of mobile application security.

The Post-Doc position relates to the domain of source code analysis and
reverse engineering, the design of mobile application analyzer allowing
to describe in detail the behavior of an Android and IoS application. 

[More ...]

Dear colleague,

we just launched a research topic on "Robotics Software Engineering" in the Robotics and AI Frontiers journal. In Frontiers' terminology, a research topic is equivalent to a special issue in other journals.

The goal of this topic is to bring together researchers with practitioners to identify new frontiers in robotics software engineering, discuss challenges raised by real-world applications, and transfer the latest insights from research to industry. We welcome contributions from both academic and industrial participants, thus fostering active synergy between the two communities. 

[More ...]

VISSOFT 2023 (11th IEEE Working Conference on Software Visualization)

Call for Papers

====================================================== Call for Papers: 2023 IEEE International Symposium on Autonomous Vehicle Software http://ieee-avs.com Dates: August 10 - 11, 2023 Venue: Waseda University, Tokyo, Japan ====================================================== Due to the application of immature and unreliable software, fatal accidents have weakened trust in the autonomous driving systems. In this regard, we must improve their safety, security and reliability. The IEEE International Symposium on Autonomous Vehicle Software (AVS) creates a unique venue for the researchers, engineers, industry players and policy makers to present the latest advancements and innovations in the theoretical work, open source projects, software applications and regulation in the autonomous vehicle software. 

[More ...]

You are warmly invited to participate in the
4th ACM/IEEE International Conference on Automation of Software Test (AST 2023); Mon 15 - Tue 16 May 2023; Melbourne, Australia
Co-located with the IEEE/ACM International Conference on Software Engineering (ICSE) 2023
Website: https://conf.researchr.org/home/ast-2023

Keynotes:

1. "Lessons from 10 Years of Automated Debugging Research", Shin Yoo, KAIST, South Korea,
2. " Automatic for the People", Andy Zaidman, Delft University of Technology, the Netherlands
https://conf.researchr.org/home/ast-2023#Keynotes 

[More ...]

Hello,

The Department of Software Engineering and Research at Sandia National Laboratories is seeking a dedicated Postdoctoral Appointee who is focused on research in software engineering for computational science and engineering (CSE), which would include exploring, developing, adapting, and adopting modern software engineering tools and practices to the CSE software domain. 

[More ...]

The Department of Computer Science, College of Arts and Science, University
of Saskatchewan, invites applications from qualified individuals for two
Lecturer Faculty positions (full-time, without term) to develop and deliver
introductory and advanced undergraduate Computer Science courses.
Candidates will be expected to engage with faculty, instructors, students,
and community partners and to contribute administrative service to the
department, college, and university. The anticipated start date is July 1,
2023. 

[More ...]

Applications are invited from qualified individuals for a tenure track
position at the rank of Assistant Professor, Department of Computer
Science, College of Arts and Science, University of Saskatchewan, to begin
July 1, 2023. Preference will be given to applicants in Software
Engineering. The successful candidate will be expected to build a
substantial, externally funded research program, teach at both the
undergraduate and graduate level, and provide high-quality graduate student
supervision. The successful candidate will be able to identify how they
will work with other faculty members in the department, units on campus,
and external and academic partners. 

[More ...]

Several Two-Year Post-Doctoral Research Positions in Connected Health for Behavioural Medicine

Canadian studies have shown that non-communicable chronic diseases (NCDs, e.g., heart disease, obesity, diabetes, cancer, respiratory disease) account for over 65% of all deaths. In addition to the human toll, NCDs consume 58% of Canada’s annual healthcare budget, costing the Canadian economy over $190 billion/year. Similar trends are observed in most other countries. Most NCDs are behavioural in nature: high levels of health risk behaviours (unhealthy eating patterns, physical inactivity, smoking, etc.) cause the onset and exacerbation of NCDs. Health interventions, whereby health professionals, working with patients, try to 

[More ...]

Dear colleagues,

We invite submissions for the Special Issue on "Advances and Challenges in Model- and Data-Based Software and Systems Engineering for Complex Systems" in the journal Electronics (https://www.mdpi.com/journal/electronics, ISSN 2079-9292).

Guest editors:
Prof. Dr. Andreas Rausch
Dr. Christoph Knieke
Institute for Software and Systems Engineering - Technische Universität Clausthal (Germany)

Topics:
The demands placed on software and system engineers have dramatically increased in recent years as the systems they develop have increased in complexity, size, and criticality as well. Novel system types, such as autonomous systems or cyber physical systems, and new technologies, such as Artificial Intelligence, are changing 

[More ...]

*** RE 2023 - The 31st IEEE International Requirements Engineering Conference ***

September 4-8, 2023

** Visit the official website: https://conf.researchr.org/home/RE-2023

In addition to the main conference, RE’23 will host thirteen workshops:

Acronym Full Name Website
AffectRE Affective Computing in Requirements Engineering Link <https://affectre2023.se.uni-hannover.de/>
AIRE Artificial Intelligence and Requirements Engineering Link <https://aire-ws.github.io/aire23/index.html>
CrowdRE Crowd-Based Requirements Engineering Link <https://crowdre.github.io/ws-2023/index.html>
EmpiRE Empirical Requirements Engineering Link <https://sites.google.com/unitn.it/empire2023>
EnviRE Environment-Driven Requirements Engineering Link <https://homepages.uc.edu/~niunn/EnviRE/EnviRE2023.html>
ESPRE Evolving Security and Privacy Requirements Engineering Link <https://cybersecurity.bournemouth.ac.uk/espre23/>
iStar i* Workshop Link <https://sites.google.com/gcloud.ua.es/istar23/>
MoDRE Model-Driven Requirements Engineering Link <https://www.modre2023.ece.mcgill.ca/>
RE4ES Requirements Engineering for Explainable Systems Link <https://re4es.se.uni-hannover.de/>
REFrame Requirements 

[More ...]

Tenure-track Assistant Professor Position in Cybersecurity
at the University of Iceland

The Department of Computer Science in the School of Engineering and
Natural Sciences at the University of Iceland seeks applicants to
fill an assistant professor position in computer science with a
specialisation in cybersecurity.

Field of Work

The candidate will carry out research in the area of cybersecurity.
In addition to research, the successful applicant is expected to
teach courses at the undergraduate and graduate level, supervise
M.Sc. and Ph.D. students, attract third-party funding and participate
actively in departmental activities. 

[More ...]

SAM 2023 - System Analysis and Modelling Conference co-located with
MODELS 2023.
October 02-03, 2023, Västerås, Sweden

http://sdl-forum.org/Events/SAM2023/index.htm

*Call for papers*
The System Analysis and Modelling (SAM) conference provides an arena for
participants from academia and industry to present and discuss the most
recent innovations, trends, experiences and concerns in modeling,
specification, analysis, implementation, and monitoring of complex
systems using ITU-T's Specification and Description Language (SDL‑2010)
and Message Sequence Chart (MSC) notations, as well as related system
design languages — including but not limited to UML, ASN.1, TTCN, SysML
and the User Requirements Notation (URN). 

[More ...]

A Postdoctoral Fellow position in Software Engineering for AI is open in
the Data-driven Analysis of Software (DAS) lab at Concordia University,
Montreal, Canada. The position is for a two-year term, starting in the
Spring or Fall 2023 (flexible).

The postdoc fellow will be involved in several projects related to the
development, analysis, and deployment of AI-based software systems. The
postdoc will be encouraged to pursue their own relevant research interests
and collaborate with the lab's members. Candidates must hold, or shortly
expect to receive, a Ph.D. in Computer Science (or a related field) and
have a proven track record 

[More ...]

Dear colleague,

Nominate outstanding dissertations for our brand new *Informatics Europe
Best Dissertation Award* now!

*Goal*
Recognising excellent PhD dissertations in informatics & support young
informatics researchers from IE’s member institutions to disseminate
their research to a broader audience.

*Award Prize*
- A prize of EUR 3,000 & the invitation to publish the awarded thesis.
- Invitation to attend the European Computer Science Summit (ECSS) 2023
and present the work at the Award Ceremony on Oct 24, 2023:
https://www.informatics-europe.org/ecss/home.html 

[More ...]

INVITATION:

*Call for Nominations*

Nancy Mead Award for Excellence in Software Engineering Education
https://conf.researchr.org/track/cseet-2023/nancy-mead-award

in relation to CSEE&T 2023: 35th IEEE International Conference on
Software Engineering Education and Training

Nomination due: 12th May 2023

The CSEE&T Steering committee is seeking nominations for the 2023
Nancy Mead Award for Excellence in Software Engineering Education.
Please nominate someone you know who has made important contributions
to software engineering education or training. See the terms of
reference and the list of previous winners below. Please note that
self-nominations are not permitted. 

[More ...]

Dear all,

We would like to invite you to participate in the sixth edition of the Software Engineering for Machine Learning Applications (SEMLA) international symposium which will take place at Polytechnique Montréal, Montréal, Canada on June 9th and 10th.

SEMLA aims at bringing together leading researchers and practitioners in software engineering and machine learning to reflect on and discuss the challenges and implications of engineering complex data-intensive software systems. We invite practitioners and researchers from all sub-fields of software engineering and machine learning to participate in such a discussion. 

[More ...]

The 13th International Workshop on Enterprise Modeling and Information Systems Architectures (EMISA 2023) will be held in Stockholm, Sweden (May 11 and 12, 2023).

EMISA 2023 is the 13. international workshop in a series that provides a key forum for researchers and practitioners in the field on design methods for information systems. The workshop series emphasizes the need for a coherent view on this field, fostering integrated approaches that address and relate all relevant aspects of enterprises (e.g., value propositions, business services, business processes, business rules, information systems, IT infrastructures), cross-cutting concerns (e.g. security, privacy, compliance) across stakeholders, designers, engineers, 

[More ...]

The Software Engineering Section at the Maersk Mc-Kinney Moller
Institute, University of Southern Denmark (SDU Odense Campus) invites
applications for a 18 months full time PostDoc position with a
possibility of extension for the project Safe and Secure Intelligent
Cyber-Physical Systems.

*Start date:*August 15^th , 2023 or as soon as possible thereafter.

**

*Application deadline: May 28^th , 2023* 

[More ...]

Dear all,

This call is now officially open. We invite you to apply to the following
postdoctoral research position at INESC TEC, within the HumanISE center (
https://www.inesctec.pt/en/centres/humanise). Deadline: April 30th.
More info and application:
https://www.inesctec.pt/en/opportunities/computer-science-AE2023-0148

You will be working within a small team extending the limits of the state
of the art, as well as contributing to applied research initiatives
developed closely with industry partners in national and European projects. 

[More ...]

Dear colleagues,

We invite submissions to a JSS Special Issue on Open Science in Software
Engineering research:

https://www.sciencedirect.com/journal/journal-of-systems-and-software/about/call-for-papers#open-science-in-software-engineering-research

Submissions should be at least four pages in length and describe a research
artefact and its potential uses for other researchers. While the Special
Issue was created to encourage submissions of extended versions of
artefacts accepted at the ICSME 2022 ROSE festival, we welcome
contributions from other authors. 

[More ...]

ECBS 2023: 8th International Conference on the Engineering of Computer
Based Systems

Malardalen University, Vasteras, Sweden

October 16 – 18, 2023

https://conf.researchr.org/home/ecbs-2023

Conference paper submission: June 16, 2023

ECBS 2023 is supported by ACM and ACM SIGSOFT.
The proceedings will be sent for indexation in the ACM Digital Library
and in
ISI Web of Science.

SCOPE AND THEME

The Engineering of Computer-Based Systems conference provides a forum for
researchers and practitioners to present research results, experiences, and
challenges in the field of systems and software engineering. Systems and
Software Engineering are about applying scientific principles to design,
develop, verify, evaluate, 

[More ...]

Åbo Akademi University invites applications for the position as Professor or Associate Professor (Level 2) in Software Engineering at the Faculty of Science and Engineering (FNT), starting 1 December 2023 or as agreed. The location of work is Turku, Finland.

Åbo Akademi University (ÅAU) is an internationally acknowledged research university with an extensive responsibility for providing education in Swedish in Finland. The Faculty of Science and Engineering develops solutions and processes for a sustainable society. Our research is done in cooperation with the industry, research institutes and other universities both in Finland and abroad. The faculty is located in Turku 

[More ...]

[Please accept our apologies if you receive multiple copies of this message]

************************** EUC-2023 Call for paper and workshops

Dear Members of Academia,

We are writing to let you know that we have just opened the call for
submissions for the 2023 Nokia Bell Labs Prize. The Bell Labs Prize
gives researchers around the globe the chance to collaborate with
world-renowned Nokia Bell Labs researchers and to shine a spotlight on
their innovations, showing their potential to manifestly change the
way we live, work and communicate. 

[More ...]

The Software Engineering Section at the Maersk Mc-Kinney Moller Institute,
University of Southern Denmark (SDU Odense Campus) invites applications for
a 18 months full time PostDoc position with a possibility of extension for
the project Safe and Secure Intelligent Cyber-Physical Systems.

*Start date:* August 15th, 2023 or as soon as possible thereafter.

*Application deadline: May 28th, 2023* 

[More ...]

Applications are invited for a postdoctoral research position with the Nanda Lab led by Professor Lionel Briand (www.nanda-lab.ca<http://www.nanda-lab.ca/>) in the school of Electrical Engineering and Computer Science at the University of Ottawa, Canada. The targeted area is trustworthy AI, with a focus on the testing and verification of deep learning and reinforcement learning models and systems. However, all CVs in the general area will be considered. 

[More ...]

Dear colleagues,

CIbSE 2023 is only two weeks away.

We encourage you to register to participate in the excellent programme we
have prepared for this edition of CIbSE 2023.

Below you will find information on the various activities.

Registration is open. We have very affordable prices. You can register
through the following link
https://conf.researchr.org/attending/cibse-2023/register

We have also obtained very good prices in hotels. Specifically at the
Regency Golf Hotel Urbano, 62 USD per night (
https://conf.researchr.org/venue/cibse-2023/cibse-2023-mvd). 

[More ...]

Dear all;
The German University of Technology in Oman (GUtech) is seeking to hire an Assistant Professor in Cybersecurity. The details related to the position are as follows:
Department: Department of Computer Science
Contract Type: Academic - Full time
Closing Date: April 30, 2023
Requirements and Competencies
- Candidates must have a PhD in Cyber Security. A PhD in Computer Science, Computer Engineering, or related fields is also acceptable provided that the candidate has strong teaching and research background on cyber security.
- Candidates must demonstrate excellence in teaching undergraduate/graduate courses and able to prove a minimum of 3 years 

[More ...]

Hello everyone,

This year we are having the first ACM Student Research Competition (SRC
<https://src.acm.org/about>) as part of ISSTA/ECOOP 2023!

The deadline for submitting 2 page abstracts is April 15. SRC is a great
way for undergraduate and graduate students to get feedback on on-going
work, and practice giving talks and making posters. You can find more
information here
<https://2023.issta.org/track/ecoop-issta-2023-student-research-competition>. 

[More ...]

We are pleased to invite you to submit papers for the 23rd International Conference on Runtime Verification (RV'23), which will take place in Thessaloniki, Greece on October 3-6, 2023.

IMPORTANT DATES

- Paper submission: 15 May 2023
- Notification: 30 June 2023
- Camera-ready: 30 July 2023
- Conference: 3-6 October 2023

The complete Call for Papers can be accessed at: https://rv23.csd.auth.gr/calls 

[More ...]

Dear all, The School of Information Engineering  at the Yangzhou University  has a faculty complement of 70 researchers active in the various areas of software engineering and computer science and its strength has rapidly been growing in recent years. We are now inviting applications for three fully funded Postdoctoral researcher positions. The school is particularly interested in candidates with interest and expertise in the following areas: - Software Engineering - Cybersecurity - Data science and analytics - Industrial Internet of things - Blockchain Technology We are especially interested in research expertise related to software engineerin , data and 

[More ...]

The School of Big Data and Software Engineering at Chongqing University is
looking for Assistant, Associate, and Full Professors in Software
Engineering.

Chongqing University (CQU) is a key national university in China, directly
supported by the State Ministry of Education. Founded in 1929, Chongqing
University had become a national comprehensive university consisting of six
colleges in liberal arts, science, engineering, information technology, law
science, and medical science. The university now has a total enrollment of
40,000 students and a total number of 5,400 staff members. 

[More ...]

CALL FOR PAPERS

IEEE Software Theme Issue:
From Idea to Impact: Connecting Research and Practice

Submission Deadline: 30 June 2023
Review Decision: 17 November 2023
Publication Date: March 2024

Software is a driving force in today's world. However, many businesses
miss out on opportunities to turn innovative ideas into successful
products and services. Companies struggle to transfer academic results
and rather duplicate them in their research labs with more focus on
practice. Yet, universities and academic research are not considering
industry viability of their prototypes. The result is business risk such
as integration with legacy systems and future technical debt 

[More ...]

Through various budget sources, including SIGSOFT CAPS (which requires
reimbursement to individuals) and a separate complimentary childcare (i.e.,
crèche facilities at the conference), ICSE 2023
<https://conf.researchr.org/home/icse-2023> will be providing childcare
support. This year, we are implementing the Diversity and Inclusion Plan of
ICSE 2023
<https://conf.researchr.org/attending/icse-2023/Diversity+and+Inclusion+Plan>
and encourage attendees who bring their child/children to Melbourne,
Australia, to apply for this support. To apply, please fill out this form
<https://docs.google.com/forms/d/1d7nQyqKe1LAdIfWoldRc_OuvRpolJNK-D9cXL8dh8os/edit>
by April 14, 2023. The notifications will be sent by April 28, 2023.
ICSE 2023 is pleased to offer complimentary childcare for families with
children between the ages of 12 months to 

[More ...]

Dear Colleagues,

Based on your expertise, I would like to draw your attention to the NEMO
Summer School Series (https://nemo.omilab.org/) and kindly ask you to
encourage students, and researchers from your network to participate:

* NEMO is a two-week summer school that takes place at the University of
Vienna and is the international educational platform of OMiLAB NPO
(www.omilab.org/brochure [1]). NEMO2023 TAKES PLACE BETWEEN JULY 17TH
AND 28TH, 2023. 

[More ...]

As a PostDoc in Software Engineering who is interested to work in the
application domain of marine science, you may apply to the KiTE – Kiel
Training for Excellence programme of Kiel University, funded within the
COFUND-Programme of the Marie Skłodowska-Curie Actions (MSCA) is
offering funding for up to 8 postdoc positions at Kiel University,
Germany / Closing date: May 31, 2023, 23:59 CET 

[More ...]

Dear all

Software Engineering is an important theme in the AAMAS conference,
including topics such as high-level models of systems, verification,
programming abstractions, and methodologies. The Engineering MAS workshop,
which will be co-located with AAMAS, is specifically devoted to software
engineering. In addition, the tutorials and demos will feature software
engineering content.

Early registration deadline is April 3. Details below. 

[More ...]

Department of Computer Science and Operations Research (DIRO),
University of Montreal

The GEODES Software Engineering research group
(geodes.iro.umontreal.ca/) has 1 Postdoc position for 1 year available
for research in the intersection of Artificial Intelligence and Software
Engineering.

The research projects are related to the adaptation and application of
deep learning techniques to software engineering and vice versa. 

[More ...]

---- Call for Talks ----
Community Over Code (former ApacheCon)

Community Over Code 2023 (former ApacheCon) will be in Halifax, Canada, in October 2023, and is now open for your talk proposal submissions. Submit proposals by 00:01 UTC on July 13th, 2023. Please do not wait until the last minute.

The call is here: https://communityovercode.org/call-for-presentations/
Submit your talk proposal here: https://asf.squibble.dev/ 

[More ...]

THE 24th INTERNATIONAL CONFERENCE ON FORMAL ENGINEERING METHODS

## Overview

ICFEM (International Conference on Formal Engineering Methods) is an international leading conference series in formal methods and software engineering. Since 1997, ICFEM has been serving as an international forum for researchers and practitioners who have been seriously applying formal methods to practical applications. Researchers and practitioners, from industry, academia, and government, are encouraged to attend, present their research, and help advance the state of the art. ICFEM is interested in work that has been incorporated into real production systems, and in theoretical work that promises to bring practical and tangible 

[More ...]

Professor Alvine Belle is looking for a postdoc to work on a research
project at the crossroads of Software Engineering and Machine Learning
(ML), with applications in autonomous Systems.

The successful candidate will be hired at York University (Canada) and will
work under the supervision of Professor Belle (
https://lassonde.yorku.ca/users/alvinebelle ). The successful candidate is
expected to propose and implement new approaches supporting the model-based
assurance of ML-enabled autonomous systems. The successful candidate is
also expected to lead existing research projects, to mentor graduate and
undergraduate students, and to publish in top venues (e.g., IEEE TSE, ICSE,
ASE). 

[More ...]

Full-time Tenure-Track Faculty Position in Cybersecurity at the University of Mons

http://informatique.umons.ac.be/job_offers<https://eur02.safelinks.protection.outlook.com/?url=http%3A%2F%2Finformatique.umons.ac.be%2Fjob_offers&data=05%7C01%7C%7C32cb3f13b66a42a8445608db2f80f0a8%7Ccc7df24760ce4a0f9d75704cf60efc64%7C1%7C0%7C638156003061806269%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C3000%7C%7C%7C&sdata=WzuVGDbFqEn1Q8hGSCgT8FHOtOTpn27Vur37fwOA9s8%3D&reserved=0>

The University of Mons in Belgium announces the opening of a full-time tenure-track faculty position at the assistant professor level. The position is opened jointly in the Faculty of Engineering and the Faculty of Science, with a starting date of September 1st, 2023. In a first stage, the person will be appointed for a period of three years, which can be extended with two extra years. The definitive appointment will be decided during or at the end of this period. The appointed person will take the lead of 

[More ...]

********** CALL FOR PAPERS & WORKSHOP/TUTORIAL PROPOSALS **********

IWSM-MENSURA 2023

September 14-15, 2023, Rome, Italy

Website: https://www.iwsm-mensura.org/

Submission link: https://easychair.org/conferences/?conf=iwsmmensura2023

*Aim and Scope*

IWSM-MENSURA 2023 is the Joint Conference of the 32nd International
Workshop on Software Measurement (IWSM) and the 17th International
Conference on Software Process and Product Measurement (MENSURA).

It is a premier international conference focused on software measurement. 

[More ...]

INVITATION:

**************** CALL FOR PAPERS & WORKSHOP/TUTORIAL PROPOSALS ****************

IWSM-MENSURA 2023
September 14-15, 2023, Rome, Italy
Website: https://www.iwsm-mensura.org/
Submission link: https://easychair.org/conferences/?conf=iwsmmensura2023

*Aim and Scope*

IWSM-MENSURA 2023 is the Joint Conference of the 32nd International Workshop on Software Measurement (IWSM) and the 17th International Conference on Software Process and Product Measurement (MENSURA).
It is a premier international conference focused on software measurement. Over the past three decades, the conference has built its reputation by attracting leading-edge researchers, leaders, and innovators with talks, tutorials, and discussions. The main goal is to share experiences, challenges, and solution approaches to facilitate technology transfers from best 

[More ...]

FACS 2023 - Call for Papers
https://facs-conference.github.io

19th International Conference on
Formal Aspects of Component Software

19-20 October 2023 (online)

Call for papers:

DSA 2023

The 10th IEEE International Conference on Dependable Systems and Their Applications

http://dsa.techconf.org<https://nam02.safelinks.protection.outlook.com/?url=http%3A%2F%2Fdsa.techconf.org%2F&data=05%7C01%7Cewong%40utdallas.edu%7C5b49de611ec5417861b608db2be5346b%7C8d281d1d9c4d4bf7b16e032d15de9f6c%7C0%7C0%7C638152035650004898%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C3000%7C%7C%7C&sdata=U3XrOJw8G58hdF46vSaF5MgOrHK67vYBOH5blhJ1ozM%3D&reserved=0>

August 10-11, 2023
Waseda University, Tokyo, Japan

Uppsala University is a comprehensive research-intensive university with a
strong international standing. Our ultimate goal is to conduct education
and research of the highest quality and relevance to make a long-term
difference in society. Our most important assets are all the individuals
whose curiosity and dedication make Uppsala University one of Sweden’s most
exciting workplaces. Uppsala University has over 54,000 students, more than
7,500 employees and a turnover of around SEK 8 billion. 

[More ...]

* Context:

The CEA LIST offers a postdoc position for 18 months (renewable for an additional 18 months) in Saclay, France, at Nano Innov (https://list.cea.fr/fr/). Start as soon as possible.

Runtime Verification (RV) is at the crossroads of formal verification and monitoring. It consists in analyzing system executions, as observed by means of a monitoring architecture, in order to verify their conformity to a formal reference model, characterizing the set of acceptable behaviors of the system. 

[More ...]

20th ACS/IEEE International Conference on Computer Systems & Applications

(AICCSA 2023) 4 – 7 December2023

https://aiccsa.net/AICCSA2023/        

The ACS/IEEEInternational Conference on Computer Systems and Applications (AICCSA) is thepremier conference covering all contemporary areas in computer systems andapplications and hence it is an international forum for leading researchers andpractitioners in this important and rapidly changing discipline. AICCSA 2023will be held in the lovely and highly vibrant city of Smart Village, Giza,Egypt. 

[More ...]

The Modelling and Software Engineering research group (http://miso.es), at the Computer Science department of the Universidad Autonoma in Madrid (Spain), has an open post-doc position on Software Engineering for chatbot development.

The position is associated with the project SATORI-UAM: "Foundations for Automated Chatbot Engineering", funded by the Spanish Ministry of Science and Innovation. The project aims at developing a suite of techniques and tools for (task-oriented) chatbot development, including Domain-Specific Languages for chatbot modelling, testing, static analysis, reutilization, migration and re-engineering methods. The project is in collaboration with the Models&Languages lab (https://models-lab.github.io/) of the University of Murcia. 

[More ...]

(sorry for the duplicates)

Special Issue of the Journal of Information and Software Technology (IST) on "Application of causal modeling and inference methods in software engineering: Approaches, Challenges, State-of-the-Art and Prospects."

https://www.sciencedirect.com/journal/information-and-software-technology/about/call-for-papers#application-of-causal-modeling-and-inference-methods-in-software-engineering-approaches-challenges-state-of-the-art-and-prospects

The recent growth and development of data science practices and artificial intelligence has brought more attention to the issue of causality. The gold standard for estimating causal effects is to conduct controlled experiments with randomized controlled trials. However, when this is not possible (e.g., for practical or ethical reasons), causal effects must be estimated from observational data (i.e., data that were not generated in randomized controlled trials) or judged by subject matter 

[More ...]

CNRS is opening a research professorship in security at the software-hardware interface.

Deadline: April 14, 2023

See [ https://emploi.cnrs.fr/Offres/CPJ/CPJ-2023-014/Default.aspx?lang=EN | full offer ] .

https://emploi.cnrs.fr/Offres/CPJ/CPJ-2023-014/Default.aspx?lang=EN

The position is tenure-track, followed by permanent appointment as a senior researcher ( directeur de recherche ) at CNRS.

Note: the pay quoted is after most payroll taxes (retirement pension, etc.) have been deduced. 

[More ...]

*CfPart - CHASE 2023: 16th International Conference on Cooperative and
Human Aspects of Software Engineering*

Sun 14 - Mon 15 May 2023

https://conf.researchr.org/home/chase-2023

CHASE is a high-quality venue for research related to the cooperative and
human aspects of software engineering. Researchers and practitioners have
long recognized the need to investigate the cooperative and human aspects.
However, their articles have been scattered across many conferences and
communities. The CHASE conference provides a unified forum for discussing
high-quality research studies, models, methods, and tools for human and
cooperative aspects of software engineering. We provide a meeting place for
academic, industry, and practitioner 

[More ...]

CALL FOR PAPERS
Combined
30th International Workshop on Expressiveness in Concurrency
and 20th Workshop on Structural Operational Semantics
(EXPRESS/SOS 2023)

https://express-sos.github.io/ <https://express-sos.github.io/>
Antwerp (Belgium)
September 18, 2023, Affiliated with CONCUR 2023

Submission deadline (full and short papers):
Friday, June 30, 2023

Applications for ISAPS are open.
Application deadline is: April 6 2023
Notification of acceptance: April 17 2023

We are hiring a postdoctoral researcher in Software Engineering and Program Analysis at the Vienna University of Technology, Austria.

If you are interested, please apply here: https://jobs.tuwien.ac.at/Job/204547

Deadline: May 25, 2023

Expected start: September 2023

Best regards,

Maria Christakis

https://mariachris.github.io

IE University is ranked by QS among the 25 Most Innovative Universities in the World and #7 in Data Science with Business Analytics.

IE University is an internationally recognized institution originally founded as a business school. We consider ourselves the most international institution of higher education, with approximately 85% of our students coming from outside Spain and over 120 countries represented on 

[More ...]

Dear all
On six months the ACM womENcourage https://womencourage.acm.org/2023 conference will happen. And the deadline for submitting Poster, Workshop & Tutorial is May 1st, 6 weeks from now.
Thanks to the hard work of our chairs, we have now 8 sponsors, of which 3 academic, 3 gold, 2 silvers. We are happy but we have still room for more cooperation partners so we will be able to provide more scholarships to students.
One keynote is confirmed and the other one will be released soon.
It is now that we need to work hard to convince our students and cooperation partners 

[More ...]

Hi All,

Apologies if you receive multiple copies of this initial call for papers.

Please forward to your colleagues, networks and contacts who might be interested.

The 2023 IFIP Performance conference will be held in Evanston/Chicago, USA, on November 13-17, 2023, and the website is now active at https://performance2023.sciencesconf.org/

The IFIP Performance conference aims to bring together researchers interested in understanding and improving the performance of computing and communication systems by means of state-of-the-art quantitative models and solution techniques. Research papers on the design of algorithms, mathematical analysis and modelling, simulation and measurement techniques for computer systems or communication networks 

[More ...]

(Apologies for multiple receptions)

ACM/IEEE 26th International Conference on Model-Driven Engineering Languages and Systems

October 01-06, 2023, Vesterås, Sweden

https://conf.researchr.org/home/models-2023

MODELS is the premier conference series for model-based software and systems engineering. Since 1998 MODELS has covered all aspects of modeling, from languages and methods to tools and applications. MODELS participants originate from a wide variety of backgrounds, including researchers, academics, engineers, and industry professionals. 

[More ...]

Multiple ERCIM postdoctoral positions available at ITIS-UMA in Malaga

XP 2023 - 24th International Conference on Agile Software Development CALL FOR SUBMISSIONS - RESEARCH WORKSHOPS

XP hosts a variety of high-quality workshops, providing a forum for groups of 20-40 (or more) participants to meet and discuss research questions with peers to share new and exciting ideas. Research workshops are usually very effective for defining new research agendas, enhancing collaboration, and incubating scientific communities. Submissions from industry practitioners are also welcome. 

[More ...]

Te Tari Pūhanga Pūmanawa Rorohiko | The Department of Computer Science and Software Engineering, located in Ōtautahi Christchurch, Aotearoa New Zealand seeks the appointment of one Lecturer / Senior Lecturer (eq. tenured Assistant/Associate Professor in US system) in Cybersecurity.

In a nutshell

* Full-time 37.5 hours per week (1.0 FTE)
* Continuing (permanent) position
* Generous annual leave provisions and professional development opportunities 

[More ...]

We are hiring in the Computer Science Department @ Durham University.
(deadline soon! Closing Date : 31-Mar-2023, 11:59:00 PM)

2 posts - Job Description
Assistant Professor in Artificial Intelligence and Human Systems

The Assistant Professors will join our Research Group Artificial Intelligence and Human Systems Group (https://aihs.webspace.durham.ac.uk/)

Software Engineering (SE) is one of our research Strands
https://aihs.webspace.durham.ac.uk/software-engineering/, which I lead. 

[More ...]

Teaching Professor (all ranks) in Software Engineering

Dear Colleagues,

Informatics Europe proudly presents the 8th edition of Minerva
Informatics Equality Award, devoted to initiatives seeking to encourage
and support the careers of women in informatics research and education.

Dear Colleagues,

We kindly invite you to nominate yourself to be part of the PC of ESEC/FSE'24.

Please use the following link to access the nomination form:

https://forms.gle/9B5LsXRL4CbZhRmZA

The nomination form will be available until April 7, 2023.

Many thanks and have a great week ahead!

Yours Sincerely,

David and Lin
ESEC/FSE'24 PC Co-Chairs

ASSISTANT/ASSOCIATE PROFESSOR (TENURE TRACK) IN SOFTWARE ENGINEERING

Are you a talented computer scientist with a proven background in Software Engineering? Then Vrije Universiteit Amsterdam would like to get to know you. Apply for the position of:

Location: AMSTERDAM
FTE: 0.8 - 1
JOB DESCRIPTION

The department of Computer Science at the VU maintains highly successful programs in various areas, including Artificial Intelligence, Bioinformatics, Computer Systems and Security, Software Engineering and Sustainability, and User-Centric Data Science. We would like to expand our department with a new position covering both research and education in topics related to Software Engineering. 

[More ...]

[please circulate; apologies for cross/multiple postings]

Dear colleagues,
Please find the advert for up to three posts of Assistant Professor
(Lecturer) in Computing
and Software Engineering below:
https://hr-jobs.lancs.ac.uk/Vacancy.aspx?ref=0119-23

Kind regards,
Marco

Dr Marco Caminati | Assistant Professor (Lecturer) in Computer Science
Lancaster University Leipzig
Strohsack-Passage | Nikolaistraße 10 | 04109 Leipzig
Germany
Landline: +49 341 339 77 646
www.lancasterleipzig.de
GPS: 51.3410, 12.3782

Please accept our apologies if you receive multiple copies of this CfP.

6th International Conference on Applied Informatics

26 to 28 October 2023

https://icai.itiud.org

Proceedings: CCIS by SPRINGER (https://link.springer.com/conference/icai2)

Abstracting/Indexing: DBLP, Google Scholar, EI-Compendex, ISI Proceedings,
SCImago, Scopus.

Best papers: SN Computer Science by Springer (
https://www.springer.com/journal/42979)

Abstracting/Indexing: ACM, DBLP, Google Scholar, Scopus.

CALL FOR PAPERS

ICAI 2023 will be held at the Universidad Ecotec located in Guayaquil,
Ecuador. 

[More ...]

Call for Papers:

IEEE Software Special Issue on Observability and Explainability for Software Systems Decision Making

Description:

The scale of software complexity is a near consensus from academics, industries, and governments that the influence is on how we make decisions in software systems, and how software systems interact with humans. Many technologies have been advanced to address the challenges. In this special issue, we aim to explore the opportunities to bring observability and explainability towards the improvement of transparency of complex and large-scale software systems. Observability sustains in-time, continuous and configurable reconstruction of the internal states of software systems at 

[More ...]

Dear Colleagues, *** Apologies for Cross-Postings *** The Internet of Things (IoT) is an exciting research area that brings together academia, industry, society, and governmental agencies due to the innovative advances connected devices and systems bring to society. As the IoT becomes more established and evolves, its focus widens from connecting new devices, services, and functionalities to the Internet, to achieving seamless and autonomous interaction among heterogeneous systems and their users. Resulting networks may therefore take advantage of intelligent and interoperable people, things, and services from both the physical and virtual world, creating distributed ecosystems that are capable of providing 

[More ...]

Dear Colleagues,

We are pleased to announce an opening for the position of Associate Professor at IUT Villeurbanne (Université Claude Bernard Lyon 1). The successful candidate will teach software development courses with a special focus on web development and conduct research within the "Cognition and Interactions" department of LIRIS lab with : machine learning, human-machine interaction, and cognitive systems.
For the complete job description, please, check the following link: https://liris.cnrs.fr/sites/default/files/emploi/iut_-_0691174d_-_2528-4710_-_fop.pdf 

[More ...]

The 39th IEEE International Conference on Software Maintenance and Evolution (ICSME 2023) - October 1-6, 2023, Bogota, Colombia. https://conf.researchr.org/home/icsme-2023

**Call for Submissions**

Dear colleagues,

BPMDS 2023 is still open for submissions.

The topics addressed by the BPMDS series are focused on all kind of
business processes and their IT supports. One of the major objectives of
the BPMDS series is to discuss and to learn about concepts, models and
techniques to enhance the ability to engineer software systems closer
the business requirements. In this way, process models and enterprise
models are considered and tackled as corner stones. 

[More ...]

Dear Moderator,
following, I am sending the call for papers for ICTSS 2023, in case it is
not possible to send it because of inconsistencies with guidelines let me
know.

Thank you
Kind regards
Silvia Bonfanti

Call for Paper

IEEE International Conference on Cloud Computing (IEEE CLOUD 2023)
July 2-8, 2023, Chicago, Illinois, USA
https://conferences.computer.org/cloud/2023/

IEEE CLOUD is the flagship conference focusing on innovative cloud computing across all "as a service" categories (XaaS). This includes modeling, developing, publishing, monitoring, managing, delivering, and scaling XaaS offerings from the core to the edge. The conference is a prime international forum for researchers, academics, businesses, industry, and standard bodies to exchange the latest fundamental advances in the state of the art and practice of cloud computing, identify emerging research topics, and define the future of cloud computing. 

[More ...]

Call for Papers
The 9th IEEE International Conference
on Big Data Computing Service and Machine Learning Applications
(IEEE BigDataService 2023)
https://ieeebigdataservice.com/

As computing systems become increasingly larger, more complex, distributed,
and integrated, Big Data technologies and services are ever more vital.
IEEE BigDataService 2023, part of the IEEE CISOSE 2023 congress, provides
an internationally leading forum for researchers and practitioners in
academia and industry to exchange innovative ideas and share the latest
results, experiences, and lessons learned in this crucial domain. 

[More ...]

ASSISTANT PROFESSOR (TENURE TRACK) in INFORMATION SYSTEMS FOR RESPONSIBLE DIGITAL ECOSYSTEM DESIGN

Are you a talented computer scientist? Do you aim to research the design of information systems for fair and responsible ecosystems? Then, please apply for this assistant professor (tenure track) position at Vrije Universiteit Amsterdam (VU).

Location: AMSTERDAM FTE: 0.8 - 1
Job description
Fair and responsible software ecosystems aim at networks of actors with environmental and societal goals, for example as stated in the Sustainable Development Goals (SDGs) of the United Nations, rather than to profit maximization only. Examples include information systems research topics focusing on the 

[More ...]

Sun 14 - Mon 15 May 2023
https://conf.researchr.org/home/TechDebt-2023

TechDebt 2023 brings together leading software engineering researchers
and practitioners to discuss approaches for managing various types of
Technical Debt, to share experiences and best practices, and to
identify key challenges for industry and academia.

TechDebt 2023 will be the 6th International Conference on Technical
Debt and will be held in May 2023 in Melbourne, Australia. As in
previous editions, TechDebt will be co-located with the International
Conference on Software Engineering (ICSE 2023). 

[More ...]

Special Issue on Industrial IoT networks to support future Cloud-to-Things
applications

– Ad Hoc Networks, Elsevier –

The Cloud-to-Things (C2T) continuum is a novel paradigm that extends the
cloud-computing centralized architecture by introducing intermediate
computing layers to host industrial applications and services with
stringent requirements in terms of latency and reliability in the
communication with IoT devices and sensors. 

[More ...]

The Software Innovation NZ (https://softwareinnovation.nz/) is organizing The 1st SI^NZ International Workshop on Software Engineering (https://si-nz-workshop-2023.github.io/). The workshop is scheduled to take place on May 22nd and 23rd, 2023 at the University of Auckland, in Auckland, New Zealand. If you will be in Melbourne, Australia for ICSE 2023, the workshop will conveniently take place just after ICSE 2023 ends. 

[More ...]

VL/HCC 2023: IEEE Symposium on Visual Languages and Human-Centric Computing

https://conf.researchr.org/home/vlhcc-2023

The IEEE Symposium on Visual Languages and Human-Centric Computing is the
premier international forum for research on this topic. Established in
1984, the mission of the conference is to support the design, theory,
application, and evaluation of computing technologies and languages for
programming, modeling, and communicating, which are easier to learn, use,
and understand by people. 

[More ...]

Vacancy: Assistant/Associate Professor Energy-efficient Software Development
University of Twente, Netherlands
Formal Methods and Tools group
https://utwentecareers.nl/en/vacancies/1087/assistantassociate-professor-energy-efficient-software-development/

-- The Context
The Computer Science department of the University of Twente is expanding. Therefore, we are hiring 6 new faculty members, to strengthen our research in Artificial Intelligence, Cyberphysical systems and Software Engineering in the domains of (1) e-Health and (2) energy and sustainability. These new faculty members will be assigned in different research groups, but inter-group collaboration with other researchers working on these themes is considered essential to reach our overall ambitions. One of the six positions is in the Formal Methods 

[More ...]

Dear colleagues,

As PC chair of ISSTA'24, let me point you to this form for nominating
candidates for the program committee (PC):

https://forms.gle/sxqnGrR6Y6xRKQrZ9

As usual, the PC of ISSTA'24 will be gathered by inviting the most
suitable researchers in the field of software testing and analysis.
However, as I may not be aware of some suitable candidates, I'm open for
nominations. Self-nominations are welcome. PC members typically have
completed their PhD and have published at ISSTA and/or related venues.
For questions, please reach out to me. 

[More ...]

Applications are invited for a postdoctoral position in the Systems
Software Research Group (https://www.ssrg.ece.vt.edu/) at Virginia Tech (
https://www.vt.edu/), USA. The focus of the position is to develop
techniques for reasoning about and verifying concurrency errors, especially
in binary code. The position is part of an ongoing DARPA-funded project
that is developing trustworthy tools for binary verification at scale.
Opportunities exist to investigate a broad set of topics including logic
frameworks for reasoning about safety properties of concurrent programs,
security vulnerabilities of concurrent programs, and automatic patching
with provable security guarantees. Opportunities also exist to investigate
project-relevant topics of mutual 

[More ...]

CALL FOR PAPERS

18th Conference on Computer Science and Intelligence Systems (FedCSIS’2023)

Warsaw, Poland, 17–20 September, 2023

(IEEE: #57573, 70 punktów parametrycznych MEiN)

www.fedcsis.org

Strict submission deadline: May 23, 2023, 23:59:59 AOE (no extensions)

Please feel free to forward this announcement to your colleagues and
associates who could be interested in it.

KEY FACTS: Proceedings: submitted to IEEE Digital Library; indexing:
DBLP, Scopus and Web of Science; 20 Technical Sessions in 5 Tracks;
Doctoral Symposium; Data Mining Competition. 

[More ...]

ACM Journal of Data and Information Quality (JDIQ)
Special Issue on Software Engineering and AI for Data Quality
https://dl.acm.org/pb-assets/static_journal_pages/jdiq/pdf/CFP_ACM_JDIQ_SI_SEA4DQ_2023_v1.pdf

Guest Editors:
• Sagar Sen, SINTEF (Norway), [log in to unmask]
• Andreas Metzger, The University of Duisburg-Essen (Germany),
[log in to unmask]
• Foutse Khomh, Polytechnique Montréal (Canada), [log in to unmask]
• Phu Nguyen, SINTEF (Norway), [log in to unmask]

Modern systems are centered on data, using data in novel and intelligent
ways. One key driver for increased data availability are data spaces and
data sharing platforms, which are booming . Another key driver is
cyber-physical systems (CPS)/Internet of Things (IoT), which have been
realized in many industrial sectors and application 

[More ...]

Call for Participation

Dear SEWorld community,

We are pleased to announce the Software Engineering @Salerno Week, an international event which will be held on 12-15 June, 2023 within the University Campus located in Fisciano (close to Salerno). The SE week is organized by the Software Engineering (SeSa) Research Group. Salerno is located in Southern Italy (about 50 Km far from Naples) and it is very close to some of the most beautiful and historical places of Italy, such as the Amalfi Coast, Capri, Pompei, and Paestum. 

[More ...]

Eindhoven University of Technology (Eindhoven, The Netherlands) is looking for Assistant, Associate, and Full Professors - Mathematics and Computer Science!

We are looking for 25 new colleagues to complement our department, and we welcome applications in all areas of computer science, mathematics, data science, and artificial intelligence. Appointments can be at Assistant, Associate, or Full Professor level, depending on the seniority of your profile. 

[More ...]

AMiR Lab at Toronto Metropolitan University (TMU), formerly Ryerson University, is seeking a highly motivated postdoctoral fellow or a research associate to join our research team. Research opportunities exist in the study of large-scale cloud-based software systems.

The position is for a period of one year, with the potential for extension considered on a yearly basis thereafter. Benefits will be offered alongside the one-year contract. 

[More ...]

THREE TENURE-TRACK POSITION IN SOFTWARE ENGINEERING, DATA SCIENCE, and PARALLEL, DISTRIBUTED &HIGH-PERFORMANCE COMPUTING @ Université du Québec à Montréal.
Deadline : March 31st, 2023 @ 5 :00 PM EST

The department of computer science of the Université du Québec à Montréal (https://info.uqam.ca<https://info.uqam.ca/>) seeks highly qualified candidates for three tenure track positions in: 

[More ...]

We have one 3-year postdoc position available at Kristiania University College, Oslo, Norway.

The position is funded by the European Research Council (ERC), via the ERC Consolidator Grant named: "Using Evolutionary Algorithms to Understand and Secure Web/Enterprise Systems" (EAST).
The primary objective of the EAST project is to provide novel automated solutions to solve the oracle problem in software security. We will achieve this goal by combining ideas and technologies from the different fields of software testing, evolutionary computation and information security.
We will design novel techniques based on Artificial Intelligence to automatically detect several kinds of security vulnerabilities for 

[More ...]

INVITATION:

INVITATION

INVITATION

Dear Colleagues, We are happy to invite you for submissions to Internetware 2023(https://conf.researchr.org/home/internetware-2023).

Important Dates:

Abstract Deadline: April 10, 2023
Submission Deadline: April 15, 2023
Notification of Acceptance: May 29, 2023
Camera-Ready Version: TBD
Detailed Information:

With the Internetware paradigm, the software is architected like the Internet, developed with the Internet, operated on the Internet, and provided as services via the Internet. In the open, dynamic, and constantly changing environment of the Internet, Internetware systems need to be autonomous, cooperative, situational, evolvable, emergent, and trustworthy. These requirements pose special challenges for software technologies to support the construction, deployment, and use 

[More ...]

The University of Bergamo has an open position as RTD-B in
computerscience and computer engineering.

An RTD-B is the equivalent of an Assistant Professor position in
theItalian system. The position includes the possibility to apply
forfunding. The promotion to Associate Professor is automatic after
3years, in case the researcher has obtained the national qualification
as associate professor. Inmost cases, the University of Bergamo has
lately updated the positionbefore the 3 years. 

[More ...]

SEPA 2023: 15th International Symposium Software Engineering Processes and
Applications
Link: http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=171724
https://sites.google.com/view/ssepa/home

When Jul 3, 2023 - Jul 6, 2023
Where Athens, Greece
Submission Deadline Mar 26, 2023
Notification Due Apr 16, 2023
Final Version Due May 7, 2023
*Categories* <http://www.wikicfp.com/cfp/allcat> software applications
<http://www.wikicfp.com/cfp/call?conference=software%20applications>
artificial
intelligence
<http://www.wikicfp.com/cfp/call?conference=artificial%20intelligence>
advanced
applications
<http://www.wikicfp.com/cfp/call?conference=advanced%20applications> software
engineering
<http://www.wikicfp.com/cfp/call?conference=software%20engineering>

Call For Papers

SEPA 2023: 15th International Symposium on Software Engineering Processes
and Applications
Publisher- Springer LNCS, Special issues- in Several SCIE/SCOPUS Indexed
Journal 

[More ...]

*** Last Call for Special Track Proposals ***

10th European Conference On Service-Oriented And Cloud Computing (ESOCC 2023)

October 24-26, 2023, Golden Bay Beach Hotel, Larnaca, Cyprus

https://cyprusconferences.org/esocc2023/

AIM AND SCOPE

The European Conference on Service-Oriented and Cloud Computing (ESOCC) is the premier
conference on advances in the state of the art and practice of Service-Oriented Computing and
Cloud Computing in Europe. The main objectives of this conference are to facilitate the
exchange between researchers and practitioners in the areas of Service-oriented Computing
and Cloud Computing and to foster future collaborations in Europe and beyond. 

[More ...]

Multiple research positions, including a postdoc position are available for exciting research programme in software engineering that tackles a fundamental issue of our time, Resilient Human-AI Collaboration.

For more information see: https://www.linkedin.com/jobs/view/3460541895/

The programme will develop techniques for reasoning about human behaviour and preferences and enabling them to cooperate with autonomous agents. The research will be informed by software engineering practice and grounded in real-world cases, in particular in emergency scenarios. 

[More ...]

Elsevier Journal of Systems and Software
Special Issue on Software Engineering for Hybrid Quantum Computing Systems
https://www.sciencedirect.com/journal/journal-of-systems-and-software/about/call-for-papers#software-engineering-for-hybrid-quantum-computing-systems

Guest editors:
* Paolo Arcaini, National Institute of Informatics, Tokyo, Japan
* Andriy Miranskyy, Toronto Metropolitan University, Toronto, Canada
* Hausi Muller, University of Victoria, Victoria, Canada

The market size for quantum computing is growing, driven by the need to solve problems that modern computers cannot solve. Quantum software engineering is needed to handle the complexities of combining quantum and classical algorithms to create practical solutions. As quantum platforms become more available, software engineering methods and tools are needed to study, develop, test, 

[More ...]

16TH INTERNATIONAL CONFERENCE ON THE QUALITY OF INFORMATION AND COMMUNICATIONS TECHNOLOGY (QUATIC)
September 11-13, 2023, Aveiro, Portugal
https://2023.quatic.org/

Dear all,

Please consider nominating a candidate for the ACM SIGPLAN Programming Languages Software Award.

https://www.sigplan.org/Awards/Software/

The award recognizes "the development of a software system that has had a significant impact on programming language research, implementations, and tools".
The deadline for nominations has been extended to 17 March, 2023.

More information below.

Thanks,

Dominique Devriese

CALL FOR PAPERS

IEEE International Conference on Digital Health (ICDH) is a prime international forum for both researchers and industry practitioners to exchange the latest fundamental advances in the state of the art and practice of digital health technologies, emerging research topics, and the future of digital health. ICDH aims to bring together leading researchers, community leaders and visionaries from academia and industry, end-users, and healthcare professionals, in the area of digital health to share their research, practical experience, and visions of the future of sustainable health and social care transformations. Significant opportunities of research and development of the digital 

[More ...]

*** Please accept our apologies if you receive multiple copies of this CFP
***

Joint Call for Papers, Presentations, and Participation
ETAPS'23 Satellite Events
22 and 23 April 2023 @ ETAPS'23, Paris, France

https://etaps.org/2023/sat-events/

Dear all,

We are currently welcoming expressions of interest for a Software
Engineering postdoctoral research position at INESC TEC, within the
HumanISE center (https://www.inesctec.pt/en/centres/humanise).

You will be working within a small team extending the limits of the state
of the art, as well as contributing to applied research initiatives
developed closely with industry partners in national and European projects. 

[More ...]

Elsevier Journal of Systems and Software
Special Issue on Software Engineering for Hybrid Quantum Computing Systems
https://www.sciencedirect.com/journal/journal-of-systems-and-software/about/call-for-papers#software-engineering-for-hybrid-quantum-computing-systems

Guest editors:
* Paolo Arcaini, National Institute of Informatics, Tokyo, Japan
* Andriy Miranskyy, Toronto Metropolitan University, Toronto, Canada
* Hausi Muller, University of Victoria, Victoria, Canada

The market size for quantum computing is growing, driven by the need to solve problems that modern computers cannot solve. Quantum software engineering is needed to handle the complexities of combining quantum and classical algorithms to create practical solutions. As quantum platforms become more available, software engineering methods and tools are needed to study, develop, test, 

[More ...]

ICA3PP 2023, October 20-22, 2023, Tianjin, China - Welcome to submit papers!

Dear All,

You are welcome to submit papers to ICA3PP 2023. The deadline of ICA3PP
2023 is May 30, 2023 (11:59 PM UTC+8).

The 23rd International Conference on Algorithms and Architectures for
Parallel Processing (ICA3PP 2023), Tianjin, China | 20-22 October 2023

http://tjutanklab.com/ica3pp2023/committees.html

*Track 1: Parallel and Distributed Architectures* 

[More ...]

Hi everyone,

Telecom Paris has an open post doc positions in the field of model based
engineering applied to security. More info can be found at the following
location:
https://www.telecom-paris.fr/wp-content-EvDsK19/uploads/2022/12/CERES-post-doc-sujetV2.pdf

Best regards and have a good day,

*THE FIFTH INTERNATIONAL CONFERENCE ON BLOCKCHAIN COMPUTING AND
APPLICATIONS*

*(*BCCA 2023*)*

in Conjunction with

*KUWAIT BLOCKCHAIN SUMMIT 2023*

24–26 October, 2023 – Kuwait City, Kuwait

https://intelligenttech.org/BCCA2023/call.php

Blockchain is a revolutionary technology in decentralized systems that
enables secure decentralized transaction processing while ensuring data
privacy and authenticity. It is now playing a significant role in several
areas such the Internet of Things, supply-chain management, manufacturing,
cyber-physical systems, healthcare systems, and much more. Unlike
centralized transaction processing solutions, blockchain uses a distributed
ledger mechanism to record data transactions on multiple devices, this will
prevent data breach, identity theft, and a plethora of 

[More ...]

IMT School for Advanced Studies Lucca <https://www.imtlucca.it/en>
invites expressions of interest for a full professorship in computer
science with starting date preferably in 2023.

The successful candidate will strengthen IMT’s core competencies in
computer science related to modeling and analysis of systems,
developing and employing methodologies and tools with firm
mathematical grounds.

The appointed Full Professor will significantly contribute to doctoral
training, especially within the Software Quality track of the Ph.D.
program in Systems Science
<https://www.imtlucca.it/en/didattica/programmi-dottorato/programma-dottorato-systems-science/software-quality>
and the national Ph.D. program in Cybersecurity
<https://cysec2022.imtlucca.it>. 

[More ...]

The CREST group at UCL is organising a new event for the CREST Open
Workshops (COW):

The next one will be on Monday March 27th and Tuesday 28th 2023 in
London in London. This workshop, organised by Dr. Justyna Petke, Prof.
Federica Sarro, Prof. Bill Langdon, Dr. Giovani Guizzo, and James
Callan, will focus on "Genetic Improvement and Software
Specialisation”.
https://www.ucl.ac.uk/crest/events/2023/mar/63rd-crest-open-workshop-genetic-improvement-and-software-specialisation 

[More ...]

[apologies for cross-postings]

**** CALL FOR CONTRIBUTIONS ****

Dear Colleague,

The submission deadlines for BMSD 2023 (13th International Symposium on Business Modeling and Software Design) are: March 13 / March 27 - you may have a look at the BMSD'23 website (https://www.is-bmsd.org); and also:
https://www.is-bmsd.org/ImportantDates.htm
https://www.is-bmsd.org/CallForPapers.htm
https://www.is-bmsd.org/Topics.htm
https://www.is-bmsd.org/SubissionGuidelines.htm
https://www.is-bmsd.org/Documents/Poster.pdf

Find below actual information concerning BMSD 2023:

*Ad Hoc Networks*

*Security of Emerging Virtual Environments:*

* Metaverse and Extended Reality*

***Submissions are due:* March 31st, 2023****

https://www.journals.elsevier.com/ad-hoc-networks/call-for-papers/security-of-emerging-virtual-environments-metaverse-and-extended-reality

*We encourage early submission*

The real world is surrounded by people, buildings, hospitals, factories,
businesses, vehicles, cognitive cities, and the billions of devices that
provide various services and connect us and this world. Various advanced
technologies including AR, VR, XR, and the Digital Twin provide advanced
solutions to create a new virtual world (aka, Metaverse) where the avatars
of the users can interact with 3D objects as in the real life. Metaverse is
a virtual world of Digital Twins and 

[More ...]

The ACM SIGSOFT International Symposium on Software Testing and
Analysis (ISSTA) award committee seeks nominations for the ISSTA
Impact Paper Award 2023.

The Impact Paper Award is given to papers that have had high influence
on research and/or practice of software testing and analysis. The
Impact Paper Award 2023 is given to a paper that was published at
ISSTA 2013 (https://dl.acm.org/doi/proceedings/10.1145/2483760).
Papers that have already received an ACM SIGSOFT Impact Award are not
eligible. 

[More ...]

*** Last Call for Papers ***

29th International European Conference on Parallel and Distributed Computing
(Euro-Par 2023)

August 28 - September 1, 2023, St. Raphael Resort, Limassol, Cyprus

http://2023.euro-par.org

*** Recipient of the Euro-Par Achievement Award 2023:
Professor Enrique S. Quintana Ortí ***

SCOPE

Euro-Par is the prime European conference covering all aspects of parallel and
distributed processing, ranging from theory to practice, from small to the largest
parallel and distributed systems and infrastructures, from fundamental
computational problems to applications, from architecture, compiler, language and
interface design and implementation, to tools, support infrastructures, and
application performance aspects. The main audience 

[More ...]

We are looking for Lecturers (Assistant Professors) and Senior Lecturers (Associate Professors) to join our growing Software Engineering Group at Lancaster University in the North West of England.

Salary: £37,474 to £51,805
Closing Date: Tuesday 28 February 2023
Interview Date: Tuesday 28 March 2023
Contract: Indefinite

See full details at:

2 * Lectureship in Computer Science: Lecturer in Computer Science - 1537-22<https://hr-jobs.lancs.ac.uk/Vacancy.aspx?ref=1537-22>
Senior Lectureship in Computer Science: Senior Lecturer in Computer Science - 1538-22<https://hr-jobs.lancs.ac.uk/Vacancy.aspx?ref=1538-22>
Senior Lectureship in CSCW: Senior Lecturer (CSCW) - 1546-22<https://hr-jobs.lancs.ac.uk/Vacancy.aspx?ref=1546-22> 

[More ...]

*** D E A D L I N E   E X T E N D E D ***

[Please accept our apologies for cross-postings]

[Call for Contribution] AI-assisted Agile Software Development workshop. June 13-16, Amsterdam, The Netherlands https://www.agilealliance.org/xp2023/ai-assisted-agile/
Artificial Intelligence (AI) tools like ChatGPT and CoPilot are set to play a pivotal role in shaping the future of the software industry by enabling organizations to automate complex tasks and improve efficiency, accuracy and overall user experience. We are calling for participants in our 1st workshop on AI-Assisted Agile Software Development.
The workshop aims to share hands-on experience with adopting AI tools in software development, increase knowledge about practical aspects of integrating AI tools into Agile development processes and explore the benefits and challenges of 

[More ...]

17th European Conference on Software Architecture (ECSA 2023)

Mon 18 - Fri 22 September 2023

Istanbul, Turkey

https://conf.researchr.org/home/ecsa-2023

* At a glance

. Position: Post-doctoral Visitor

. Areas: Software Engineering and Distributed Systems

. Project Topic: Model-driven simulation, analysis and development of consensus networks.

. Location: York University, Toronto, ON, Canada

. Preferred Start Date: March 1st, 2023 (flexible)

. Term: 1 year

. Position URL: https://tinyurl.com/esgpostdoc-2023-posting

. Apply at: https://tinyurl.com/esgpostdoc

* Overview

The Enterprise Systems Group at York University is seeking applicants for a Postdoctoral position in the intersection of model-driven software engineering and distributed systems. The position is associated with York University's Digital Currencies Project (DCP) funded by York University's Catalyzing Interdisciplinary Research Clusters (CIRC), and 

[More ...]

Dear all,

SMARTCOMP 2023 is the 9th edition of the premier conference on smart computing. Smart computing is a multidisciplinary domain based on the synergistic influence of advances in sensor-based technologies, Internet of Things, cyber-physical systems, edge computing, big data analytics, machine learning, cognitive computing, ambient intelligence, and artificial intelligence. Applications of smart computing can be found in various societal domains, including transportation, energy, environmental protection, smart and connected communities, healthcare, banking, industrial systems, entertainment, and social media. Algorithmic and systems advancements of cloud computing, mobile and pervasive computing, sensor networking, and social computing are taking smart computing to a 

[More ...]

Gran Sasso Science Institute (GSSI) - Computer Science Area
National Department of Excellence in Computer Science and Mathematics

Call for expressions of interest for open-rank positions at GSSI
(https://sites.google.com/gssi.it/csgssi/people/expressions-of-interest)

**

*Dear Colleagues,*

*

We invite submissions to a new volume of the LASER subseries of
Springer’s Lecture Notes in Computer Science (LNCS) on "Frontiers In
Software Engineering Education". This call is

related to the 2023 edition of the 2nd International Workshop on
Frontiers In Software Engineering Education (FISEE'23)
(https://www.laser-foundation.org/fisee/2023/
<https://www.laser-foundation.org/fisee/2023/>) but **it is open to all
authors.**

Details follow.

***EXTENDED SUBMISSION DEADLINE ***

The 17th International Conference on Research Challenges in Information
Science (RCIS 2023)
<https://www.rcis-conf.com/rcis2023/> <https://www.rcis-conf.com/rcis2023/>
Corfu, Greece, May 23-26, 2023

Mandatory abstract submission: February 5, 2023 (*extended*)
Full paper submission: February 10, 2023 (*extended*)
Proceedings: Lecture Notes in Business Information Processing (Springer
LNBIP)
Special Issue: selected papers will be considered for Data & Knowledge
Engineering journal (Elsevier)
Additional Calls: forum, doctoral consortium, research projects, journal
first, tutorials, and workshops
Full CfP: <https://www.rcis-conf.com/rcis2023/callPapers.php>
<https://www.rcis-conf.com/rcis2023/callPapers.php> 

[More ...]

The 2023 editions of the co-located ECOOP (https://2023.ecoop.org) and
ISSTA (https://conf.researchr.org/home/issta-2023) conferences, taking
place from July 17th till July 21th 2023 in Seattle, intend to host a
diverse offering of workshops bringing together academics, industrial
researchers, and practitioners to exchange new ideas, problems, and
experiences.

The workshop chairs are reviewing submitted workshop proposals on a
rolling basis until **February 12th**. 

[More ...]

Registration is open.

Early registration is until 28 February 2023. After 22 March, late
registration rates apply.

FMICS 2023: 28th International Conference on Formal Methods for Industrial Critical Systems Antwerp, Belgium, 20-22 September 2023 https://www.uantwerpen.be/en/conferences/confest-2023/fmics/ The aim of the FMICS conference series is to provide a forum for researchers and practitioners who are interested in the development and application of formal methods in the industry. FMICS brings together scientists and engineers who are active in the area of formal methods and interested in exchanging their experiences in the industrial usage of these methods. The FMICS conference series also strives to promote research and development for the improvement of formal methods and tools for industrial applications. IMPORTANT DATES: 

[More ...]

The IEEE Computer Society (IEEE CS),<https://gcc02.safelinks.protection.outlook.com/?url=https%3A%2F%2Fwww.computer.org%2F&data=05%7C01%7Cd.kuhn%40nist.gov%7C8bd2929e78554a22492608db02d483d4%7C2ab5d82fd8fa4797a93e054655c61dec%7C1%7C0%7C638106883991413255%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C3000%7C%7C%7C&sdata=Day3wTr363Mq6Z%2FfjMyiKz0PeNYhfpLcpPe%2FjKZ5Up8%3D&reserved=0> known for producing trusted content in computer science and engineering, seeks applicants for the position of editor in chief (EIC) for IEEE Software.

IEEE Transactions on Privacy provides a multidisciplinary forum for theoretical, methodological, engineering, and applications aspects of privacy and data protection, including specification, design, implementation, testing, and validation. 

[More ...]

Dear all,

This is an announcement for a post-doc position at Université de Montpellier (France). We are seeking candidates holding a PhD in computer science, and with expertise in program verification, algorithms, automated deduction or programming languages.

The aim of the project is to formally verify term indexing algorithms (as used for the implementation of automated theorem provers, logic and functional programming languages, and other symbolic computing applications), in order to produce verified and efficient implementations. 

[More ...]

ACM Journal of Data and Information Quality (JDIQ)
Special Issue on Software Engineering and AI for Data Quality
https://dl.acm.org/pb-assets/static_journal_pages/jdiq/pdf/CFP_ACM_JDIQ_SI_SEA4DQ_2023_v1.pdf

Guest Editors:
• Sagar Sen, SINTEF (Norway), [log in to unmask]
• Andreas Metzger, The University of Duisburg-Essen (Germany),
[log in to unmask]
• Foutse Khomh, Polytechnique Montréal (Canada), [log in to unmask]
• Phu Nguyen, SINTEF (Norway), [log in to unmask]

Modern systems are centered on data, using data in novel and intelligent
ways. One key driver for increased data availability are data spaces and
data sharing platforms, which are booming . Another key driver is
cyber-physical systems (CPS)/Internet of Things (IoT), which have been
realized in many industrial sectors and application 

[More ...]

Dear all,

I hope you are well.

I am looking for a post-doctoral researcher to work with me on a project that applies Machine Learning, Natural Language Processing and Automatic Program Repair to Software Maintenance. I would be grateful if you could spread the word. The full details of the opening are here: https://jobs.royalholloway.ac.uk/Vacancy.aspx?ref=0522-227-R 

[More ...]

The David Lorge Parnas Fellowship has been established to honour David Parnas who was Professor of Software Engineering at the University of Limerick, and where he is now Emeritus Professor of Software Engineering.

The Fellowship is intended to allow talented software researchers and developers to visit Lero on a short-term basis. Fellows can be hosted at any of the Lero partner institutions but are expected to visit at least two Lero sites during their stay. Fellows will deliver a Distinguished Lecture while at Lero and will discuss research topics with Lero students and staff. This distinguished Fellowship will cover expenses 

[More ...]

International Conference on Embedded Computer Systems: Architectures, Modeling and Simulation SAMOS XXIII

Important Dates:

A full professor position of programming languages is open at University
of Tartu, Estonia, application deadline 2 Feb 2023.

See

https://ut.ee/en/job-offer/professor-programming-languages

Tartu is a pleasant student town easily reached from Tallinn, the
capital; it is one of Europe's capitals of culture 2024. The university
is one of the oldest in Northern Europe (est 1632), #201-250 in the THE
rankings 2023. The computer science department is strong and has
excellent premises and infrastructure.

The Department of Electrical and Computer Engineering at McGill University, invites applications for a tenure-track appointment at the rank of Assistant Professor in Software Engineering. Exceptional candidates at other ranks will also be considered.

McGill University is among the top research-intensive academic institutions in Canada and is consistently ranked in the top universities worldwide in a number of recent surveys. The successful candidate will play a leading role in maintaining McGill’s international reputation of excellence in research, teaching and service. 

[More ...]

The University of Copenhagen has open faculty positions in the areas of

* Systems and Software Engineering (https://di.ku.dk/english/about/vacancies/associate-professorship-in-systems-and-software-engineering/)
* Quantum Computing (https://di.ku.dk/english/about/vacancies/tenure-track-assistant-professor-associate-professorfull-professor-in-quantum-computer-science/)
* Data Management (https://di.ku.dk/english/about/vacancies/tenure-track-assistant-professorassociate-professorfull-professor-in-data-management-systems/)

Generally, the areas are understood broadly. For example, both formal methods and programming languages are well within the scope of Systems and Software Engineering. The Systems and Software Engineering position is on the associate level; the other two are open-rank. See the respective posts for details, contacts, and deadlines (end of February-ish). 

[More ...]

Dear colleagues,

We are pleased to announce the 1st Joint Call for Papers for the 37th
edition of the Brazilian Symposium on Software Engineering (SBES 2023) and
encourage you to submit your research results to our tracks:

- Research Track
- Education Track
- Insightful Ideas and Emerging Results Track (IIER)
- Tools Track

Any questions about paper preparation and submission can be sent to the
Program Committee Chairs. 

[More ...]

ISSTA 2023 Call for Artifact Evaluation Committee

Research artifacts denote digital objects created by the authors of a research article to be used as part of their study or generated by their experiments [1].

The Artifact Evaluation (AE) is crucial in ensuring reproducibility, i.e., validating the paper’s results using the provided artifacts, and reusability, i.e., extending existing artifacts or using them in a different context or for other use cases. 

[More ...]

THE UNIVERSITY OF TEXAS AT EL PASO
COLLEGE OF ENGINEERING
DEPARTMENT OF COMPUTER SCIENCE
Open-Rank Faculty Position

POSITION DESCRIPTION: The University of Texas at El Paso (UTEP) invites applications for an open-rank faculty position in Computer Science (CS) starting in fall 2023. The position is open to candidates from all areas of CS, with preference given to those candidates with research and teaching focus in the area Software Engineering. Successful candidates must have a record of high-quality scholarship and demonstrate the potential for excellence in both research and teaching. UTEP incorporates Inclusive Excellence in its operations and efforts to provide 

[More ...]

ETAPS Test of Time Award

The Software Languages Lab (http://soft.vub.ac.be/) of the Vrije Universiteit Brussel (https://www.vub.be) in Belgium has a vacancy for a full-time professor (assistant, associate, or full) in the broad domain of

Software Technology (e.g., programming languages, software engineering, database systems, …)

Please consult https://jobs.vub.be/job/Elsene-Professor-'Software-Technology'/884926401/ for more details about the call. Applications should reach us through the same platform by March 15th. 

[More ...]

Dear Colleagues,
We are happy to invite you for submissions to the Journal of Software and Systems Modeling (SoSyM)
in the Special Issue on "Model Driven Engineering for Digital Twins" ( [ https://www.sosym.org/theme_sections/cfp/cfp-SoSyM-TS-DigitalTwins.pdf | https://www.sosym.org/theme_sections/cfp/cfp-SoSyM-TS-DigitalTwins.pdf ] ).

Please, find details below
======== Guest Editors ========
Tony Clark
[ mailto:[log in to unmask] | [log in to unmask] ]
Aston University, UK

Djamel Eddine Khellad
[ mailto:[log in to unmask] | [log in to unmask] ]
CNRS, IRISA, France 

[More ...]

The 21st International Conference on Business Process Management (BPM)
BPM 2023
September 11-15, 2023
Utrecht, The Netherlands
https://bpm2023.sites.uu.nl/

*Call for Research papers*

The International Conference on Business Process Management (BPM) is the
premium forum for researchers and practitioners in the field of BPM. The
conference embraces the interdisciplinary nature of BPM to its fullest
extent. To this end, the conference explicitly seeks to bring together the
finest research contributions and viewpoints from the fields of computer
science, information systems engineering, and information system
management. The objective is to enhance or refine the existing portfolio of
theories, methods, and tools for 

[More ...]

*** ACSOS 2023 - First Joint Call for Contributions ***

4th IEEE International Conference on
Autonomic Computing and Self-Organizing Systems

25-29 September 2023 - Toronto, Canada

https://2023.acsos.org/
https://twitter.com/ACSOSconf

** A version of this call is available at: https://petrinets2023.deec.fct.unl.pt/index.php/call-for-papers/ ** Call for Papers and Announcement Petri Nets 2023 https://petrinets2023.github.io/ PETRI NETS 2023 44th International Conference on Application and Theory of Petri Nets and Concurrency Lisbon, Portugal, June 25-30, 2023 ==================================================================== >>> Two kinds of papers can be submitted: * Regular papers (max. 20 pages excluding references) describing original results pertaining to the development of the theory of Petri nets and distributed and concurrent systems in general, new results extending the applicability of Petri nets, or case studies, application, and experience reports pertinent to the practical use of Petri nets 

[More ...]

=====CALL-of-Paper==== SOMET 2023 in Naples ==========================

The 22nd International Conference on Intelligent Software Methodologies,
Tools and Techniques

Parthenope Congress Center, Naples, Italy
September 20-22, 2023

http://www.impianti.unina.it/somet2023/index.html

Venue

Parthenope Congress Center
36, Partenope Street
80121 - Naple, Italy

Author's Schedule
Full paper submission: April 1, 2023
Notification deadline: May 15, 2023
Final paper submission: June 15, 2023

For paper submission please visit:

http://www.impianti.unina.it/somet2023/paper_submission.html

You are invited to participate in SoMeT_23 to help build a forum for
exchanging ideas, experiences and applications to foster new directions
in software development methodologies and related tools and techniques. 

[More ...]

Dear HCSS Community Member,
The deadline for submitting a talk proposal has been extended to January 24, 2023. The topics for this year are Open Source, Protocol Verification, Proof of Bugs, and Semantically Rigorous and Integrated High-Level Abstractions. Additional details can be found in the Call for Presentations. Should you have any questions, please contact the conference organizers at [log in to unmask]<mailto:[log in to unmask]>.
Happy New Year!
Katie Dey 

[More ...]

Dear Colleagues,

We invite submissions for the Journal of Systems and Software Special
Issue on «Software Language Engineering». This special issue is
related to the 2022 edition of the Software Language Engineering
Conference (https://2022.splashcon.org/home/sle-2022?) but **it is
open to all authors.**

Details follow.

https://conf.researchr.org/home/TechDebt-2023

TechDebt 2023 brings together leading software engineering researchers
and practitioners to discuss approaches for managing various types of
Technical Debt, to share experiences and best practices, and to
identify key challenges for industry and academia.

TechDebt 2023 will be the 6th International Conference on Technical
Debt and will be held in May 2023 in Melbourne, Australia. As in
previous editions, TechDebt will be co-located with the International
Conference on Software Engineering (ICSE 2023). 

[More ...]

The soft-dev research team at King's is growing again and we have a position
open for a Research Associate / Fellow in Software Security, with a closing
date of Jan 25th. The position is looking at the security of software systems
in the context of CHERI, in particular what we can do to make web browsers
more secure using CHERI. 

[More ...]

* Published in IEEE Xplore

* Google Scholar H5-Index = 22

------------------------------ ------------------------------ ------------------------------ ------------------------------ --
CISTI'2023 - 18th Iberian Conference on Information Systems and Technologies

20 - 23 of June 2023, University of Aveiro, Aveiro, Portugal

http://cisti.eu/ <https://mkt.saisti.eu/go/-70a20dde1-16cf35603717a875c9199b67-3a122ec7f8491211eje2OOTeWkAZe2Ae5sK>

------------------------------ ------------------------------ ------------------------------ ------------------------------ ----

We are pleased to invite the academic and business community to submit their papers to CISTI'2023 - 18th Iberian Conference on Information Systems and Technologies, to be held in Aveiro, Portugal, between the 20th and 23th of June 2023. Authors are encouraged to submit original scientific contributions such as state-of-art reviews and new research perspectives, groundbreaking 

[More ...]

Applications are invited for a permanent post of Associate Professor in Computer Science within the School of Computer Science at University College Dublin, Ireland.

The UCD School of Computer Science (www.ucd.ie/cs  ) is Ireland’s leading Computer Science school in terms of teaching and research. We offer taught programmes at undergraduate and postgraduate levels which attract top students from Ireland and abroad. Our staff hold key leadership positions in internationally significant research centres such as the Insight Centre for Data Analytics (insight-centre.org), CeADAR - the Centre for Applied AI (ceadar.ie), ML Labs Centre for Research Training (ml-labs.ie), and the UCD 

[More ...]

The Horst Görtz Institute for IT Security (HGI) in Bochum, Germany is one of the most renowned institutes in the field of IT Security in Europe. The HGI comprises 26 faculty members, maintains extensive networks and has produced numerous successful start-ups. HGI is home to the Cluster of Excellence "CASA: Cyber Security in the Age of Large-Scale Adversaries," funded with approximately 30 million euros. This outstanding environment offers excellent working conditions in a highly topical and exciting field. In addition, there is a very good working atmosphere in a young and diverse group of researchers. 

[More ...]

The Department of Computer Science (at the Faculty of Mathematics, Computer Science and Physics) at the University of Innsbruck seeks to fill the position of a fulltime
Assistant Professor of Computer Science (with Tenure Track option) in the area of
Software Engineering
as soon as possible. This position is initially limited to 6 years; a tenure-track agreement can be offered within the first year of employment. Upon positive evaluation, the position is converted into a tenured Associate Professorship.
This career position is embedded in an attractive environment of existing competencies close to the above thematic area, including security and privacy, 

[More ...]

Dear all,

Nowadays, developers of mobile software are pushing the boundaries with innovative mobile services and exciting mobile applications. Consequently, due to the rapid development and evolution of mobile software, developers face new software engineering challenges. To address these challenges, researchers must create formally grounded methods that support novel advanced practices and tools. 

[More ...]

CALL for a Journal Special Issue

[apologies for cross-postings]

The Technical University of Munich (TUM) is setting up a new innovative Center for Informatics at the TUM Campus Heilbronn. A total of 9 professorships in the fields of theoretical, practical and technical computer science, endowed by the Dieter Schwarz Foundation, are to be established. The TUM herewith invites applications for the position of Professor in >Software Engineering< to begin as soon as possible. The position is a W2 fixed-term position (6 years) with tenure track option to a tenured W3 position (Associate Professor) or a tenured W3 (Associate or Full) position. 

[More ...]

TENURE-TRACK FACULTY POSITIONS AT THE IMDEA SOFTWARE INSTITUTE

The IMDEA Software Institute invites applications for tenure-track (Assistant Professor) faculty positions. We are primarily interested in recruiting excellent candidates in the areas of: Machine Learning, including Explainable AI, Neuro-Symbolic Computation, Formal Reasoning about ML Systems, Data Analysis at Large Scale, etc.; Systems in general, including Distributed Systems, Embedded Systems, Databases, IoT and Edge Computing, etc.; Cyber-Physical Systems; Software Technology for Quantum Computing; Privacy; and Software Engineering. Exceptional candidates in other topics within the general research areas of the Institute will also be considered. Tenured-level (Associate and Full Professor) applications are also 

[More ...]

A number of postdoctoral positions in software engineering and analytics are open at the Software Analytics Research Centre (soar.usask.ca) at the University of Saskatchewan, Canada on a number of related multidisciplinary projects.

We aim to expand on analytics capacity to improve the acquisition, organization, and use of data to enhance research, technology transfer, and innovation for multiple disciplines, including software engineering, water security, and food security. The postdocs will be investigating trustworthiness, explainability, visualization, and the user experience of different data and software analytics models/systems. One of the postdocs will be also assisting in improving and adapting our existing Scientific 

[More ...]

The IE School of Science and Technology (SST) at IE University in Madrid, Spain is actively recruiting candidates for full-time tenure-track faculty positions in computer science.

The School of Science and Technology prepares students with industry relevant skills in the context of STEM and related educational programs. Our diverse range of disciplines use all kind of technologies to foster innovation and management. The SST school boasts a diverse and international faculty of Engineers, Computer Scientists, computer information systems, Applied mathematicians, Artificial intelligence, Computational Linguists, and Information technology experts. 

[More ...]

[Note: Software Engineering as related to Sustainability is explicitly
in scope.]

https://recruit.ap.uci.edu/JPF07939

Professor of Sustainability - tenure track/tenured
Informatics / Donald Bren School of Information and Computer Sciences /
UC Irvine

The Department of Informatics in the Donald Bren School of Information
and Computer Sciences at the University of California, Irvine (UCI)
invites applications for a tenure track/tenured position in
Sustainability. The position is open rank. 

[More ...]

A postdoctoral position in program semantics and verification is open at the Singapore Institute of Technology (SIT) under the supervision of Prof. David Sanan.

The project aims to minimize the gap between formal verification and efficient industrial applications. Specifically, we focus on constructing a verification framework for software using deductive reasoning, and on the formalization of smart contract semantics, with special attention to the Solidity language. 

[More ...]

The Department of Computer Science and Software Engineering of Concordia
University invites applications for several tenure-track and research chair
positions.

Tenure-track positions:
· Assistant Professor, Software Engineering
· Assistant Professor, Quantum Computing
· Assistant Professor, Innovation in Machine Learning and
Artificial Intelligence

Research Chair positions:
· Gina Cody Research Chair in Computer Science and Software
Engineering
· Canada Research Chair Tier 2 in Computing for the Greater Good 

[More ...]

*= IS-EUD 2023 = *

9th International Symposium on End-User Development (IS-EUD 2023)
6-8 June 2023, Cagliari, Italy

https://cg3hci.dmi.unica.it/iseud2023/

Complete CfP: https://cg3hci.dmi.unica.it/iseud2023/cfp.html

End-User Development (EUD) aims to empower end-users who are not
necessarily experts in technology development, to create their own
technology to address their specific needs. These technologies might
include mobile, web or software systems, IoT solutions, physical computing
devices or machine learning systems. 

[More ...]

TAP 2023 - Call for Papers

The workshops at the International Conference on Software Engineering 2023
(ICSE) provide a forum for groups of 20-50 participants to discuss topics
in software engineering research and practice. ICSE Workshops can be quite
diverse. They serve as incubators for scientific communities that form and
share a particular research agenda. They also provide opportunities for
researchers to exchange and discuss scientific and engineering ideas at an
early stage, before they have matured to warrant conference or journal
publication. All workshops at ICSE 2023 will be held between May 14 to 20. 

[More ...]

Dear SEWORLD moderator, Could you please distribute the following Call for Contributions? Sincerely yours, Atsuo Hazeyama E-mail: [log in to unmask] Department of Information Science, Tokyo Gakugei University 4-1-1 Nukuikita-machi, Koganei-shi, Tokyo 184-8501 JAPAN ===================================================== *Call for Papers* CSEE&T 2023: 35th IEEE International Conference on Software Engineering Education and Training https://conf.researchr.org/home/cseet-2023 Tokyo, Japan, August 7-9 2023 (Workshops Aug 7, Main Conference Aug 8-9) *Important Dates* Research track (10 pages, 5 pages), Industrial experience reports track (6 pages): Abstract Submission 01 March 2023 Paper Submission 08 March 2023 Notification 01 May 2023 Camera Ready 07 June 2023 (tentative) Poster and tool track (2 pages), 

[More ...]

(Apologies for cross-posting)

*CALL FOR PAPERS*

*2023 IEEE INTERNATIONAL CONFERENCE ON SOFTWARE SERVICES ENGINEERING*

https://conferences.computer.org/sse/2023

Software as a service (SaaS) – a framework for encapsulating and delivering
applications

as services has been a great success primarily due to how it allows for
cost-effective

modular service requirements decomposition and modular service composition
during

the development, operation, maintenance, and evolution of the encapsulated
software and 

[More ...]

The Software Engineering Section at the Maersk Mc-Kinney Moller Institute,
University of Southern Denmark (SDU) invites applications for a one-year
full time PostDoc position with the possibility of being extended to two
years for the project Trustworthy CPS/IoT within I4.0. Start date is as
soon as possible and will be agreed upon with the successful candidate. 

[More ...]

(appologies for multiple copies of this message)

**The 17th International Symposium on Theoretical Aspects of Software Engineering (TASE 2023) > Call for Workshops**
July 4-6, Bristol, UK
https://bristolpl.github.io/tase2023/

Overview
--------

The 17th Theoretical Aspects of Software Engineering Conference (TASE 2023) will be held in Bristol, United Kingdom on 4-6 July 2023. The TASE 2023 organizing committee invites proposals for workshops to be held in conjunction with the main event. Workshop proposals should be submitted by January 29, 2023. 

[More ...]

The 16th IEEE International Conference on Software Testing, Verification and Validation (ICST) 2023 is intended to provide a common forum for researchers, scientists, engineers, and practitioners throughout the world to present their latest research findings, ideas, developments and applications in the area of Software Testing, Verification and Validation.

Co-located with ICST 2023 are the 11 workshops. ICST 2023 invites submissions for Journal-first papers, tool demonstrations, posters, and workshop papers.

ICST 2023 Call for Student Volunteers

Student volunteers play a crucial role in ensuring that the conference runs smoothly. That is why we are soliciting candidate student volunteers for the 16th IEEE International Conference on Software Testing, Verification, and Validation (ICST 2023). Being a volunteer is also an excellent opportunity to build your network. You get the opportunity to not only connect and interact with leading academic and industrial researchers and practitioners but can also meet other students from all over the world with a shared interest in Software Testing! 

[More ...]

Positions: Research Fellows (3 positions)

Location: The Centre for Research on Engineering Software Technologies (CREST), University of Adelaide, Australia

Type of Research Activities: Experimental and Applied R&D in close collaboration with industry/government partners

Research Fellow (Level B – 2 positions)

Salary Range: $106,716 - $121,779 per annum plus an employer contribution of 17%

Research Fellow (Level A) 

[More ...]

FORTE 2023 - 43nd International Conference on Formal Techniques for
Distributed Objects, Components, and Systems
June 19-23, 2023. Lisbon, Portugal
Website: www.discotec.org/2023/forte.html

FORTE 2023 is one of the three conferences of DisCoTec 2023, the
18th International Federated Conference on Distributed Computing
Techniques.
www.discotec.org/2023/

Highlights

The Department of Computer Science and the Research Excellence Center DISA (https://lnu.se/en/disa) at Linnaeus University are offering five Postdoc research positions (2 years).

Data-driven software development and High-Performance Computing
https://lnu.se/en/meet-linnaeus-university/work-at-the-university/?rmpage=job&rmjob=7022&rmlang=UK

Development and Machine Learning Operations, DevOps/MLOps
https://lnu.se/en/meet-linnaeus-university/work-at-the-university/?rmpage=job&rmjob=7020&rmlang=UK

Information Visualization and Visual Analytics
https://lnu.se/en/meet-linnaeus-university/work-at-the-university/?rmpage=job&rmjob=7014&rmlang=UK

Data Intensive Scientific Computing
https://lnu.se/en/meet-linnaeus-university/work-at-the-university/?rmpage=job&rmjob=7018&rmlang=UK

AI Image Processing
https://lnu.se/en/meet-linnaeus-university/work-at-the-university/?rmpage=job&rmjob=7016&rmlang=UK

Close date for the vacancies: 9 January 2023

For more information feel free to contact:
Morgan Ericsson (Head of department): mailto:[log in to unmask] or
Welf Löwe (Head of DISA): mailto:[log in to unmask]

Applications are invited for an academic position in a Lecturer/Reader
(Assistant/Associate Professor) position in *Software Engineering *to join
the School of Informatics at the University of Edinburgh (ranked #15 in QS
world university rankings 2023). We welcome applications in all areas of
Software Engineering, but particularly encourage candidates working in
requirements, design, testing and verification of mobile and cloud systems. 

[More ...]

Special Issue on Software Engineering Education & Training

Deadline: 20 Feb 2023
Final Decisions: 18 July 2023
Camera-Ready: 31 July 2023
Issue Publication: Nov/Dec 2023

The demands placed on software engineers have increased dramatically in recent years. This is because the systems they develop increased in complexity, size, and criticality as well. Novel system types like adaptive systems or cyber physical systems and new technologies, like Artificial Intelligence and Virtual Reality change the technology landscape. Professionals creating such systems hence need to stay on the cutting edge to face the challenges of the future. It is clear that we need 

[More ...]

[Apologies for multiple postings.]