Postdoc Positions in Computer Science (Formal Methods)

Tasks

• Collaborate on research in logic and type systems
• Conduct formal methods research
• Contribute to publications and research documentation
• Develop verified software using proof assistants
• Investigate computational complexity and distributed systems
• Support research topics in programming languages and security

Perks/Benefits

• Mentoring
• Professional development opportunities
• Research collaboration opportunities

Skills/Tech-stack

Computational Complexity | Distributed Systems | Formal Methods | Logic | Programming Languages | Proof assistants | Security | Theorem Proving | Type Systems