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
**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************
Posts
