Logic List Mailing Archive

PhD student positions and postdoctoral positions in logic, Bremen (Germany)

The KWARC group [1] at Jacobs University Bremen [2] is looking for
Ph.D. candidates and PostDocs in multiple projects, e.g. [3,4].

Jacobs University Bremen is a private, English-speaking research
university in Germany.
The KWARC group conducts research on the representation and management of formal
and informal knowledge in the STEM disciplines (Science, Technology,
Engineering, and Mathematics).

Our interests cover the whole range from formal to informal knowledge and
include
- logics and foundations of mathematics
- formalizing/verifying knowledge
- informal and semi-formal documents (specifications, papers, web pages, etc.)
- domain-specific applications (spreadsheets, CAD, etc.)
- knowledge management (search, user interfaces, system integration, etc.)

We build systems that cover these diverse areas uniformly and integrate across
domains, languages, and tools, always combining logical correctness, wide-range
applicability, and large-scale interoperability.

Interested candidates can introduce themselves or ask for further information by
email to
  Prof. Michael Kohlhase <m.kohlhase@jacobs-university.de>
<mailto:m.kohlhase@jacobs-university.de>
Applications (including the usual documents) should be directed to the same
email address.


[1] http://kwarc.info

[2] http://www.jacobs-university.de

[3] https://kwarc.info/projects/OAF
The Open Archive of Formalizations will provide an open infrastructure to
translate and share formalized mathematical knowledge such as theories,
definitions, and proofs between mutually incompatible foundations (e.g., set
theory, higher-order logic, constructive type theory, etc.), library formats,
and library structures. The OAF system will be based on a uniform
foundation-independent representation format for libraries, which allows
formalizing the logical foundations alongside the libraries and thus acts as
framework for aligning libraries.

[4] http://opendreamkit.org/
The Open Digital Research Environment Toolkit for the Advancement of Mathematics
will deliver a flexible toolkit enabling research groups to set up Virtual
Research Environments, customized to meet the varied needs of research projects
in pure mathematics and applications, and supporting the full research
life-cycle from exploration, through proof and publication, to archival and
sharing of data and code, including popular tools such as LinBox, MPIR,
Sage(sagemath.org), GAP, PariGP, LMFDB, and Singular.


-- 
Dennis M. Müller

"To do mathematics is to be, at once, touched by fire and bound by reason. This
is no contradiction. Logic forms a narrow channel through which intuition flows
with vastly augmented force"
  - Jordan Ellenberg (How Not to Be Wrong)