Research Assistant - Formal Methods Research Group
Research Assistant - Formal Methods Research Group
Carl von Ossietzky University Oldenburg
Oldenburg, Germany
The Formal Methods research group develops formal techniques for the specification and verification of software systems. The successful candidate for this position is expected to conduct research in the area of software analysis, particularly in the combination of different automatic or interactive software verification approaches.
Applicants must have successfully completed a university degree (Diploma (Uni)/Master) in Computer Science. Knowledge in areas such as data flow analysis, model checking, abstract interpretation or similar would also be desirable and an interest in tool development is expected. Applicants with a completed PhD in Computer Science are expected to have peer-reviewed publications in the field of formal methods. Good written and spoken English and a strong interest in teamwork and teaching are expected.
© EuroJobsites 2024
