[isabelle] Formal Methods Positions at Huawei Dresden (Sent on behalf of Pramod Bhatotia)
Sent on behalf of Pramod Bhatotia:
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