Home About EIS →

Tag Archives: chekofv

UC Santa Cruz seeks game developer and game designer staff

The Univ. of California, Santa Cruz is seeking applicants for two new full time staff positions, a Lead Game Programmer and a Lead Game Designer to work with myself, Michael Mateas, and Luca de Alfaro in support of the CHEKOFV project. CHEKOFV (Crowd-sourced Help with Emergent Knowledge for Optimized Formal Verification) is a research effort […]

Posted in Academics, Games | Also tagged , , | Comments closed