Jobb
>
Göteborg

    Researcher - Göteborg, Sverige - Göteborg University

    Göteborg University
    Göteborg University Göteborg, Sverige

    för 1 vecka sedan

    Default job background
    Beskrivning

    Reference number PAR 2024/447

    The University of Gothenburg tackles society's challenges with diverse knowledge students and 6 600 employees make the university a large and inspiring place to work and study. Strong research and attractive study programmes attract researchers and students from around the world. With new knowledge and new perspectives, the University contributes to a better future.

    The department of Computer Science and Engineering is strongly international, with approximately 300 employees from over 30 countries. The department is a fully integrated department with the University of Gothenburg and Chalmers University of Technology as principals. The position as researcher is placed in the Formal Methods research group in the Division for Computing science at the department, with the University of Gothenburg as the employer.

    Duties

    You will work on developing theoretical foundations for reactive synthesis from temporal specifications. This includes studying two-player games and their solutions, models for computation, and studies of temporal and modal logic.

    Specifically, research will focus on the following objectives:

    1. Consider modelling frameworks that combine message passing and variable sharing allowing for synchronization as well as passage of information.
    2. Consider modelling and analysis of multi-agent systems.

    The researcher is expected to plan and produce independent high-quality original research, write up findings for scientific publications, present scientific findings at international conferences, contribute to the overall activities of the research team and department as required by providing support and guidance to other staff and students.

    The researcher will be spending 80% of their time on research and 20% of their time on, so called, departmental duties. These are teaching-related activities required by the department, generally in the form of teaching assistance.

    Qualifications

    To qualify as a researcher the applicant must have a PhD degree in computer science and previous experience as a postdoctoral researcher with relevant experience of model checking, temporal logic, or models of computation.

    Employment

    Type of employment: Temporary position for 8 months
    Extent: 100%
    Location: Department of Computer Science and Engineering, division of Computing Science, Formal methods unit
    First day of employment: or according to agreement

    Contact information for the post

    If you have any questions about the position, please contact Nir Piterman ( piterman )
    If you have any questions about the recruitment process, please contact Robin Garnham ( robin.garnham @ )

    Unions

    Union representatives at the University of Gothenburg can be found here: hjalp-for-sokande

    Application

    To apply for a position at the University of Gothenburg, you have to create an account in our recruitment system. Submit your application via the University of Gothenburg's recruitment portal by clicking the "Apply" button. It is your responsibility to ensure that the application is complete as per the vacancy notice, and that the University receives it by the final application deadline.

    Applications must be received by:

    The University works actively to achieve a working environment with equal conditions, and values the qualities that diversity brings to its operations.

    Salaries are set individually at the University. In accordance with the National Archives of Sweden's regulations, the University must archive application documents for two years after the appointment is filled. If you request that your documents are returned, they will be returned to you once the two years have passed. Otherwise, they will be destroyed. In connection to this recruitment, we have already decided which recruitment channels we should use. We therefore decline further contact with vendors, recruitment and staffing companies.

    In your application, please refer to and reference JobID .

  • Lernia AB

    Research Scientist

    för 1 vecka sedan

    Lernia AB Göteborg, Sverige

    AstraZeneca söker nu en Research Scientist med expertis inom vitro cellulär profilering. Du kommer att få arbeta i ett dynamiskt och innovativt team som stödjer globala läkemedelsprojekt med tidig DMPK-bedömning, SAR-profilering och detaljerad mekanism av aktion data. Här får du ...

  • AstraZeneca

    Research Scientist

    för 1 vecka sedan

    AstraZeneca Gothenburg, Sverige

    AstraZeneca söker nu en Research Scientist med expertis inom vitro cellulär profilering. Du kommer att få arbeta i ett dynamiskt och innovativt team som stödjer globala läkemedelsprojekt med tidig DMPK-bedömning, SAR-profilering och detaljerad mekanism av aktion data. Här får du ...

  • AstraZeneca

    Research Scientist

    för 2 veckor sedan

    AstraZeneca Göteborg, Sverige

    AstraZeneca söker nu en Research Scientist med expertis inom vitro cellulär profilering. Du kommer att få arbeta i ett dynamiskt och innovativt team som stödjer globala läkemedelsprojekt med tidig DMPK-bedömning, SAR-profilering och detaljerad mekanism av aktion data. Här får du ...

  • Maquire Group AB

    Researcher till Maquire, Göteborg

    för 1 vecka sedan

    Maquire Group AB Göteborg, Sverige Heltid

    Maquire grundades 2007 i Göteborg med ambitionen att samla de bästa rekryteringskonsulterna under ett och samma tak. Verksamheten har sedan dess vidareutvecklats till en nischad kompetensförsörjningskoncern med fokus på chefer och specialister – Maquire Group som idag består av f ...

  • Göteborg University

    Researcher

    för 2 veckor sedan

    Göteborg University Göteborg, Sverige

    Reference number PAR 2024/394 The University of Gothenburg tackles society's challenges with diverse knowledge students and 6 600 employees make the university a large and inspiring place to work and study. Strong research and attractive study programmes attract researcher s an ...

  • Göteborg University

    Researcher

    för 1 vecka sedan

    Göteborg University Göteborg, Sverige

    Reference number PAR 2024/401 The University of Gothenburg tackles society's challenges with diverse knowledge students and 6 600 employees make the university a large and inspiring place to work and study. Strong research and attractive study programmes attract researcher s an ...

  • Göteborg University

    Researcher

    för 1 vecka sedan

    Göteborg University Göteborg, Sverige

    Reference number PAR 2024/503 · The University of Gothenburg tackles society's challenges with diverse knowledge students and 6 000 employees make the university a large and inspiring place to work and study. Strong research and attractive study programmes attract scientists and ...

  • Göteborg University

    Researcher

    för 1 vecka sedan

    Göteborg University Göteborg, Sverige

    Reference number PAR 2024/475 · The University of Gothenburg tackles society's challenges with diverse knowledge students and 6 600 employees make the university a large and inspiring place to work and study. Strong research and attractive study programmes attract researchers and ...

  • Göteborg University

    Researcher

    för 6 dagar sedan

    Göteborg University Göteborg, Sverige

    Reference number PAR 2024/440 · The University of Gothenburg tackles society's challenges with diverse knowledge students and 6 600 employees make the university a large and inspiring place to work and study. Strong research and attractive study programmes attract researchers and ...

  • AstraZeneca

    Research Scientist

    för 1 vecka sedan

    AstraZeneca Göteborg, Sverige

    Would you like to join the Mechanistic and Structural Biology department within the Discovery Sciences organization at AstraZeneca. We are looking for a motivated research scientist with a passion for applied science to AstraZeneca in Gothenburg. · Purpose, Offer and Benefits · ...

  • Göteborg University

    Research Assistant

    för 1 vecka sedan

    Göteborg University Göteborg, Sverige

    Reference number PAR 2024/433 · The University of Gothenburg tackles society's challenges with diverse knowledge students and 6 600 employees make the university a large and inspiring place to work and study. Strong research and attractive study programmes attract researchers and ...

  • Göteborg University

    Associate Researcher

    för 1 vecka sedan

    Göteborg University Göteborg, Sverige

    Reference number PAR 2024/477 · The University of Gothenburg tackles society's challenges with diverse knowledge students and 6 600 employees make the university a large and inspiring place to work and study. Strong research and attractive study programmes attract researchers and ...

  • Tng Group AB

    Research Scientist

    för 1 vecka sedan

    Tng Group AB Göteborg, Sverige Heltid

    Research Scientist position – in vitro cellular profiling to AstraZeneca in Gothenburg · Would you like to join the Mechanistic and Structural Biology department within the Discovery Sciences organization at AstraZeneca. We are looking for a motivated research scientist with a pa ...

  • Novacura

    Director for Research

    för 1 vecka sedan

    Novacura Göteborg, Sverige

    Novacura is recruiting a dynamic and result-oriented Director for Research & Development · Job description · The Director for Research & Development is a key leadership role responsible for overseeing and guiding the organization's research and development activities. This posi ...

  • Incluso

    Research Leader

    för 3 dagar sedan

    Incluso Gothenburg, Sverige Heltid

    We seek a leading expert ready to drive the evolution of mobile network and base station technology into the timeframe of 5.5G and 6G. · Responsibilities · You will be responsible for researching next-generation architecture and designing wireless base stations. · Develop a new ...

  • Embedl

    Deep Learning Researcher

    för 1 vecka sedan

    Embedl Göteborg, Sverige

    AI is changing the world as we know it. Despite all advancements in the field, there are still many grand challenges waiting for a solution. One of these challenges, and the mission of Embedl, is to make Deep Learning more efficient so that it can be deployed everywhere with low ...

  • Scandinavian Tech

    Experience Data Researcher

    för 1 vecka sedan

    Scandinavian Tech Göteborg, Sverige

    Assignment description · For our client, we are looking for a Data Engineer. · What you'll do · As the Experience Data Researcher, you focus on establishing the user experience metrics in relevant processes surrounding the digital workplace; hardware, software applications, co ...

  • Chalmers Tekniska Högskola AB

    Postdoctoral researcher in electrocatalysis

    för 1 vecka sedan

    Chalmers Tekniska Högskola AB Göteborg, Sverige Heltid

    Electrocatalysis will play a pivotal role in the transition from our fossil fuel-based society to a more sustainable and renewable society. In this project, you will investigate novel electrocatalytic materials for applications in hydrogen fuel cells. · Information about the divi ...

  • Volvo Car Corporation

    Head of User Research

    för 1 vecka sedan

    Volvo Car Corporation Göteborg, Sverige

    At Volvo Cars, we are on an ambitious journey to rethink the software-defined car and the eco-system around it. We aim to operate in the automotive world by creating electric and sustainable products, with a digital ecosystem built around making our customers' lives less complica ...

  • QRIOS

    Research Scientist position

    för 1 vecka sedan

    QRIOS Göteborg, Sverige Heltid

    About the position · AstraZeneca is a major international healthcare business engaged in the research, development, manufacture and marketing of prescription pharmaceuticals and the supply of healthcare services. AstraZeneca is proud to offer a unique workplace culture that insp ...