Research engineer for Code Translation and Differential Testing using LLMs

2 weeks ago


Västerås, Sweden MÄLARDALENS UNIVERSITET Full time

Mälardalen University (MDU) is the youngest university in Sweden. In line with our vision, to be a progressive and collaborative University where we shape a sustainable future together, we wish to make a difference.

Do you want to be involved and contribute to our development?

Together, we can create a sustainable future through knowledge and innovation. We believe that knowledge and new perspectives are best attained and reached together in collaboration with others – our colleagues, students, the private and public sectors, both nationally and internationally

At the School of Innovation, Design and Engineering our students are studying to be for example innovators, entrepreneurs, illustrators, information designers, network technicians and engineers. We have five research specializations with different research profiles and research schools. Our work takes place in cooperation with and in strategic agreements with companies, organisations and public authorities in the region.

Employment information
Employment: Temporary employment 5 months
Scope: Full time
Number of positions: 1
Closing date for application: 11 december 2024
Campus location: Västerås
School: School of Innovation, Design and Engineering, (IDT)

Position description

We are currently seeking a research engineer for a project in the Department of Computer Science and Software Engineering.

In this position, your main tasks will be:

- Using LLMs to perform accurate translation between two languages: Lingua Franca (LF) and Rebeca.
- Designing and implementing an LLM-based tool to translate a Rebeca program (Prog-R) into an LF program (Prog-L).
- Using LLMs to explain why Prog-R and Prog-L have the same semantics and to generate difference exposing tests (DETs) that detect semantic differences between two given programs.
- Setting up a pipeline for code translation, adapting the translation technique based on preliminary results, curating a dataset, conducting experiments, and writing the final report.

As a research engineer, you are expected to take responsibility for planning and executing your work, take initiatives to develop your ideas and knowledge, and be able to collaborate with others both within and outside academia.

Qualification requirements
We are looking for you who has with a master’s degree in computer science or software engineering. Prior knowledge of reactive and actor-based languages, as well as large language models and language translation using LLMs, is mandatory. You should have extensive experience in reading and writing complex scientific articles and giving presentations to large groups. The position requires a strong motivation for research, as well as good oral and written communication skills in English.

Merit
For this position, a Ph D in Computer Science or Software Engineering is advantageous. Additional knowledge of Chain-of-thought (Co T) and Self-consistency strategies when working with LLMs is beneficial.

Personal abilities
In an overall assessment of suitability, emphasis is also placed on personal abilities. All employees at MDU are expected to cooperate and treat colleagues and students with respect, take responsibility for the organisation and their own work duties and contribute to a positive work environment. To succeed in this role, you should have the ability to collaborate with other researchers, take initiative, and work independently as well as in a team.

We value the qualities that an even distribution of age and gender, as well as ethnic and cultural diversity, can contribute to the organization.

Application
Application is made online. Make your application by clicking the "Apply" button below.

The applicant is responsible for ensuring that the application is complete in accordance with the advertisement and will reach the University no later than closing date for application.

We look forward to receiving your application

Union representatives:
Saco-S saco-s@mdu.se

Susanne Meijer ST-OFR/S, tel: +46 (0) 21-10 14 89

We decline all contact with recruiters and salespersons of advertisements. We have made our strategic choices for this recruitment.



  • Västerås, Västmanland, Sweden Inclsuo AB Full time

    Inclsuo AB is seeking an experienced Test Lead and Engineer to join our team in Västerås. This role involves leading software engineering efforts to deliver high-quality products.As a Test Lead and Engineer, you will be responsible for developing and implementing software solutions, leading cross-functional teams of engineers, and collaborating with...


  • Västerås, Sweden Hitachi Energy Sweden AB Full time

    The opportunity The AC Protection and Control Lead Engineer is responsible for defining, costing, and delivering AC protection and control solutions for both tender and execution projects. While the detailed design and manufacturing are outsourced to sub-suppliers, the lead engineer oversees the entire technical process to ensure compliance with project...


  • Västerås, Sweden Hitachi Vantara Corporation Full time

    Description Innovation is the heart of Hitachi Energy and our research centers are the backbone. Join us if you have outstanding scientific or technical expertise as well as drive and passion. Through your research projects, you will become part of a company-wide community that will shape and help you to develop your career into a technical or managerial...


  • Västerås, Västmanland, Sweden Västerås, Forskargränd 7 Full time

    Innovate with us at ABB Research in Västerås, Sweden! We're a dynamic team pushing the boundaries of robotics and mechatronics. Join us in shaping the future of industrial and service robot segments through technology pre-studies and technology development projects.As a member of our team, you'll be working closely with ABB's robotics business to ensure...


  • Västerås, Sweden MÄLARDALENS UNIVERSITET Full time

    Mälardalen University (MDU) is the youngest university in Sweden. In line with our vision, to be a progressive and collaborative University where we shape a sustainable future together, we wish to make a difference. Do you want to be involved and contribute to our development? Together, we can create a sustainable future through knowledge and innovation....


  • Västerås, Sweden Hitachi Energy Sweden AB Full time

    The opportunity At G&PQS you will create a sustainable future. If you are ready to meet the technological challenges within control and protection systems – together with a team of driven senior experts – then you can expect an equally exciting and ever-changing time ahead of you. We are expanding our team and looking for skilled engineers with...


  • Västerås, Västmanland, Sweden Incluso AB Full time

    Job Title: Head of Test EngineeringJob Summary: We are seeking a highly skilled and experienced Head of Test Engineering to lead our software testing efforts. As a key member of our engineering department, you will be responsible for developing and implementing testing strategies, collaborating with cross-functional teams, and identifying areas for...


  • Västerås, Sweden Hitachi Energy Sweden AB Full time

    The Opportunity Join the Power Quality Global Center of Competence in Västerås! We specialize in FACTS (Flexible AC Transmission Systems) technology, which enhances power system capacity and stability. This allows more power to reach customers with minimal environmental impact and lower costs. We are expanding our team and looking for skilled engineers...


  • Västerås, Sweden ABB AB Full time

    At ABB, we are dedicated to addressing global challenges. Our core values: care, courage, curiosity, and collaboration - combined with a focus on diversity, inclusion, and equal opportunities - are key drivers in our aim to empower everyone to create sustainable solutions. That's our story. Make it your story. Your role and responsibilities You will be...

  • Robotics Engineer

    1 day ago


    Västerås, Västmanland, Sweden Västerås, Forskargränd 7 Full time

    At ABB, our team in Västerås is dedicated to driving innovation in robotics. Our focus on mechatronics concepts, design, and machine intelligence enables us to develop cutting-edge technologies for industrial and service robot segments.We work closely with academic institutions and industry partners to bridge the gap between research and practical...


  • Västerås, Västmanland, Sweden Vipas Full time

    VIPAS AB is a leading IT consulting company, helping businesses align their technology with their goals. We deliver tailored solutions using cutting-edge technologies like Java and Python.As an Environmental Testing Expert, you will be part of our client's Test & Certification Team. The main activities for this team are to formally verify and validate newly...


  • Västerås, Västmanland, Sweden ABB Full time

    Empowering Innovation: ABB Research is at the forefront of technological advancements, pushing boundaries in the pursuit of sustainable solutions. Join our esteemed Robotics team, where you'll contribute to cutting-edge research in mechatronics concepts, design, and machine intelligence.This exciting opportunity involves collaborating with industry experts...


  • Västerås, Västmanland, Sweden Brightsmith Full time

    Job DescriptionWe are seeking a highly skilled Electrical Systems Engineer to join our team at Brightsmith in Västerås, Sweden. The ideal candidate will have strong experience in designing and engineering electrical systems and substations for various projects.Key Responsibilities:Design and engineer electrical systems and substations using industry...


  • Västerås, Västmanland, Sweden Brightsmith Full time

    About UsWe are Brightsmith, a leading company in the field of electrical engineering. We are seeking an Engineering Solutions Provider to join our team in Västerås, Sweden. The ideal candidate will have strong experience in designing and engineering electrical systems and substations, with a focus on providing innovative solutions to complex engineering...


  • Västerås, Sweden Professionals Nord Rekrytering AB Full time

    Är du en erfaren testingenjör med passion för hårdvara och kvalitetssäkring? Vill du arbeta med miljötestning och bidra till utvecklingen av nästa generations tekniska lösningar? Vi söker nu en Hardware Test Engineer som vill bli en del av ett framgångsrikt team där innovation och kvalitet står...


  • Västerås, Västmanland, Sweden Inclsuo AB - Västerås Full time

    We are currently searching for a highly skilled Software Test Lead at Inclsuo AB - Västerås. The chosen candidate will play a pivotal role in managing and coordinating major engineering tasks.Our company's focus lies in providing software solutions that cater to customer requirements while maintaining efficiency and effectiveness.Key...


  • Västerås, Västmanland, Sweden Inclsuo AB - Västerås Full time

    Join us at Inclsuo AB - Västerås as a Software Test Lead and take on a pivotal role in shaping the future of software engineering. As a member of our team, you will be responsible for leading and managing engineering activities, collaborating with cross-functional teams, and driving business outcomes.With a strong focus on innovation and customer...


  • Västerås, Sweden MÄLARDALENS UNIVERSITET Full time

    Mälardalen University (MDU) is the youngest university in Sweden. In line with our vision, to be a progressive and collaborative University where we shape a sustainable future together, we wish to make a difference. Do you want to be involved and contribute to our development? Together, we can create a sustainable future through knowledge and innovation....


  • Västerås, Västmanland, Sweden MÄLARDALENS UNIVERSITET Full time

    About the PositionWe are seeking a PhD researcher to join our team in the School of Business, Society and Engineering at Mälardalen University. The successful candidate will contribute to our research focus on energy and environmental engineering, with a particular emphasis on circular economy systems.The PhD project aims to develop innovative solutions for...

  • Nuclear Engineer

    1 day ago


    Västerås, Västmanland, Sweden BRÄNSLEFABRIK Full time

    Company Overview">BRÄNSLEFABRIK is a leading provider of clean energy solutions, committed to supporting innovative teams and advanced technologies.">Job Description">We are seeking an experienced Nuclear Design Engineer to join our EMEA Fuel Engineering department in Västerås, Sweden. The successful candidate will be responsible for developing nuclear...