CRAUniting industry, academia and government to advance computing research and change the world.
  • X
  • Facebook
  • Youtube
  • Rss
  • About
    • Board of Directors
      • Board Members
      • Executive Officers
      • Society Liaisons
    • Staff
    • Membership
      • Member List
      • Dues
    • Strategic Plan
    • Annual Reports
    • Awards
    • Contact Us
    • Anti-harassment Policies
  • Government Affairs
    • Advocacy
    • Policy Issues
    • Policy Blog
    • Policy Spotlight
    • Members
  • Committees
    • CCC
    • CERP
    • CRA-E
    • Government Affairs
    • CRA-Industry
    • CRA-WP
    • CRA Deans Group
    • All Committees and Working Groups
  • Programs
    • NSF CSGrad4US
    • UR2PhD
    • DREU
    • DREAM
    • Data Buddies
    • Grad Cohort for IDEALS
    • Grad Cohort for Women
    • CRA-E Graduate Fellows
  • Events
    • Career Landscape Workshop
    • Conferences We Support
    • Congressional Visit Day
    • CRA Career Mentoring Workshop
    • CRA Conference
    • CRA Leadership Academy for Faculty
    • Early and Mid Career Mentoring Workshop
    • LISPI
    • New Chairs Workshop
    • NSF LEVEL UP
  • Awards
    • CRA Distinguished Service Award
    • CRA A. Nico Habermann Award
    • CRA Anita Borg Early Career Award
    • CRA Skip Ellis Early Career Award
    • CRA Outstanding Undergraduate Researcher Award
    • CRA Undergraduate Research Faculty Mentoring Award
    • Service to CRA Award
  • Resources
    • BPCnet Resource Portal
    • SPARC
    • Best Practice Memos
    • CRA Quadrennial Papers
    • CRA Workforce & History Reports
    • Reports on Research Issues
    • Computing Research News
    • CRA Bulletin
  • Data
    • CRA Taulbee Survey
    • BPCnet Statistics & Data Hub
    • The Data Buddies Project
    • CERP REU Evaluation
    • DAPPIC
  • Statements/Positions
  • Jobs
    • View Jobs
    • Post a Job
    • Submit Your CV
    • Search Applicant Database
    • CRA Careers
  • Search
  • Menu Menu
CRA Job Announcements

CRA Job Announcements

Assistant Professor in Foundations of computer science with a focus on logic and automated reasoning

December 20, 2023/In: Computer Science/Engineering Professional /
This listing has expired.
Share this entry
  • Share on Facebook
  • Share on X
  • Share on X
  • Share by Mail
All Listings
job feed icon
Subscribe via E-Mail:
Type e-mail and hit enter.

Upcoming Events

View all events
CRA - Uniting Industry, Academia and Government to Advance Computing Research and Change the World.
CCC - Catalyzing the computing research community and enabling the pursuit of innovative, high-impact research.
Increasing the Success and Participation of Underrepresented Groups in Computing Research.
CRA-E - Addressing society’s need for a continuous supply of talented and well-educated computing researchers.
CERP - Promoting diversity in computing through evaluation and research.
Increasing interaction between industry partners and other organizations involved in computing research for the benefit of all.
CRA Home | Contact Us | Accessibility Statement | Unsubscribe/Removal of Information | Terms of Use         © Copyright 2024 - CRA
Research Computer Scientist – IDA Center for Computing Sciences
Scroll to top