<div dir="ltr">Dear All,<br><br>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:<br><br>1. higher-dimensional type theory (e.g., cubical type theory)<br>2. mechanization of proofs (e.g., in homotopy theory)<br>3. property-based testing<br><br>I am open to other topics not on the list. Please check my website <a href="https://favonia.org">https://favonia.org</a> 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.<br><br>REQUIREMENT<br><br>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.<br><br>PREFERENCE<br><br>Background in type theory or programming language theory, good publication record, and experience in proof mechanization are all pluses.<br><br>HOW TO APPLY<br><br>If you are currently an employee of the University of Minnesota, use this link:<br><br><a href="https://hr.myu.umn.edu/jobs/int/328079">https://hr.myu.umn.edu/jobs/int/328079</a><br><br>Otherwise, this is for everyone else:<br><br><a href="https://hr.myu.umn.edu/jobs/ext/328079">https://hr.myu.umn.edu/jobs/ext/328079</a><br><br>DIVERSITY<br><br>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.<br><br>Best,<br>Favonia<br>they/them/theirs<br><a href="http://favonia.org">http://favonia.org</a></div>