Computer science position in infrastructure and graphical predicate logic

We are looking for a junior computer scientist with an interest in both IT infrastructure and development of graphical tools for business rules.
In the IT infrastructure area, the applicant is expected to have professional experience of automation of Linux systems and of deploying database clusters.
In the area of application development, the applicant is expected to have experience of digital predicate logic systems such as Prolog and with custom programming language development (most likely in an academic setting).
The applicant should have knowledge of Python, JavaScript and at least one mainstream low-level language such as C or C++.
The applicant should be proficient in English at C2 level or equivalent. Fluency in written and spoken Swedish is meriting but not required.