PhD Candidate in Forming Effective Code Representations

at  Springer Nature

PHD CANDIDATE IN FORMING EFFECTIVE CODE REPRESENTATIONS

Employer
Interdisciplinary Centre for Security, Reliability and Trust (SnT), University of Luxembourg
Location
Luxembourg
Salary
Negotiable
Closing date
4 Jun 2024
Discipline
Computing, Engineering
Job Type
PhD Position
Employment - Hours
Full time
Duration
Fixed term
Qualification
Masters
Sector
Academia

You need to sign in or create an account to a job.

• Job Details
• Company

ABOUT THE SNT

SnT is a leading international research and innovation centre in secure, reliable and trustworthy ICT systems and services. We play an instrumental role in Luxembourg by fueling innovation through research partnerships with industry, boosting R&D investments leading to economic growth, and attracting highly qualified talent.
We’re looking for people driven by excellence, excited about innovation, and looking to make a difference. If this sounds like you, you’ve come to the right place!

The successful candidate will join the Serval research group by working on the MiCE (FNR-funded) project. The subject of the thesis will be “Mutation-based code embeddings” with supervisor Dr. Mike Papadakis. Successful PhD candidates will extensively explore and develop software engineering techniques that include the feasibility, practicality and success evaluation of prototype implementations.

The team you will be working with:

• Mike Papadakis

The position holder will be required to perform the following tasks/will do research on the following topics:

• Forming dynamic execution-based code embeddings
• Forming test techniques to assess code embeddings

PhD Student Role: Under the direction of a professor, the candidate will carry out research activities and write a thesis with the main goal of obtain a PhD in the area of Software Engineering. This includes conducting literature surveys and establishing state-of-the-art; developing necessary experimental and simulation facilities where required; planning, executing, and analyzing experiments and simulations; conducting joint and independent research activities; contributing to project deliverables, milestones, demonstrations, and meetings; disseminating results at international scientific conferences/workshops and peer reviewed scientific publications.