In this position research interests are focused on logic and formalized reasoning with applications to programming languages and software verification.
100% - The main responsibility of the successful candidate will be to conduct high-quality research on the core topics of an NSF grant entitled "A higher-order framework for meta-theoretic reasoning." This grant encompasses foundational proof-theoretic studies related to adding higher-order capabilities to a logic that supports fixed-point definitions, developmental work related to enhancing the proof assistant Abella based on these studies, and applications of the resulting system to reasoning tasks such as compiler verification. There is flexibility with regard to the specific topics to be investigated, but the ideal post-doctoral associate would be one who has the capability of covering the spectrum from foundational work to its use in applications.
The post-doctoral associate will also be provided an opportunity to participate in mentoring graduate and undergraduate students and also to teach a (formal or informal) topics course related to research in logic or programming languages. While the primary focus is the research component, up to 10% of the overall time may be devoted to these two other categories
Ph.D. in Computer Science with an intrinsic and sufficiently deep understanding of computational issues in logic and type theory and programming languages. Capability to build software artefacts to substantiate theoretical investigations.
Sufficient familiarity with proof assistants such as Abella, Coq and Isabelle. Prior exposure to natural deduction and sequent calculi and the meta-theoretic aspects concerning such systems. Mathematical abilities needed to work on foundational aspects of proof systems. Prior experience with building software systems using OCaml (preferred), SML or Haskell.
Internal Number: 330828
About University of Minnesota, Twin Cities
The University of Minnesota, founded in the belief that all people are enriched by understanding, is dedicated to the advancement of learning and the search for truth; to the sharing of this knowledge through education for a diverse community; and to the application of this knowledge to benefit the people of the state, the nation, and the world.