Jobs Posted on the Whova Community Board of MODELS 2022: ACM/IEEE 25th International Conference on Model Driven Engineering Languages and Systems
If you know anyone in the job market, feel free to share with them
TENURE-TRACK FACULTY POSITION IN HUMAN-COMPUTER INTERACTION
University of Montreal The DIRO is seeking outstanding candidates for a full-time tenure-track faculty position at the rank of Assistant Professor starting on June 1, 2023. We are seeking candidates of exceptional scientific talent who have demonstrated research success and shown evidence of high potential in any area of human-computer interaction (HCI).
The candidate will be expected to teach undergraduate and graduate courses, supervise graduate students, be active in research, publishing and the diffusion of knowledge, and contribute to the activities of the University. The intention of this position is to establish a group for HCI research and teaching at the University of Montreal.
The position requires a Ph.D. in Computer Science or a related area, a strong research record illustrating the candidate's ability to publish influential work in top-tier venues of HCI, and a demonstrated ability to provide high quality university teaching.
The University of Montreal is a Quebec university with an international reputation. French is the teaching language. Nevertheless, non-French speaking candidates are welcome to apply, since the university is intensively recruiting the world's best specialists to renew its teaching faculty. Furthermore, the university provides support for newly-recruited faculty to attain proficiency in French within a reasonable period of time.
The University of Montreal offers competitive salaries and a full range of benefits.
A complete application must include: a cover letter, curriculum vitae, copies of up to three recent publications demonstrating the candidate's research performance at the highest levels of the field, a research statement, and a teaching statement. Three letters of recommendation must also be sent directly to the Department Chair by the referees. The application and letters of recommendation must be sent by email before December 5th, 2022.
Informal inquiries are encouraged and should be directed to the email below.
Four Assistant/Associate Prof positions at McMaster University
McMaster University McMaster University’s Faculty of Engineering invites applications for four tenure-track positions at the rank of Assistant Professor in the Department of Computing and Software; however, exceptional candidates may be considered at the rank of Associate Professor. The positions will be located on the main university campus to begin on July 1, 2023, or shortly thereafter.
Applicants in all areas of Computer Science and Software Engineering are encouraged to apply. The Department has identified specific needs in theoretical computer science, machine learning areas such as natural language processing and computer vision, human-computer interaction (HCI), security, software engineering, and systems.
Postdoc Position at TU Wien
TU Wien The Business Informatics Group (BIG) at TU Wien offers a position as university assistant (post-doc) Duration: 6 years for 40 hours/week.
We expect the candidate to have a track record of previous works and a vision for future research on conceptual modeling, model-driven software engineering and the intersection/combined use of modeling and AI/Knowledge Graphs/Machine Learning.
In case you are interested to join a very nice and supportive research group, do not hesitate to reach out to me or to Prof. Henderik Erik Proper (firstname.lastname@example.org). I will be attending MoDELS from Sunday to Friday, so just approach me in person.
The application deadline for the Postdoc position is October 27th!
Full announcement: https://www.big.tuwien.ac.at/img/postdoc-profile-tu-wien-big.pdf Application portal: https://jobs.tuwien.ac.at/Register/194137
PhD Position Universidad Autónoma de Madrid
Universidad Autónoma de Madrid Contract for a 4-year PhD on chatbots for software development. The PhD will develop within a project touching topics such as Software Language Engineering, Model-driven Engineering, Machine Learning, Modelling Recommenders.
As a member of the Software Safety team, the Software Safety Analyst supports safety initiatives in all phases of system development (concept, requirements, design, implementation, verification, and validation) for software that is core to our Automated Driving and Active Safety systems. You will be a key interface between the System Safety and Software Teams, providing oversight and mentorship to develop safe software solutions for vehicles today and tomorrow!
Key Responsibilities: Lead or participate in safety strategy discussions, collaborating with GM teams globally Support software and system safety teams in transition to model-based engineering process Ensure alignment to GM safety and software development processes Develop, allocate, and verify software safety requirements to ensure completeness, consistency, and alignment to system-level safety requirements Lead or contribute to initiatives towards the continuous improvement of the safety and software development processes
Additional Job Description
Qualifications: Pursuit of a Master’s or PhD degree in the following areas: Software Engineering, Computer Engineering, Computer Science Able to work 40 hours per week in Canada and for 4-8 month term (1-2 consecutive semesters) starting January 2023 Knowledge of model-based engineering methods Beginner to intermediate knowledge on C++ Basic experience with embedded software Familiarity with ISO 26262 and other functional safety standards such as IEC 61508, IEC 62304, or DO-178C Knowledge of safety analysis methods such as HAZOP, FMEA, FTA, and STPA Successful candidates will be required to attest to their vaccination status (or indicating that they do not wish to disclose), and any job offer will be conditional on the candidate providing that attestation
PhD Position (full pay)
Fernuniversität in Hagen Research Assistant with some teaching obligations; modeling and programming systems
Digital Transformation for Space Applications (All Levels: PhD, PostDoc, Researcher, Senior)
German Aerospace Center (DLR) Your mission is to support us in the transformation and to influence the system design of tomorrow. Part of this activity is to:
- transform already developed desktop tools such as Virtual Satellite into the cloud, - connect proprietary tools to the cloud, - implement and provide modern APIs based on REST technology, - transform existing MBSE processes, - information based coupling of non-technical domains, - research for data interoperability and semantics, - negotiating Interfaces to DLR internal and external partners, - provide and operate prototypes in applicable cloud infrastructures, - observe and judge on new trends, technologies and initiatives such as GAIA-X
Space Model Checking and Systems Engineering (All Levels: PhD, PostDoc, Researcher, Interns, ...)
German Aerospace Center (DLR) As part of your mission, you will research in the area of formal methods and their integration into MBSE. You will also implement your approaches into our open-source software Virtual Satellite.
Part of your tasks and responsibilities in this project are:
- scientific work in the area of formal methods and model checking in systems engineering - integrate existing methods within systems engineering into our framework Virtual Satellite - integrate existing methods into the development of software together with our On-Board Software group - research new methods for a continuous verification approach from e.g. systems engineering to On-Board Software - developing Virtual Satellite as part of the development team implementing your research results in Virtual Satellite - share and publish your research in scientific journals, papers and international conferences
Onboard Software for Space Systems (PhD, PostDoc, Intern, ...)
German Aerospace Center (DLR) We are looking for new passionate colleagues to join us in software research and development work in our current and future space missions. We need responsible and communicative team players who also take the initiative. You should also have the ability and willingness to creatively solve complex problems across team boundaries.
Your core duties and responsibilities will include but are not limited to the following:
- Research, conception and development of innovative methods for software engineering for safety-critical onboard software in the space domain - Design and implementation of software architectures for complex and mission-critical software systems. The development will comply with existing guidelines and standards and covers the entire process from requirements analysis through to the support during mission operations. - Evaluation and dissemination of research results
Polytechnique Montréal The Department of Computer and Software Engineering of Polytechnique Montréal is experiencing significant growth and is seeking exceptional applicants to fill this position at the Assistant, Associate or Full Professor level.
To complement its team of professors, the Department seeks candidates whose main research activities and interests are in computer graphics, virtual and augmented reality, multimedia, metaverse and related subjects.
Le Département de génie informatique et génie logiciel est en croissance significative et est à la recherche de candidatures exceptionnelles pour un poste au rang de professeure, adjointe, professeur adjoint, professeure agrégée, professeur agrégé ou professeure titulaire, professeur titulaire.
De façon à complémenter son équipe, le département est à la recherche de candidates ou de candidats avec des activités et intérêts de recherche principaux en infographie, réalité virtuelle et augmentée, multimédia, métavers et sujets connexes.
Senior Systems & Controls Engineer
Sensmetry UAB Sensmetry is seeking a professional with 3+ years of industry experience for the role of Senior Systems & Controls Engineer. This is a position focused on the technical & project leadership aspects of systems analysis, modelling and controls design for safety and mission-critical cyber-physical systems. The main domains of application include aerospace, land, and marine vehicles. The candidate will contribute their project management, systems engineering, modelling, and analytical skills to a range of R&D projects at Sensmetry, for both external consulting projects and internal product development. The candidate will be expected to contribute to both technical and project leadership topics, applying their existing experience and knowledge to defined projects. A genuine interest in systems & controls engineering, mathematical modelling, and autonomous systems is crucial for the candidate to continue to deepen the knowledge and expand their skillset in these areas. Moreover, the candidate will contribute on technical writing & communication, information & project organisation tasks. Though the position is multi-disciplinary, requiring appropriate experience and flexibility on behalf of the candidate, it is understood that the candidate might wish to narrow focus and specialize more in one particular area of knowledge as the company continues to grow, develop and diversify.
Senior Embedded Software Engineer
Sensmetry UAB Sensmetry is seeking a technology expert with 5+ years of industrial experience for the role of Senior Embedded Software Engineer. This is a position primarily focussed on technical aspects of embedded software development for both for safety and mission-critical cyber-physical systems. The main domains of application include aerospace and land vehicles. The candidate will contribute their embedded software development skills to a range of R&D projects at Sensmetry, for both external client projects and internal product development. The candidate is expected to possess significant experience and knowledge of software development methods, preferably in the embedded domain, as well as to possess practical skills and toolchain knowledge, including building, debugging and testing tools. In addition, a general genuine interest in software engineering, software development, and autonomous systems is crucial for the candidate to continue to deepen the knowledge and expand his/her skillset in these areas while at Sensmetry. Lastly, the candidate is expected to help on technical writing & communication, information & project organisation tasks. Though the position is multi-disciplinary, requiring appropriate experience and flexibility on behalf of the candidate, it is understood that the candidate might wish to narrow focus and specialise more in one particular area of knowledge as the company continues to grow, develop and diversify.
Knowledge Transfer Partnership Associate
University of York / Leonardo UK The Automated Software Engineering research group at the University of York (UK) has partnered with Leonardo UK in a 30-month Innovate UK Knowledge Transfer Partnership (KTP) project on Model-Driven Engineering. Leonardo Group is one of the world's major players in aerospace, defence and security, a global solutions provider and a partner of choice for governments, institutions and business customers.
We are looking to hire two KTP Associates to develop and operationalise an integrated digital platform (LEAP - LEonardo software Architecture Platform) that will enable the interoperability and disciplined reuse of components across different system modelling and development environments.
The positions offer a unique opportunity to work on delivering real-world impact by creating new MDE approaches that are embedded into industrial practice. The associates will conduct work along two major areas:
* Language engineering and automated model management, including the design of the domain-specific languages underlying LEAP, and the creation of solutions for interoperability across the modelling tools used at Leonardo.
* Model persistence, versioning and continuous integration/delivery, as well as building a community of modelling for reuse of components. One line of work is to relate model components to each other in a version-aware manner, that allows for both simple reuse and independent evolution.
As a KTP associate, you will be supervised by MDE academics from the University of York and by industrial practitioners from Leonardo UK, and you will receive training and mentoring from Innovate UK on your professional development. You will also have access to a personal development and training budget throughout the duration of the project.
For more information, contact us at:
* Prof. D. Kolovos - email@example.com * Dr. S. Gerasimou - firstname.lastname@example.org * Dr. A. García-Dominguez email@example.com
ICSA 2023 Student volunteers play a crucial role in ensuring the success of ICSA. Being a student volunteer is a great opportunity to meet with academic and industrial researchers and practitioners in the area of software architecture. Volunteering at ICSA 2023 is available to undergraduate, graduate, and Ph.D. students from all over the world. The conference will take place from March 13 to March 17, 2023, in L’Aquila, Italy. We are mostly looking for volunteers who can help onsite, but a few opportunities for remote volunteers are also available.
PhD position for collective-adaptive testing of coevolving autonomous Cyber-physical Systems
Simula Research Laboratory Simula Research Laboratory (https://www.simula.no/) is seeking one three-year fulltime paid PhD researcher position in the field of Collective-Adaptive Testing of Coevolving Autonomous Cyber-Physical Systems.
The position is funded by the Research Council of Norway under the FRIPO Co-tester project. Cyber-Physical Systems of Systems (CPSoS) exhibit unpredictable behaviours due to their coevolution, employed machine learning techniques, collective behaviours, and operation in uncertain environments and unreliable communication networks. Consequently, testing these systems is extremely challenging. The Co-tester project aims to addresses this challenge by developing novel collective-adaptive testing strategies.
Candidate Profile A competitive salary, with a starting range of NOK 501.200 Generous support for travel and opportunities to build international networks, through established collaborations with industry, exchange programs and research visits with other universities, and funding to attend conferences. Numerous other benefits: access to company cabins, BabyBonus arrangements, sponsored social events, generous equipment budgets (e.g., computer, phone and subscription), subsidized canteen meals and monthly bus pass, comprehensive travel/health insurance policy, etc. Relocation assistance: accommodation, visas, complimentary Norwegian language courses, etc. Administrative research support: e.g., quality assurance process for grant proposals (including RCN and EU programs). Wellness and work-life balance. Our employees’ health and well-being is a priority and we encourage them to make use of Simula’s flexible work arrangements to help balance their work and home lives efficiently. Simula is an equal opportunity employer, and women are particularly encouraged to apply.
Polytechnique Montréal JOB DESCRIPTION The Department of Computer and Software Engineering of Polytechnique Montréal is experiencing significant growth and is seeking exceptional applicants to fill this position at the Assistant, Associate or Full Professor level.
To complement its team of professors, the Department seeks candidates whose main research activities and interests are in validation and verification of intelligent software systems. Exceptional applicants in other areas of Software Engineering may also be considered.
DESCRIPTION DE L'EMPLOI Le Département de génie informatique et génie logiciel est en croissance significative et est à la recherche de candidatures exceptionnelles pour un poste au rang de professeure, professeur.
De façon à complémenter son équipe, le département est à la recherche de personnes candidates avec des activités et intérêts de recherche principaux en validation et vérification des logiciels intelligents. Les candidatures remarquables dans d'autres domaines du génie logiciel seront également considérées.
PhD position: Validation of Hardware-in-the-Loop Simulation for Autonomous Vehicle Testing
Volkswagen AG The department E/E integration center at VW Commercial Vehicles is responsible for the test infrastructure that is needed to integrate the different systems of a vehicle. Together with the department for Mobility-as-a-Service we develop technical and procedural solutions to ensure faultless connected functions in our cars. To release ECU hardware and software versions without major errors continuous testing is required. For this purpose, Hardware-in-the-Loop (HiL) test benches with real-time simulation of vehicle physics, driving environment and external interfaces are used in combination with test automation. To give approval for the operation of autonomous vehicles on the basis of tests in virtual environments, several questions of verification and validation of the simulation components and test benches must be answered, e.g.: To what extent can test results at HiL test benches be transferred to the behavior of real vehicles? Are failed tests caused by simulation faults or errors of the automated vehicle? The research goal of the PhD position is to develop und evaluate a concept, which describes the validation of real-time simulation components and the verification of requirements for HiL test benches with automated test operation. This includes several approaches such as the evaluation of models for various systems (drive train, driving dynamics, energy system, ...), the automatic initialization and approval of the test object and test bench with automated self-tests, as well as the identification and classification of test bench errors as part of an automatic test evaluation with methods of artificial intelligence.
(Link to job offer on request)
PhD position: Correct-by-construction domain-specific AI planners
King's College London Join us at King's College London to work on a PhD project at the boundary between modelling and AI planning. More details in the description at the link given. Application process explained here: https://safeandtrustedai.org/apply-now/
PhD position: Correct-by-construction smart contracts for secure Web3 architectures
FeverTokens, Télécom SudParis, Grenoble INP, LIG The LIG lab (Grenoble) and Télécom SudParis (Paris), in collaboration with Company FeverTokens are looking for a PhD candidate for a 36-month contract in the domains of Block-chains, Formal Methods (FM), and Domain-Specific Languages (DSLs).
Postdoc in Model-Driven Engineering
Mälardalen university The postdoc researcher will focus on identify theories, methods and tools for blended and collaborative modelling, in terms of editing, visualization and synchronisation, of SPLs, and theories, methods and tools for continuous model-based development and analysis of product families
Ph.D. in MBSE at Toulouse Airbus Chair
University of Toulouse / IRIT Laboratory Toulouse University is offering a Ph.D. in Models Validation in a DevOps context. See https://cocovad.github.io/website for details.
PhD position at Toronto Metropolitan University
Toronto Metropolitan University We have an open PhD position in the area of MDE for IoT systems. The research work will be carried out in collaboration with the University of Antwerp. If you are interested, please contact firstname.lastname@example.org and email@example.com.