3 software-formal-method-phd Postdoctoral scholarships in Austria

PostDoc Position "Industrial Problem Solving Using Symbolic and Subsymbolic AI"

Johannes Kepler University Linz | Austria | 3 months ago

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

PostDoc position at University of Graz: Biorefinery engineering and Lignin chemistry – within the European Research Council (ERC)-Consolidator Grant StimulART

Universität Graz | Austria | 3 months ago

of desired polymer building blocks by flow-through methods, a critical and poorly investigated problem in biomass research. The structural diversity and modular nature of multifunctional protecting groups and

PostDoc position at University of Graz: Polymer chemistry – within the European Research Council (ERC)-Consolidator Grant StimulART

Universität Graz | Austria | 3 months ago

of desired polymer building blocks by flow-through methods, a critical and poorly investigated problem in biomass research. The structural diversity and modular nature of multifunctional protecting groups and