Research Associate (Computer Science)

Tasks

• Assist students on the project
• Collaborate with academic partners
• Collaborate with industrial partners
• Conduct research on WebAssembly
• Perform duties related to the research program
• Publish in top conferences and journals

Perks/Benefits

• N/A

Skills/Tech-stack

Formal verification | Interactive theorem proving | Language theory | Programming language | Programming language theory | Research Collaboration | Theorem Proving | Web programming | WebAssembly