Applications are invited for postdoc positions in the areas of programming languages, formal verification, operating systems, and hardware design at the University of Pennsylvania, Harvard University, and Northeastern University.
The hosting project, SAFE (Semantically Aware Foundation Environment), is part of CRASH, a larger DARPA-funded effort to design new computer systems that are highly resistant [...]
on twitter
Anyone looking for a hot shit young hacker who knows music, programming, and its intersection? (cc @ConductiveIO)
,@swannodette ... the first good reason I've heard for Stephen Wolfram being FAMOUS.
,@collapsing_star Quite competitive. It's one of the best PL groups in the world though, so that should be expected.
RT: @racketlang Racket v5.2.1 is now available: http://t.co/idX9eDTF
I'm glad I'm not applying to the PhD program at Northeastern for PL. I doubt I'd make it.
ACM SIGPLAN Haskell Symposium 2012, Call for Papers: http://t.co/sCzt9E9u
International Colloquium on Automata, Languages and Programming (ICALP 2012), CFP http://t.co/GMjHeQaM
Mathematical Foundations of Programming Semantics, CFP http://t.co/8NBTinYW
Postdoc in PL group at U Maryland with Hicks and Foster. http://t.co/XBJilZYN second announcement, much more open ended now
Postdoctoral Position in Computational Logic at CMU with Pfenning and Cervesato http://t.co/dTMwu1oX
Blogroll
- A Neighborhood of Infinity
- Aaron Hawley (Refusal Computing)
- Aaron Stump (QA9)
- Andrej Bauer (Mathematics and Computation)
- Close Encounters of the Logical Kind (Riccardo Pucella)
- Computing Community Consortium (CCC Blog)
- Computing Research Policy Blog
- Dave Herman (The Little Calculist)
- Jacob Matthews
- Jens Axel Søgaard (Everything Scheme)
- Jereme Mongeon (test2)
- Justin Henry (Green Galoshes)
- Lambda the Ultimate
- Lance Fortnow and Bill Gasarch (Computational Complexity)
- Matt Might (Professor Might’s Blog)
- Mike Machenry (Turing Complete Waste of Time)
- Phil Wadler
- Phillip Alvelda (All the Best Bits)
- PLT Scheme
- Untyped
- Wand Symposium and Festschrift