[isabelle] A postdoc/programmer position at AIST, Amagasaki Japan



We are looking for one postdoc researcher or programmer at
Research Institute for Secure Systems (RISEC), National Institute
of Advanced Industrial Science and Technology (AIST) in Japan.
The position will be for research related combinatorial testing, in
particular, automatic generation of test sets from the formal description
of test requirements. The research will be programming-intensive, so
the candidates must have good programming skills.  In particular,
good knowledge of data structure and algorithm are required.
Also, the candidates must have general interest in software engineering.
On the other hand, speaking Japanese is *not* required.
The first term is until the end of the fiscal year, but the project itself is
until November 2016, so that the extension is possible based on the
performance. The position is available immediately. Interested
candidates should apply by sending email with the application
materials to risec-jobs-ml at aist.go.jp.


=========================================================
Post-doc or programmer (employed as technical staff)  (software testing)

Outline:
* Test generation using model-based testing and constraint solving.
* Develop algorithms on graph-based data structures.
* Experience with Java, and/or C, Scala, Haskell needed.
* Strong know-how in software analysis and algorithms.
* Annual contract but can be extended for up to 3 years.
* Start date on Feb. 1 2014 or later.
* Office location is in Amagasaki (15 min away from Osaka by local trains)

Content of work:
* Develop the software of a next-generation test case generator.
* Integrate the tool with existing components and products.
* The position is open to programmer (employed as technical staff) or post-doc.
* For a post-doc, publications about the tool and case studies are
also a goal of the work. The Ph.D. degree must have been obtained
between 0 and 7 years prior to starting the position.
* Details on the web page given in Japanese can be given in English on request.
* More information of programmer (employed as technical staff), please
refer the information of "software engineer" in accompanying document.

Research field:
General field/Informatics

Qualifications:
* Experience with Java, and/or C, Scala, Haskell needed (ideally at least two).
* Strong know-how in software analysis and algorithms.
* Post-doc: Strong verbal and written communication skills in English.
* Post-doc: Ph.D. degree obtained at most 7 years prior to start date.

Treatment:
* Initial contract: immediately - 2015-03-31 (can be extended).
* Working hours: Basically 8:30 - 17:15 including a one-hour lunch
break, flexible hours possible. Work days: Mon - Fri excl. public
holidays and end/start of the calendar year.
* Paid holidays (annual leave) based on AIST rules.
* Social security/insurance benefits included
* Salary based on experience. (e.g. post-doc: from 2200 JPY/hour)

Application materials:
1. CV
2. Copy of Ph.D. certificate (for post-doc position)
3. Work history
4. Publication list (for post-doc)
5. Cover letter (one page)
6.  Apply by sending email with the materials to risec-jobs-ml at aist.go.jp.

-- 
Takashi KITAMURA Ph.D.
t.kitamura at aist.go.jp
http://staff.aist.go.jp/t.kitamura/
Research Institute for Secure Systems (RISEC)
National Institute of Advanced Industrial Science and Technology (AIST)
Nakoji 3-11-46, Amagasaki, Hyogo 661-0974, Japan
Tel: +81-6-6494-8054 Fax: +81-6-6494-8073
Internal Tel: *33-274-71902




This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.