Compiler positions available for week ending July 3

This is a digest of ``help wanted'' and ``position available'' messages
received at comp.compilers during the preceding week. Messages must
advertise a position having something to do with compilers and must also
conform to the guidelines periodically posted in misc.jobs.offered.
Positions that remain open may be re-advertised once a month. To respond
to a job offer, send mail to the author of the message. To submit a
message, mail it to compilers@iecc.com.




-------------------------------


Date: Thu, 30 Jun 2016 17:16:32 -0700 (PDT)
Subject: Postdoctoral Fellow at Iowa State University
From: Hridesh Rajan <hridesh@gmail.com>


The Department of Computer Science, Iowa State University invites
applications for a postdoctoral fellow position. The initial position
is for one year with a possibility of extension up to three years. The
position requires a Ph.D. in Computer Science, Software Engineering,
or a closely related field and outstanding potential for research in
computer science. Candidates who are in the final stages of obtaining
a Ph.D. will also be considered.


We would like to hire immediately; however, a later start date is
possible, depending on the candidatebs timetable.


The position is in the Panini project that is aimed at improving
concurrent software engineering by enabling modular reasoning about
concurrent software via synergistic advances in linguistic
abstractions and verification mechanisms. For more details about the
project please refer to: http://paninij.org and see the following
papers.


* Hridesh Rajan, "Capsule-oriented Programming ," ICSE'15: The 37th
International Conference on Software Engineering, Florence, Italy, May 2015.
* Mehdi Bagherzadeh and Hridesh Rajan, "Panini: A Concurrent Programming Model
for Solving Pervasive and Oblivious Interference," 14th International
Conference on Modularity (Modularity'15), Fort Collins, Colorado, USA, March
2015.


Qualifications
- Required: a PhD in computer science, software engineering and related
discipline.
- Required: strong background in either software engineering OR programming
languages
- Required: at least one publication in top-tier SE/PL venues.
- Preferred: strong background in compilers, program analysis, and
concurrency.


Iowa State University is classified as a Carnegie Foundation
Doctoral/Research University-Extensive, a member of the Association of
American Universities (AAU), and ranked by U.S. News and World Report
as one of the top public universities in the nation. Over 36,000
students are enrolled, and served by over 6,100 faculty and staff (see
www.iastate.edu). Ames, Iowa is a progressive community of 60,000,
located approximately 30 minutes north of Des Moines, and recently
voted second best most livable small city in the nation (see
www.amescvb.com).


To apply, please send the following to Dr. Hridesh Rajan at
hridesh@iastate.edu:
1) a cover letter briefly summarizing qualifications and describing your
interest in the position,
2) curriculum vitae and
3) contact information for three references


Review of applications will begin on July 15, 2016 and will continue until the
position is filled. You will be contacted if more information is needed.
Notification will be given via email when the position has been filled.


All offers of employment, oral and written, are contingent upon the
universitybs verification of credentials and other information required by
federal and state law, ISU policies/procedures, and may include the completion
of a background check.


Iowa State University is an Equal Opportunity/Affirmative Action employer. All
qualified applicants will receive consideration for employment without regard
to race, color, age, religion, sex, sexual orientation, gender identity,
genetic information, national origin, marital status, disability, or protected
veteran status, and will not be discriminated against. Inquiries can be
directed to the Director of Equal Opportunity, 3350 Beardshear Hall, (515)
294-7612.


Panini project: http://paninij.org
Laboratory for Software Design: http://design.cs.iastate.edu
Dept. of Computer Science: http://www.cs.iastate.edu
Iowa State University: http://iastate.edu


Dr. Hridesh Rajan
Professor
Dept. of Computer Science
Software Engineering Program
Information Assurance Program
Human Computer Interaction Program
Director, Graduate Admissions and Recruitment
Director, Laboratory for Software Design
Iowa State University
http://www.cs.iastate.edu/~hridesh/

Return to the comp.compilers page.
Search the comp.compilers archives again.