List of job vacancies - page 6


Postdoctoral position in the area of Compilers for Massively Parallel Architectures
by Ahmed Hemani, May 14, 2013

A research group within the Department of Electronic Systems, School of ICT, has been focusing on massively parallel domain customized coarse grain reconfigurable fabrics and compilers. The effort has primarily focused on streaming architectures for digital signal processing. More recent effort has targeted computational biology with focus on bio-informatics and computational neuroscience. The ambition is to further increase effort in this domain with neuromorphic computing for embedded systems.

The group is looking for a postdoctoral that has relevant competence in compilers for massively parallel architectures. Background in one or more of these areas - bio-informatics, brain simulation models and control theory - would be considered a clear advantage; interest to work in these areas is a must. The CV should clearly identify the areas of expertise.

Duties would include close supervision of 2-3 PhD students working on these topics, helping write high-impact papers and funding applications in these areas.

Research Positions in Program Analysis and Systems at University College London
by Peter O'Hearn, May 6, 2013

The University College London (UCL) Department of Computer Science
invites applications for three researcher positions at the
intersection of secure computer systems and practical program
analysis. Two postdoc positions and one research engineer position are
available. Those chosen to fill these positions will be part of the
core team of investigators embarking on a new project to improve the
security of real-world systems software (e.g., the Linux operating
system, open-source web browsers such as Chrome and Firefox, and the
Apache web server) through the development and application of novel
automated program analysis techniques. This project will attack systems security problems by bringing together researchers from the programming languages and computer systems areas.

PhD position on "Semantics and Verification of Accelerator Programming"
by Marieke Huisman, April 24, 2013

[[Apologies for multiple copies]]

Application deadline is in a week from now, on 1st of May!

PhD position for four years on "Semantics and Verification of Accelerator Programming" in the Formal Methods and Tools group, University of Twente, Netherlands
Deadline for application: 1st of May
More information and applications via: http://utwente.nl/vacatures/

The research group Formal Methods and Tools at the University of
Twente (Enschede, The Netherlands) is looking for

a PhD researcher (4 years)

to work on the EU Strep project CARP (Correct and Efficient Accelerator Programming), funded by the European Union.

PhD position on "Semantics and Verification of Accelerator Programming"
by Marieke Huisman, March 26, 2013

PhD position for four years on "Semantics and Verification of Accelerator Programming" in the Formal Methods and Tools group, University of Twente, Netherlands

Deadline for application: 1st of May

More information and applications via: http://utwente.nl/vacatures/

Two postdoc positions in Lisbon
by Vasco Vasconcelos, Nov. 16, 2012

Lasige, Large-Scale Informatics Systems Laboratory, is looking for
post-docs to join two ongoing projects. For full details and how to apply see
http://lasige.di.fc.ul.pt/Open_Positions.

FIVE fulltime researchers on PhD and PostDoc-level focus: Model-based Software Engineering for technical applications
by Frank Ortmeier, Sept. 17, 2012

Starting date of the positions is November 1st, 2012 or sooner. All positions are full-time employees with a salary according to the German civil service TV-L E13/E14 scale, which corresponds to approx. 40,000-45,000 EUR income per year (plus holiday allowance and end-of-year bonus). Support for PhD thesis or habilitation will be given.

The Computer Systems in Engineering group focuses on making achievements of modern software engineering applicable to engineering applications. The current openings are part of a 1.8 million Euro project, which focuses on making model-based analysis techniques applicable in an industrial context. In particular, tight collaboration with major industrial companies, certification authorities and academic partners is required.

Your main tasks will be in the domain of requirements engineering, software design, implementation of prototypical solutions and evaluation on real-world case studies. You will be working at the boarder of modern Software Engineering and "classical/technical" engineering disciplines. So inter-disciplinary skills and interests are very welcome.

The project offers very good opportunities for building/extending a personal network with major, international industrial partners as well as the possibility of taking responsibility and becoming a co-founder of a spin-off company.

Required profile:
You must hold a Master's degree or equivalent in computer science or a closely related discipline. You should have outstanding scores and solid programming experiences. A strong background in formal methods (e.g. model checking, formal semantics, stochastic analysis) is very helpful. In any case, you be keen on translating real world problems into mathematical questions and implement high quality solutions according to modern Soft-ware Engineering standards. As the long-term goal is to bring the methods actual industrial practice, you are especially invited if you are interested in entrepreneurship and bring good social skills.

You should have interest in performing original, highly competitive scientific research, publishing the results in top international conferences and scientific journals. Self-motivation and the ability to work both independently and as a team player are expected. Fluency in English and/or German is required.

What we offer:
==============

The CSE group is very dynamic group, which offers a young, agile and open-minded environment, the possibility to participate in highly competitive research as well as solid software development and requirements engineering challenges. Support for PhD thesis or habilitation will be given.

Further information:
====================
Enquiries about the PhD positions may be directed to: [email protected]

How to apply:
=============
Applications by women are especially welcome. Applicants with a severe disability will receive preferential treatment if their qualifications and experience are equal to those of the other candidates.
Please send your complete application (a cover letter explaining your specific research interests and qualifications; a detailed curriculum vitae, a list of all courses + grades, and a paragraph describing your Diploma/MSc/PhD thesis project) quoting reference number 183/2012 by October 5th, 2012 (date of receipt of application) to the address below:
Otto-von-Guericke-Universit├Ąt Magdeburg Dezernat Personalwesen Postfach 4120, 39016 Magdeburg, Germany

Tenure Positions - U. of Lille and Inria Lille, France
by Lionel Seinturier, Sept. 17, 2012

Tenure Positions - U. of Lille and Inria Lille, France

Positions at ETH Zurich in concurrency & verification (ERC Advanced Investigator Grant)
by Bertrand Meyer Bertrand Meyer, July 9, 2012

We have postdoc and PhD positions at the Chair of Software Engineering in connection with a recent Advanced Investigator Grant to Bertrand Meyer from the ERC. We are building advanced practical solutions for "Concurrency Made Easy" and a verification-aware IDE.