Postdoc in Software Design and HCI at MIT in Cambridge, MA
3 views
Skip to first unread message
Sampada Marathe
Apr 28, 2017, 3:33:36 PM4/28/17
to bostonchi...@googlegroups.com
Postdoc position in Software Design at MIT
Starting Fall 2017
A postdoc position is available in the Software Design Group in the Computer Science and Artificial Intelligence Laboratory at MIT, in the area of software design, human-computer interaction and formal methods.
Our goal is to rethink how software interactions are designed, focusing not on the interface but on the underlying semantic concepts that a user and a programmer share. An application is characterized by a set of such concepts: posting, friendship and tagging for Facebook; tweets, following and hashtags for Twitter; paragraphs, styles and textflows for Indesign; layers, masks and channels for Photoshop; and so on. The project currently involves (a) creating a design method based on concepts; (b) case study designs and redesigns; (c) constructing a catalog of reusable concepts; (d) a platform for building apps by composing concepts drawn from a predefined library.
We are looking for a postdoc to join us in this work, and to extend it in new directions. There are opportunities to develop the fundamental ideas behind the design theory; to build tools for analyzing designs; to build new development platforms; to conduct design studies of existing systems, and to design new systems; to evaluate design principles with user studies; and more. Our approach combines ideas from programming language semantics and formal modeling, design thinking, usability heuristics, software modularity, and psychology.
To apply for this position, you should have a PhD in computer science or a related field, publications in top conferences in software engineering, programming languages or HCI, a passionate interest in designing software for usability, software development experience, and ideally some background in formal methods.
For more information, see http://sdg.csail.mit.edu/projects/conceptual or contact:
Daniel Jackson
http://people.csail.mit.edu/dnj
Starting Fall 2017
A postdoc position is available in the Software Design Group in the Computer Science and Artificial Intelligence Laboratory at MIT, in the area of software design, human-computer interaction and formal methods.
Our goal is to rethink how software interactions are designed, focusing not on the interface but on the underlying semantic concepts that a user and a programmer share. An application is characterized by a set of such concepts: posting, friendship and tagging for Facebook; tweets, following and hashtags for Twitter; paragraphs, styles and textflows for Indesign; layers, masks and channels for Photoshop; and so on. The project currently involves (a) creating a design method based on concepts; (b) case study designs and redesigns; (c) constructing a catalog of reusable concepts; (d) a platform for building apps by composing concepts drawn from a predefined library.
We are looking for a postdoc to join us in this work, and to extend it in new directions. There are opportunities to develop the fundamental ideas behind the design theory; to build tools for analyzing designs; to build new development platforms; to conduct design studies of existing systems, and to design new systems; to evaluate design principles with user studies; and more. Our approach combines ideas from programming language semantics and formal modeling, design thinking, usability heuristics, software modularity, and psychology.
To apply for this position, you should have a PhD in computer science or a related field, publications in top conferences in software engineering, programming languages or HCI, a passionate interest in designing software for usability, software development experience, and ideally some background in formal methods.
For more information, see http://sdg.csail.mit.edu/projects/conceptual or contact:
Daniel Jackson
http://people.csail.mit.edu/dnj
Reply all
Reply to author
Forward
0 new messages