Carnegie Mellon University seeks applicants to fill the position of Post Doctoral Fellow in the Computer Science Department. Under the direction of the principal investigator, the incumbent will conduct and lead research in the field of theory of computation, particularly intuitionistic type theory and its application to homotopy theory. Specific duties will include conduct of fundamental research into the computational semantics of homotopy type theory with applications to programming languages and automated reasoning. In addition, the successful candidate is expected to coordinate research with other members of the CMU community, as well as minimally supervise junior members of the group. The appointment is for one year with the possibility of renewal, pending available funding and satisfactory performance.
- Education: Ph.D. in theoretical computer science or mathematics
- Experience: Strong background in: proof theory, category theory, categorial logic, type theory or related areas. Exeprience in: functional programming, semantics of programming languages, mechanized reasoning.
- Skills: The successful candidate must have proven supervisory and leadership skills, and the ability to coordinate report findings and take lead in composing research proposals, specifically in response to broad agency announcements. Demonstrated ability to manage multiple priorities; and communicate effectively in an interdisciplinary environment.
- Physical Mobility: Ability to travel to various campus locations as needed. Able to lift and bend and move equipment. May be required to work at computer for extended periods of time.
- Mental: Must be able to communicate effectively in verbal, written and presentation forms. Ability to work under pressure, pay attention to detail, meet inflexible deadlines, and deal with difficult people while maintaining composure
- Other: Normal office or laboratory environment
Regular Full Time
COMPUTER SCIENCE DEPARTMENT
Minimum Education Level
Doctorate or equivalent
Carnegie Mellon University - 19 months ago
We are a global research university with more than 12,000 students, 92,000 alumni and 5,000 faculty and staff. Carnegie Mellon has been a...