[logic-ml] Fwd: [Proof Complexity] Postdoc position in proof complexity at KTH

[Satoru Kuroda]

logic-ml の皆様，

黒田＠群馬県立女子大学です．

Proof complexity の ML にポスドク募集の案内が流れてきましたので，
こちらに流します．

すでにご覧になっている場合はご容赦ください．

---------- Forwarded message ----------
From: Jakob Nordstrom <jakobn at kth.se>
Date: 2011/12/20
Subject: [Proof Complexity] Postdoc position in proof complexity at KTH
To: proof-complexity at math.cas.cz


Dear colleagues,

This is just to ask for your help in advertising an open postdoc position
in proof complexity at KTH Royal Institute of Technology. The formal
deadline is January 31, but candidates are encouraged to apply already
now. The intended start date is August-September 2012.

I would be very grateful if you could help spread this information. For
more details, see the enclosed PDF flyer, which is also available at
http://www.csc.kth.se/~jakobn/openings/PostdocAug12Flyer.pdf . The full,
formal announcement can be found at
http://www.csc.kth.se/~jakobn/openings/D-2011-0603-Eng.php .

As advertised before on this list, I am also looking for two PhD students,
and here the formal announcement is
http://www.csc.kth.se/~jakobn/openings/D-2011-0503-Eng.php .

Informal enquiries about the postdoc or PhD positions are welcome.

With best regards,
Jakob Nordstrom

Jakob Nordström, Assistant Professor
KTH Royal Institute of Technology
Osquars backe 2, SE-100 44 Stockholm, Sweden
Phone: +46 8 790 69 19 (office), +46 70 742 21 98 (cell)
http://www.csc.kth.se/~jakobn/

_______________________________________________
Proof-Complexity mailing list
Proof-Complexity at math.cas.cz
http://list.math.cas.cz/listinfo/proof-complexity



-- 
Satoru Kuroda
Gunma Prefectural Women's University