Logic List Mailing Archive

CfA: Postdoc Position in Symbolic & Subsymbolic AI, Linz (Austria), start: June-November 2025

FFG Exploratory Project InProSSA:
Industrial Problem Solving Using Symbolic and Subsymbolic AI

POSTDOC POSITION

The Research Institute for Symbolic Computation (RISC,
https://risc.jku.at) and the Institute for Symbolic Artificial Intelligence (SAI, https://jku.at/sai) of the Johannes Kepler University
(JKU) Linz, Austria, offer in the frame of the exploratory FFG project
“InProSSA: Industrial problem solving using symbolic and subsymbolic AI” 
a position for a person with doctoral degree in computer science, mathematics, artificial intelligence, or related areas and (academic and/or industrial) expertise in (some of) the following areas:

• Formal analysis and modeling of mathematical problems • Formal languages (syntax, semantics, implementation, ...) • Formal logic (automated reasoning, SAT/SMT solving, ...) • Software development

The person filling this position will carry out exploratory research and development tasks under the supervision of/in collaboration with senior researchers of RISC, SAI and other partners of the project consortium. 
The position will involve both research and development, with focus on the design and implementation of a domain-specific modeling language for industrial optimization/scheduling problems. Publication of the project results in collaboration with the project partners at scientific conferences respectively in scientific journals is expected.

The salary of the position is according to the FWF rate for postdocs (€
4752 gross salary per month) and is offered for a period of 11 months for a full employment or a correspondingly longer period for a part-time employment (e.g., 15 months for a 75% employment), starting between June and November 2025. After the termination of the contract, there is the possibility for non-limited employment by RISC Software (https://www.risc-software.at), a non-university research institution that is owned by JKU and located in Hagenberg, Austria.

We promote professional equality for women and therefore expressly welcome applications from women. In the case of equal suitability, female applicants will be given preferential consideration as far as legally possible.

Please send your application (including a CV) per email to:

Wolfgang Schreiner <Wolfgang.Schreiner@risc.jku.at> Associate Professor RISC Institute, Johannes Kepler University Linz, Austria
--
[LOGIC] mailing list, provided by DLMPST
More information (including information about subscription management) can
be found here: http://dlmpst.org/pages/logic-list.php