[Publicity] PostDoc Position "Industrial Problem Solving Using Symbolic and Subsymbolic AI"

[Tanja Gutenbrunner]

[ Please forward to potentially interested candidates. ]

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 at risc.jku.at>
Associate Professor
RISC Institute, Johannes Kepler University Linz, Austria

-------------------------------------------------------------------------
If you do not wish to receive announcements from the Research Institute 
for Symbolic Computation (RISC), please send an e-mail to the following 
address:
secretary at risc.jku.at
-------------- next part --------------
A non-text attachment was scrubbed...
Name: PostDoc.pdf
Type: application/pdf
Size: 129964 bytes
Desc: not available
URL: <http://listserver.risc.jku.at/pipermail/publicity/attachments/20250211/edd9ce9c/attachment-0001.pdf>