Postdoctoral in Higher Category Theory: We are offering a postdoc position in the areas of higher category theory, homotopy type theory, and constructive mathematics, with a competitive monthly salary and full social benefits. The position is within the Logic and Types unit of the Computing Science division at Chalmers University of Technology, located in Gothenburg, Sweden.
Postdoctoral Research Position in Higher Category TheoryReference Number: REF 2024-0540
Designation: Postdoctoral Researcher
Research Area: Higher Category Theory, Homotopy Type Theory, Constructive Mathematics
Location: Gothenburg, Sweden
Eligibility/Qualification:
- Doctoral degree in computer science, mathematics, or related areas.
- Familiarity with category theory and interest in type theory, homotopy theory, or higher categories.
- Experience with constructive mathematics, type theory, abstract homotopy theory, models of higher categories, or simplicial sets is advantageous.
- English proficiency in verbal and written communication is required.
Job Description:
As a postdoctoral researcher, you will conduct original research in higher category theory and publish in leading international venues. You will collaborate with senior researchers and contribute to the project’s objectives. Additionally, teaching and supervision of bachelor and master thesis projects for up to 20% of your time is expected, with the possibility of co-supervision of PhD students.
Responsibilities:
- High-quality original research.
- Teaching activities including supervision.
- Communication of results both orally and in writing.
How to Apply:
The application should be sent electronically and include the following documents (maximum file size of 40 MB, no Zip files supported):
- CV: Including a list of publications, previous employment, and leadership qualifications.
- Personal Letter: A maximum of 1-3 A4 pages introducing yourself, explaining your interest in the position, your research experience, and future goals.
- Other Documents: Evidence of written work (links to research papers, theses), attested copies of education certificates.
Use the application button on the job page to submit your application.
Last Date for Apply: 3rd November 2024
Contact Information:
- Senior Researcher: Christian Sattler, Principal investigator of the project
Email: Sattler@chalmers.se - Associate Professor: Ana Bove, Head of Logic and Types unit
Email: Bove@chalmers.se
Contract Terms:
- Full-time, starting as soon as possible, until September 2027.
- Location: Gothenburg, Sweden.
We Offer:
- Holiday allowance: 28-35 days/year (depending on age).
- Collective agreement: parental pay, sick pay supplement, medicine costs.
- Wellness allowance.
- Flexible working conditions.
Table 1: Key Information
| Position | Postdoctoral Researcher (Higher Category Theory) |
|---|---|
| Reference Number | REF 2024-0540 |
| Research Area | Higher Category Theory, Homotopy Type Theory, Constructive Math. |
| Location | Gothenburg, Sweden |
| Contract Duration | Until September 2027 |
| Application Deadline | 3rd November 2024 |
Table 2: Required Documents for Application
| Document | Details |
|---|---|
| CV | Including list of publications and prior work experience |
| Personal Letter | 1-3 pages introducing yourself, research experience, and future goals |
| Other Documents | Links to written work, research papers, theses, and attested education copies |
For more details and to apply, visit: Chalmers Postdoc Job Page
