--------------------------------------------------------------------------------
From: Don Syme
Sent: Wednesday, January 30, 2008 7:29 PM
To: FSharp Discussion
Cc: Programming Languages Interest Group
Subject: The F# team is hiring!
Hi all,
The F# team continue to have a number of positions open for compiler and language tools experts. Positions are by default in Redmond.
If you're interested in helping to bring a typed functional programming language into Visual Studio and think you have skills and commitment relevant to the achieving this, then please contact me or another member of the F# team to see if there might be a fit. If there's no immediate fit, then there may be one later, so don't be shy. We're looking for compiler experts, including optimization, type checking, performance and correctness language tools experts, e.g. experienced with language services and Visual Studio language tools QA/test experts
Kind regards
Don
Pittsburgh: the friendliest town ever?
I travel a great deal. Some cities will remain legendary in my mind for their hospitality during my frequent visits. Cities deserving extra special mention include NYC, Baltimore, Paris, Seattle, SF. Other cities are HORRIBLE to visit. San Diego comes to mind (sorry, nice weather, but "pass!"). Edinburgh is pretty but (based on 3 or 4 trips that I've made thus far) emotionally cold.
I've been happily surprised at the level of hospitality that I've encountered here in Pittsburgh. Many CMU people have invited me out to dinner, or to their homes. Old friends who now live in Pittsburgh have taken me out to shows, bars, etc. Tonight I had many social invitations: a concert, a dinner, etc. I'd already made plans to hang out with Lli (old Portland friend since 1996?). Tonight was the "gallery crawl" in downtown Pittsburgh, Lli and I ended up spending our entire gallery crawl time at this gallery. We also drove around a bit and talked, and went to dinner.
I've been happily surprised at the level of hospitality that I've encountered here in Pittsburgh. Many CMU people have invited me out to dinner, or to their homes. Old friends who now live in Pittsburgh have taken me out to shows, bars, etc. Tonight I had many social invitations: a concert, a dinner, etc. I'd already made plans to hang out with Lli (old Portland friend since 1996?). Tonight was the "gallery crawl" in downtown Pittsburgh, Lli and I ended up spending our entire gallery crawl time at this gallery. We also drove around a bit and talked, and went to dinner.
All settled in at CMU
For the past week I’ve been settling in at CMU. I’m teaching a graduate course on termination (and writing some companion lecture notes). I've been meeting with the many smart professors/students/researchers. I'm also working on several papers.
For the first few days I stayed in John Reynolds’ amazing house. Then I found my own place. The neighbourhoods here are great, and the houses are HUGE by my UK/Seattle standards.
I have a great office which rivals the office I have at MSR-Cambridge, with a great view!
For the first few days I stayed in John Reynolds’ amazing house. Then I found my own place. The neighbourhoods here are great, and the houses are HUGE by my UK/Seattle standards.
I have a great office which rivals the office I have at MSR-Cambridge, with a great view!
PhD students: its time to apply for the Marktoberdorf summer school
Note: its now time to apply to attend Marktoberdorf.
Teen pregnancy a good thing?
You might turn a little bit pro teen pregnancy if you read Bee's article which appeared in the Guardian. Congratulations to Bee, as the Guardian has picked this article as one of its best articles of the year.
PS. Happy holidays from snowy Colorado!
PS. Happy holidays from snowy Colorado!
Trends in concurrency summer school
PhD students: I'm teaching at the Trends in Concurrency summer school in Prague. Be sure to apply for a spot, as space will be very limited.
Marktoberdorf summer school
PhD students: I will be teaching at Marktoberdorf this summer. The list of lecturers has been announced, and the application process will open soon. Be sure to apply soon as space will be limited.
SLAM/SDV rule kit now available!
The Static Driver Verifier (SDV) Rule Development Kit (RDK) is now available. The RDK is an extension to SDV that allows you to adapt SDV to support additional frameworks (or APIs) and write custom SLIC rules for this framework. The goal of the RDK is to allow researchers to experiment with writing SLIC rules for APIs and to gain experience using the SLAM verification engine that underlies SDV. To request a copy of the RDK, please e-mail rdk_req@microsoft.com
Postdocs, interns, apply now
As of writing this the MSR admins have yet to update the page http://research.microsoft.com/aboutmsr/labs/cambridge/postdoc.aspx , but I know that we are planning to hire some postdocs in FV/PL this coming year. We also have slots available for interns, see http://research.microsoft.com/aboutmsr/jobs/internships/about_uk.aspx.
If you want one of these positions you should be getting your materials together now (letters of recommendation, etc). Also: please don't just formally apply on the website without sending me some mail letting me know that you've applied.
If you want one of these positions you should be getting your materials together now (letters of recommendation, etc). Also: please don't just formally apply on the website without sending me some mail letting me know that you've applied.
Shape analysis, for real!
Those of you involved in automatic program verification should take notice of this paper:
- On Scalable Shape Analysis
Authored by Hongseok Yang, Oukseh Lee, Cristiano Calcagno, Dino Distefano, Peter O'Hearn
Sad days.....
As some of you may know.......although I dont live in Seattle....since moving to europe I somehow have ended up spending lots of evenings and early mornings on the 500 block of E. Pine in Seattle. Perhaps I averaged 1/8 weekends there? Amazing. Well. That era is over, as its getting ripped down for progress. Time to grow up I suppose, or find some new good Seattle bars.
Comings and goings.....
Happy post thanksgiving. Some notes:
- I've been invited to speak at the CAV'08 workshop on numerical abstractions.
- Tal Lev-Ami and Mooly Sagiv visited last week, and kept me busy with a research topic that we've been working on for some time but only recently began to understand.
- John Reynolds' visit is over and he is now returning back to Carnegie Mellon.
- I'll be in San Francisco and Denver from Dec 18th until Jan 12th
- On Jan 12th I'm going to Carnegie Mellon for my sabbatical
Subscribe to:
Posts (Atom)