[Alta-Logic] Fwd: [PT] Research Programmer in HoTT and Cubical Type Theory

[Richard Zach]

Maybe this is of interest to one of you!

-R


We are hiring a research programmer at University of Minnesota to work 
with us on building next-generation proof assistant technology (broadly 
defined) based on homotopy type theory and cubical type theory. The 
ideal candidate would have some knowledge and interest in homotopy and 
cubical type theory, combined with concrete experience implementing type 
theoretic proof assistants using modern algorithms, such as 
bidirectional type checking and normalization-by-evaluation.


You will be exposed to the latest research in the field and can get 
involved in theoretical development of the research ideas. We welcome 
applicants who do not have a Ph.D. degree---a BA/BS degree is sufficient.


The research project is funded by the AFOSR through their MURI program, 
and your official affiliation would be the University of Minnesota with 
Favonia being your supervisor. However, you will frequently meet and 
collaborate with other researchers from Carnegie Mellon University, 
Wesleyan University, University of San Diego, and other institutions. 
Especially during the COVID-19 pandemic, most activities will be online, 
though you will have to be physically in the US. (We may be able to 
sponsor visas. Contact Favonia <kbh at umn.edu <mailto:kbh at umn.edu>> for 
details.)


We are interviewing candidates on a rolling basis until a match is 
found. Candidates applying by the end of March (2021/3/31) would be 
given priority.


Here is the official link for application: 
https://hr.myu.umn.edu/jobs/ext/339220 
<https://eur01.safelinks.protection.outlook.com/?url=https%3A%2F%2Fhr.myu.umn.edu%2Fjobs%2Fext%2F339220&data=04%7C01%7CProofTheory%40lists.bath.ac.uk%7C6918c56ea794426c71da08d8e5bd8375%7C377e3d224ea1422db0ad8fcc89406b9e%7C0%7C0%7C637511949418682456%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C1000&sdata=PAT0HCL%2Fz%2FnVaw26OvKLDas%2B%2B8AfPHf8UuxwUfyKSnA%3D&reserved=0>Please 
also drop an email to Favonia <kbh at umn.edu <mailto:kbh at umn.edu>> so that 
we can confirm that your application correctly enters the system. If you 
are a current employee of the University of Minnesota, please use 
https://hr.myu.umn.edu/jobs/int/339220 
<https://eur01.safelinks.protection.outlook.com/?url=https%3A%2F%2Fhr.myu.umn.edu%2Fjobs%2Fint%2F339220&data=04%7C01%7CProofTheory%40lists.bath.ac.uk%7C6918c56ea794426c71da08d8e5bd8375%7C377e3d224ea1422db0ad8fcc89406b9e%7C0%7C0%7C637511949418682456%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C1000&sdata=ngYi7wAEOm8MovP4EZRU85lGqojZxDevgYLLRobw7AA%3D&reserved=0>instead.


# Some further information


- What is the annual salary?

About $60,000 USD.


- When is the expected start date?

As soon as you are ready.


- How long does this position last?

The position will last as long as the project can support it and benefit 
from it. However, the expectation is that you will be in this position 
around 1-3 years (negotiable) and may choose to leave early (for 
example, to start a Ph.D.). Your official contract will be one-year but 
renewable.


- I see that there’s a “work experience” requirement. What counts as 
“work experience”?

This requirement exists to satisfy an administrative requirement of the 
job code at the University of Minnesota. We will recognize a wide range 
of activities as “work experience”, such as contributions on GitHub 
during weekends. **Please document related activities in your CV.** If 
you are not sure if something counts as work experience, please ask 
Favonia <kbh at umn.edu <mailto:kbh at umn.edu>>.


- I have more questions!

Please send an email to Favonia <kbh at umn.edu <mailto:kbh at umn.edu>>.


Best,
Favonia
they/them/theirs
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://mailman.ucalgary.ca/pipermail/alta-logic-l/attachments/20210313/cb5d6fa0/attachment.html>