Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] New PhD Positions Computing Science, Chalmers...

Email Gateway (Aug 18 2022 at 10:11):

From: Philippas Tsigas <tsigas@cs.chalmers.se>
PhD Positions
Division of Computing Science,
Chalmers University of Technology

http://chalmersnyheter.chalmers.se/chalmers03/english/eng_vacanciesarticle.jsp?article=8730

The Division has about 80 researchers, half being faculty members
and half PhD students. Our focus is on algorithms, bioinformatics,
distributed systems and computing, functional programming, formal methods,
interaction design, language technology, language based security, parallel
and high performance computing, programming logic and type theory, but
research is not restricted to these topics.

For more information, see
http://www.chalmers.se/cse/EN/research/research-groups

Knowledge of Swedish is not a prerequisite for application. English is our
working language for research. Both Swedish and English are used in
undergraduate courses. Half of our researchers and PhD students are native
Swedes; the rest come from more than 20 different countries.

Applicants must have a very good undergraduate degree in Computing Science
or in a related subject with a strong Computing Science component. They
must also have a strong, documented interest in doing research.

You may even apply if you have not yet completed your degree, but expect
to do so by 1 September 2007.

We particularly encourage applicants with interests in:

• applying techniques from functional programming to develop novel methods
  of hardware design and verification. For more information on this point
  contact Mary Sheeran (ms(at)cs.chalmers.se);
• automated theorem proving, SAT-solving, and functional programming. For
  more information on this point see
  http://www.cs.chalmers.se/~koen/folkung/, or contact Koen Claessen
  (koen(at)chalmers.se);
• distributed algorithms for providing coordination services to networked
  or multiprocessor applications. For more information on this point see the
  webapages of the group Distributed Computing and Systems
  http://www.cs.chalmers.se/~dcs/ or contact Marina Papatriantafilou
  (ptrianta(at)cs.chalmers.se);
• program analysis for software engineering. For more information on this
  point see the webpage of the group Software Methodologies and Systems
  (http://sms.cs.chalmers.se, "Open Positions") or contact Sibylle Schupp
  (<lastname>@cs.chalmers.se).

The department especially welcomes female applicants.

How to apply

The full application should contain
1. A letter of application, listing specific research interests
2. A curriculum vitae
3. Attested copies of degrees and other certificates
4. Copies of relevant work, for example dissertations or
articles, that you have authored or co-authored
5. Letters of recommendation from your teachers or employers

*** You MUST include or e-mail Letters of Recommendation:
we typically get over 100 apps, and it is
simply not feasible for us to request individual letters ***

The job reference number is: 2007/30. The last date for your full
application to arrive is March 9, 2007

Send your application electronically in PDF files or by paper-mail to
Registrator, Chalmers University of Technology, Se-412 96 Göteborg, Sweden.
Phone: +4631 772 1000,
Fax: +4631 772
4922,
E-mail: registrator(at)adm.chalmers.se

If you need more information regarding PhD studies at the division please
contact Philippas Tsigas (tsigas(at)cs.chalmers.se).

You will know the result of your application by 30 May 2007.
Union representatives: SACO Jan Lindér, TCO Monica Orrbacke, SEKO Ralf
Berndtsson

Last updated: May 03 2024 at 12:27 UTC