At the School of Computing Science, Business Administration, Economics and Law of the University of Oldenburg, in the Department of Computer Science in the research group “Theory of Correct Systems”(Prof. Dr. Christoph Matheja) there is a position as a
Research Assistant (m/f/d)
(pay grade 13 TV-L, 100%)
to be filled as soon as possible for three years (with the option to extend). There is the option of further scientific qualification (doctorate). The position is suitable for part-time work.
The Theory of Correct Systems group develops formal techniques and tools for raising the confidence in the correctness of software systems. The successful candidate for this position is expected to conduct research in probabilistic program verification, particularly at the boundary of deductive verification and probabilistic model checking. The position also includes a teaching obligation of 4 semester hours per week in courses thematically related to the above research field.
Applicants must have successfully completed a university degree (Master or Diploma from a full or technical university) in Computer Science. Knowledge in deductive verification, model checking, and programming languages theory is required. An interest in tool development using Rust and Lean is expected. Good written and spoken English and a strong interest in teamwork and teaching are expected.
The University of Oldenburg aims to increase the proportion of women in science. Women are therefore strongly encouraged to apply. According to § 21 para. 3 NHG, female applicants with equivalent qualifications should be given preferential consideration. Applicants with disabilities will be given preference if equally qualified.
Applications with an informative CV, letter of motivation, and copies of the most important certificates should be sent by e-mail as one coherent PDF document to Christoph Matheja () by 25.09.2024.