Post Doctoral Fellow
Carnegie Mellon University - Pittsburgh, PA

This job posting is no longer available on Carnegie Mellon University. Find similar jobs: Post Doctoral Fellow jobs - Carnegie Mellon University jobs

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.
    Qualifications
    : Minimum:
    • 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

    Department URL : http://www.cs.cmu.edu

    Job Function : Post Doc
    Primary Location : United States-Pennsylvania-Pittsburgh
    FT/PT Status : Regular Full Time
    Organization : COMPUTER SCIENCE DEPARTMENT

    Minimum Education Level : Doctorate or equivalent

    Salary : Negotiable

    Carnegie Mellon University - 19 months ago - save job
    About this company
    60 reviews
    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...