[isabelle] Formal Methods Positions at Huawei Dresden (Sent on behalf of Pramod Bhatotia)

Sent on behalf of Pramod Bhatotia:

Dear all,

We are currently looking for researchers in formal verification and
operating systems for our new research lab of Huawei in Dresden. The
openings are for full-time researcher and software engineering
positions, and also research internships.

We aim to carry out independent research in the new lab, and also
publish research papers/file patents based on our work. The candidates
will be provided full-time work contract with a very competitive
package in Dresden.

The interested candidates can contact me directly: pramod.bhatotia@gmai

Please let me know if you have any further questions.


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