Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] A postdoc/programmer position at AIST, Amagasa...

Email Gateway (Aug 19 2022 at 13:28):

From: Takashi KITAMURA <t.kitamura@aist.go.jp>
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@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@aist.go.jp.

Last updated: Apr 23 2024 at 12:29 UTC