logic-ml の皆様，

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

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

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

---------- Forwarded message ---------- From: Jakob Nordstrom [email protected] Date: 2011/12/20 Subject: [Proof Complexity] Postdoc position in proof complexity at KTH To: [email protected]

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 [email protected] http://list.math.cas.cz/listinfo/proof-complexity