Postdoctoral Researcher

Details • San Diego, CA

1d • Onsite

About The Position

The Department of Mathematics aims to be a welcoming and supportive home within the College of Arts and Sciences for the development and training of logical and computational thinking, emphasizing the value of human reasoning as well as its interaction and synergy with machine reasoning. The College of Arts and Sciences is at the heart of the University of San Diego. Our philosophy is built on the enduring values of the Catholic intellectual tradition, immersing students in the concepts of free inquiry, ethical conduct and compassionate service. The College aims to establish an academic foundation for students to thrive and gain a comprehensive education, which spans the sciences, arts and social sciences. Through our exemplary liberal arts education and rigorous scholarship, we aspire to not only educate the mind but also develop the whole person. The University of San Diego, an engaged and contemporary Catholic institution, was founded by the Diocese of San Diego and the Society of the Sacred Heart in 1949. Governed by an independent board of trustees since 1972, USD remains committed to a liberal arts education grounded in the Catholic intellectual tradition and the pursuit of truth, goodness and beauty. Inspired by this centuries old tradition of Catholic higher education, the University welcomes people of all faith traditions and any, or no, religious background. The future success of USD relies on the contributions of those who seek to foster the development of engaged global citizens and an earnest confrontation of humanity’s urgent challenges. The postdoctoral researcher will be part of the team working on the grant “Proof assistants for formalization of higher category theory”. The primary task at this site of the grant is to finish development of the experimental proof assistant Narya and explore its uses for formalization of higher category theory. Secondary tasks include developing the metatheory of type theory for the purpose of establishing the formal theory of Narya, and developing the higher-categorical model category theory for the purpose of establishing its categorical semantics. The postdoctoral researcher will operate under the general guidance of the Supervisor. Research goals for the postdoc will be set collaboratively between the researcher and the supervisor, based on the postdoc’s background, skills, interests, and prior achievements and work in progress. Depending on the specific research goals, the postdoc may work largely independently, in close collaboration with the supervisor, or somewhere in between. In any case, the postdoc should expect to meet at least weekly with the supervisor to discuss research.

Requirements

• PhD in Mathematics or Computer Science
• Successful completion of a pre-employment background check.
• Persons offered employment will be required to provide official transcripts for degree verification purposes.

Responsibilities

• Finish development of the experimental proof assistant Narya and explore its uses for formalization of higher category theory.
• Develop the metatheory of type theory for the purpose of establishing the formal theory of Narya.
• Develop the higher-categorical model category theory for the purpose of establishing its categorical semantics.
• Meet at least weekly with the supervisor to discuss research.

Benefits

• medical
• dental
• vision
• a retirement contribution given to you by the University
• access to on-campus Fitness Centers

What This Job Offers

• Job Type: Full-time
• Career Level: Entry Level
• Education Level: Ph.D. or professional degree