Postdoctoral position in Programming Technology at the University of Bergen, Norway
We are looking for an excellent researcher to fill a postdoctoral position.
The position is available for a period of 2 years at the Department of Informatics, University of Bergen, Norway. It is financed by the Research Council of Norway (NFR) through the project Scientific Computing with Algebraic and Generative Abstractions for Geophysical Problems (SAGA-GEO, http://www.ii.uib.no/saga/). The project conducts basic research on the use of advanced programming technologies for e- science. The position is in this area in general, but there is a preference for an expert in programming of parallel computers.
University of Bergen is a city university. Parts of the campus are in fact situated in the town centre. We have about 17.000 students and nearly 3000 employees. UiB is renowned for its research which holds a high European standard and we have three Centres of Excellence (CoE). The University of Bergen has a strong international profile which entails close co-operation with universities all over the world.
The working environment will be the Programming technology Group at the Department of Informatics, University of Bergen. The group consists of 2 full-time professors, 3 adjunct professors, 1 postdoctoral fellows and 5 PhD positions. The group is very international and much of the working language is English. The project also involves cooperation with the Mathematics Department and CIPR.
Applicants must have achieved a Norwegian doctorate in informatics, mathematics or an equivalent education abroad, or have presented the dissertation for assessment by the closing date for application. It is prerequisite the dissertation has been approved before appointment is granted.
The chief objective of the postdoctoral position is to qualify the successful applicant for top academic positions.
It is expected that the successful candidate will start late 2006 or early 2007. Salary will be paid in accordance with level 54 on the government salary scale (code 1352) currently equivalent to NOK 390 000 (1 EURO is about 8 NKR) per year before tax. There are no teaching duties. Positions in Norway include health and other benefits.
Please contact Professor Magne Haveraaen http://www.ii.uib.no/~magne/ phone 47 55 58 4154 if you are interested in this position or if you have any questions.
State employment shall reflect the multiplicity of the population at large to the highest possible degree. We have therefore adopted a personnel policy objective to ensure that we achieve a balanced age and sex composition and the recruitment of persons of various ethnic backgrounds. Persons of different ethnic backgrounds are therefore encouraged to apply for the position.
The successful applicant must comply with the guidelines that apply to the position at any time.The University of Bergen applies the principles of public openness when recruiting staff to scientific positions.
The successful applicant must comply with the guidelines that apply the position at any time.
The University of Bergen applies the principles of public openness when recruiting staff to scientific positions.
The application, and CV should be sent via the link http://jobb.jobbnorge.no/visstilling2.aspx?stillid=34220&lang=EN menu item "Apply for this position". The application should contain a brief statement of the applicants interest and motivation; and the names and email addresses of three referees.
In addition, the above material and copies of exams (bachelor, master, PhD) and certificates, and up to 10 scientific works and a list of all publications should be sent by e-mail to saga-inquire@ii.uib.no with subject "saga-geo post doc 06/1147".
Closing date for applications: 15th December 2006.
Dear STS (Software transformation systems) mail-list subscribers,
I wanted to make subscribers to the STS mail-list aware of a couple of tutorials that I am running at GPCE in September and OOPSLA in October that may be of interest to members of this community.
These tutorials provide an introduction to our extensible Java translator, ableJ, that allows programmers to easily import domain specific language extensions into their programming language (in this case, Java). These extensions add new language constructs (new syntax) and new semantic analyses to Java.
For example, one extension adds SQL to Java so that database queries can be written in a more natural syntax and the extended compiler can detect syntax and type errors in these queries. Other extensions add regular expressions (as found in scripting languages) and type-checking of numeric unit-of-measurement types (feet, meters, acceleration, etc.).
What may be of particular interest to the STS community is that the extensible Java translator and the language extensions are specified as attribute grammars. A significant amount of each tutorial will be devoted to the Silver attribute grammar system that is used to implement these attribute grammar specifications.
Details about the tutorials follow below. More information on Silver and ableJ can be found at www.melt.cs.umn.edu.
Best Regards, Eric ______________________________________________________________________ Eric Van Wyk Dept. Computer Science & Engin. Assistant Professor University of Minnesota email: evw@cs.umn.edu 4-192 EE/CSci Building web: www.cs.umn.edu/~evw/ 200 Union Street SE ph: +1 (612) 625-0329 Minneapolis, MN 55455, USA
GPCE Tutorial ------------- Tutorial GPCE2: Building Composable, Domain-specific and General Purpose Extensions to Java
When: Sunday, September 30 at 13:30
Web site: http://www.hope.cs.rice.edu/twiki/bin/view/GPCE07/TutorialGPCE2
Abstract:
This tutorial provides an introduction to building domain-specific and general purpose language extensions to Java. This is illustrated using ableJ, an attribute grammar-based extensible language framework for Java. Language extensions may define the syntax, semantic analysis, and optimizations of new language features. We describe several language extensions and their implementation in the framework. For example, one embeds the SQL database query language into Java and statically checks for syntax and type errors in SQL queries. AbleJ supports the modular specification of composable language extensions so that programmers can import into Java the unique set of extensions that they desire.
The tutorial introduces Silver, a feature-rich attribute grammar specification language that also supports local and composable global transformations. It also covers the ableJ framework; a specification of Java written in Silver. We cover various aspects of this specification to show how one can build new language extensions to Java.
OOPSLA Tutorial --------------- Tutorial 22: Building Embedded and Stand-alone Domain Specific Languages: Principles and Practise
When: Monday, October 21 at 13:30
Web site: http://www.oopsla.org/oopsla2007/index.php?page=sub/&id=61
Abstract:
This tutorial provides an introduction to the principles and practice of building domain-specific languages (DSLs). We consider DSLs as stand-alone languages and as language fragments that can be embedded into general purpose languages such as Java. The tutorial covers the fundamental aspects of any DSL design: concrete syntax, abstract syntax, semantics, and code generation. It discusses in more detail techniques for generating scanners and parsers from specifications. A significant portion of the tutorial covers embedded DSLs and a tool, ableJ, that allows programmers to import DSLs as language extensions into an extensible specification of Java. For example, one extension embeds the SQL database query language into Java and statically checks for syntax and type errors in SQL queries; another adds types for physical units such as meters, feet/second, etc and type rules to ensure that values of such types are not used incorrectly. Finally, the tutorial highlights the distinguishing characteristics of many open source tools that one may use to build DSLs and considers visual DSLs that can be constructed using the Eclipse MDD tools and the Microsoft DSL Toolkit. Further information is available at www.melt.cs.umn.edu.
-
Eric Van Wyk -
Magne Haveraaen