Discussion of Homotopy Type Theory and Univalent Foundations
 help / Atom feed
* [HoTT] Postdoc Position at the University of Minnesota
@ 2019-01-01  2:12 Favonia
  0 siblings, 0 replies; 1+ messages in thread
From: Favonia @ 2019-01-01  2:12 UTC (permalink / raw)
  To: types-announce, agda, coq-club, ProofTheory,
	univalent-mathematics, homotopytypetheory

[-- Attachment #1: Type: text/plain, Size: 1940 bytes --]

Dear All,

I am looking for postdocs for my group at the University of Minnesota, Twin
Cities, USA. The length is about 18-24 months but negotiable. The funding
can support a wide range of topics in type theory and programming language
theory. I am particularly interested in raising the rigor of computer
programs or mathematical proofs. To name a few possible research directions:

1. higher-dimensional type theory (e.g., cubical type theory)
2. mechanization of proofs (e.g., in homotopy theory)
3. property-based testing

I am open to other topics not on the list. Please check my website
https://favonia.org for the work I did. Teaching is not required, but we
can discuss it if you are interested. The start date is flexible though I
prefer early spring.

REQUIREMENT

You must have a Ph.D. in Computer Science, Mathematics, Philosophy, or some
related field when the job starts. I need your CV, your cover letter
(explaining your motivation) and two professional references.

PREFERENCE

Background in type theory or programming language theory, good publication
record, and experience in proof mechanization are all pluses.

HOW TO APPLY

If you are currently an employee of the University of Minnesota, use this
link:

https://hr.myu.umn.edu/jobs/int/328079

Otherwise, this is for everyone else:

https://hr.myu.umn.edu/jobs/ext/328079

DIVERSITY

We take diversity and inclusiveness seriously, which is an important reason
why I joined the University. I strongly encourage people of often
underrepresented groups (not just regarding race or gender) to consider
this position.

Best,
Favonia
they/them/theirs
http://favonia.org

-- 
You received this message because you are subscribed to the Google Groups "Homotopy Type Theory" group.
To unsubscribe from this group and stop receiving emails from it, send an email to HomotopyTypeTheory+unsubscribe@googlegroups.com.
For more options, visit https://groups.google.com/d/optout.

[-- Attachment #2: Type: text/html, Size: 2408 bytes --]

^ permalink raw reply	[flat|nested] 1+ messages in thread

only message in thread, back to index

Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2019-01-01  2:12 [HoTT] Postdoc Position at the University of Minnesota Favonia

Discussion of Homotopy Type Theory and Univalent Foundations

Archives are clonable: git clone --mirror http://inbox.vuxu.org/hott

Newsgroup available over NNTP:
	nntp://inbox.vuxu.org/vuxu.archive.hott


AGPL code for this site: git clone https://public-inbox.org/ public-inbox