Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] Formal Methods Positions at Huawei Dresden (Se...


view this post on Zulip Email Gateway (Aug 22 2022 at 19:40):

From: Peter Lammich <lammich@in.tum.de>
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
l.com

Please let me know if you have any further questions.

Regards,
-Pramod


Last updated: Apr 19 2024 at 08:19 UTC