coq-club AT inria.fr
Subject: The Coq mailing list
List archive
[Coq-Club] Multiple Research Fellow positions at the Australian National University
Chronological Thread
- From: Alwen Tiu <alwen.tiu AT gmail.com>
- To: coq-club <coq-club AT inria.fr>
- Subject: [Coq-Club] Multiple Research Fellow positions at the Australian National University
- Date: Mon, 17 Jan 2022 11:21:12 +1100
- Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=alwen.tiu AT gmail.com; spf=Pass smtp.mailfrom=alwen.tiu AT gmail.com; spf=None smtp.helo=postmaster AT mail-ed1-f46.google.com
- Ironport-data: A9a23:Txr0f6BpXjL8BBVW/w7lw5YqxClBgxIJ4kV8jS/XYbTApG9wgTNUy GYdD2iOafqDN2f1etwlPojg/BlUsJfUndFmOVdlrnsFo1Bi+ZOUX4zBRqvTF3rPdZObFBoPA +E2MISowBUcFyeEzvuVGuG96yE6jMlkf5KkYAL+EnkZqTRMFWFx2XqPp8Zj2tQy2YHgXVvX0 T/Pi5S31GGNi2Yc3l08sPrrRCNH5JwebxtF1rCWTakjUG72zxH5PrpHTU2CByeQrr1vIwKPb 72rIIdVUY/u10xF5tuNyt4Xe6CRK1LYFVDmZnF+A8BOjvXez8A/+v5TCRYSVatYozi3n9Bul f5LjLutSgE1HpSdhcYccSANRkmSPYUekFPGCX22sMjWwkGfNnWwnbNhC0Y5OYBe8eFyaY1M3 aZAeXZdM1bZ37LwnOzTpupE3qzPKOHiOJwSvDd8zCzxAvMvQJSFSKLPjTNd9Gxp2p8STKe2i 8wxWzpuQRaZeBl2FGw2GZQUkb/1tEPeSmgNwL6SjfNvvzK7IBZK+LPqKZ/efsGAbd5Em16R4 GPA5WXwRB8AXOFz0hKA+3Oow+LDxGb1BNxUG7q/+fpnxlaUwwT/FSH6S3O2n/m5lROVXet4N k8S5goX/LUQ9W6SG4yVswKDnFaIuRsVWtx1GuI86R2Qxqe83+p/LjhVJtKmQIx23PLaVQDGx XfSwIy0XW0HXKm9DCPCpu3N/FteLABMdTdaDRLoWzfp9DUKnW3ephfGT9ImHaLsy9OpR3f/x DeFqCV4jLIW5SLq60lZ1QGe695PjsKRJuLQ2ukxdjz1hu+eTND6D7FEEXCBsZ59wH+xFzFtR kQslcmE9/wpBpqQjiGLS+hlNOj3u6zebWKM2QYzRMlJG9GRF5iLLdE4DNZWdBcBDyr4UWKBj LL75VkIvsAOYBNGk4ctO9vpUqzGMpQM5fy8DqyOBja/Spd2cwCD8UlTib24jgjQfLwXufhnY /+zKJ7yZV5DUPgP5GfoGo81jOBzrghjlDu7bc2qlHyPjOvODEN5vJ9fbzNimMhivP3ayOgUm v4DX/a3J+J3C7yhMnKJoN9KfTjn7xETXPjLliCeTcbbSiIOJY3rI6S5LWoJd9M3kqJLuP3P+ 33hCEZUxECu13LCIASOLHtkbeq3D5p4qHs6Ow0qPEqpiyBzO9bxsP9HestlZ6Qj+cxi0eVwE KsIdsCGNfJFFWbK9jEbWp/iodEwbx+snw+PY3GobWFnLZ5tTgDE4PH+eQ7r+HVcBya7r5psr Lip1wedSp0GHlwwAMHTYfOp7lWwoXlNwLIoDxWUeoFeIRy+/pJrJir9iu4MD/sNcRiTlCGH0 wu2AAsDobafroIw9u7Pj//WooqsFdx4ARMGTWTW6LCBNR7a8HCm9olOXbvaZjvaTm71pPyva OgJnfHxNPoLwARDv4ZmSe05yKs/457iq+YfwFg6WnrMaFuvB/VrJXzfhZtDsahEx7l4vwqqW xLQpoMLZ+3RYM61QkQMIAcFb/iY0a1GkDfl6/locl7x4zV6/ebaXEgObQOAjjdRcOl8PI8/m 7xzvccX70myhkNvPIrYyC9T8GuIIzoLVKB+7sMWB4riiwwKzFBeYMyDVnWnvsnXM9gcYFM3J jK0hbbZg+gOzET1dXduR2PG2vBQhMhTtR1HpLPYy49lRjYYaj4LMBxtHfAfSw1UylBK37s2N DQ1cUJyIqqK8nFjg80rs6VA3e1eLEXxx6Az4wJheK7lo42AWWnELWl7MuGIlKzc23wJZSBVp dl01068OQsHv6jNMu8aVktsqvilRtt0nuEHdAZLAOzdd6QHjfHZbmNCqIbGR9YLwS/8uaEfm dRXwQ==
- Ironport-hdrordr: A9a23:gvQwQ6xv1Y6rmIAZqXv5KrPwIb1zdoMgy1knxilNoH1uA6ulfq WV9sjzuiWE6wr5NEtBpTniAsi9qBHnhPxICOAqVN/IYOCMghrMEGgN1/qH/9QiIUHDHyxmuJ uIv5IQNDQ4NzZHsfo=
- Ironport-phdr: A9a23:7lH+Jhw/E+VoIx7XCzLwwFBlVkEcU1XcAAcZ59Idhq5Udez7ptK+Z haZvaQm1QWTFcWDsrQY0bOQ6/ihEUU7or+5+EgYd5JNUxJXwe43pCcHRPC/NEvgMfTxZDY7F skRHHVs/nW8LFQHUJ2mPw6arXK99yMdFQviPgRpOOv1BpTSj8Oq3Oyu5pHfeQpFiCSjbb9oM Bm7qQrdutQIjYd8N609zgfFrmZSd+lZ229kOEifkwrg6su14ZVu7zlet/U9+sBaTK70Zb44T btWDDQnN2A6+sjmvgTdQAWM+3URTHwYngJHDAbZ4h76WIzxsjbhuepmxCaaJ8z2QqsqVjmk8 qxmVQXniCYDNz4+7WHXlsl9h79VrR69uxByxZPfbYeIP/R8Y6zdZ8sXSmVBUMhfVCJPH52yY JcUAuUbIepVtZPwq0cSoRa8AwSnGePhyiVPhn/zxaA3z+AhEA/Y0wwmAtkArnXUrMjoP6oVS ++1yKfJwivFb/9MxTf96ZXIfwsuofGJR71wcM7RxVMzGAPCi1WdsIroNC6a2eoRqWaU9fZgV f6xhG49rQF8ujeiy8Qth4TNgo8Yy1PJ+CVnzIs2KtC0VVB3bNGrHZVQtyyXK5Z6T94+T29mp io3zr8LtICmcCQWx5oqxBHRZ+GBfoOV7BzjU+ORLi15hHJjYL+wnRCy8VW6xuLiS8a0zUxGo TBYktTKq3sD1ATT59CZRvdh+kqtwzWC2gDJ5u1aPUw5lrDXJpEgz7M2i5Edq17MHjXsl0Xzl KKWdlsr+uyv6+n/Z7XpvJ6cN4tthg7gL6sih9WzAeo3PwUPRWSb9uO81Lrs/U39XrpGlOE5k q7csJzCJMQboLC2AxNN34o99xqyCy2q3dcYkHUdMl5JZBGKg5LmNlzPOPz4CO2wg1WokDdl3 fDGObjhD43XIXjHnrbuY7B951RAyAoy0NBS/J1UCrQbL/LyXk/9rsDXDhg8MwCs2eboFM191 p8CWWKIGqKWLKTSsUaR6u0zJ+mMeZQatS3mK/kl4v7ulWU2lUUcfamvx5sXaWq3Eu5oI0WDM jLQhYIKFn5PtQ4jRqS+g1qbFDVXenyaXqQm5zh9BpjwXqnZQYX4qbie0SHzIpxLLjRPDk+BF zH0dpisVPIFaSbUKchkxG9XHYO9QpMsgEn9/DTxzKBqe7K8EkwwsJvi0IMw/OjPjVQp8iQyC c2B0maLRmUyn2USRjZw0ros6VdlxAKl1q51y+ddCcQV/+lABw4+KpPaifB7Fvj9XwvAepGCT 1P1Cs6+D2QJR8kqi8QLf147Htyjih7Z2C//CrsKmrrNGJ0p2q3Z1nn1Yc16ziWOz7Ev2n8hR MYHLmi6nuh/+gzUUpbOiFmcnr22eL402SfM8CKOwTPLsh0GFgF3VqrBUDYUYU6+Qc3RwETEQ vfuDL0mNlAE0sueMu5RbcWvi1xaRfDlMdCYYmSrmm72CwzajrWLJJHnfWkQxkC/QAANjhwT8 HCaNAM/GjbpomTQCyZrHE7uZEWk+Pd3qXeyREs5hw+QaEgp272w8x8TzfuSLpFblrsApyon7 Sl1AX6y2tvXD5yLoA8gNKRQbNUh4UtWgHrDvl81NZihIqZ+w18GJl4v7gW+ilMtUtUGzZZ5y RFihBB/Iq+Zzl5bIjaR3JSrf6bSNnG35xe3LajfxlDZ1t+SvKYJ8vUx7Vv572TLXgIv9Wtq1 95N3j6S/JLPWUAbVY38VAAr9gVSqLTTYy177ITRny4JU+H8onrZ1tQlCfFwgB+kYNpZdr+FC Sf9FsQbA46lL+lgyBC5KxkDOu5V7qs9OcirIuCH1KCcN+FlhDu6jG5D7eiRy2q0/jFnAq7N1 pcBmLSD2xefEiz7lBGnu9z2noZNYXcTGHC+wG7qHtwZaqp3dIcNQWCgRq//jtx6mJPrHWJZ6 XasAloH3Imifh/aY1Hm3AJW3FgaujT9wXr+n2EyyWl56PbBlCXVi/zvbh8GJnJGSAwAxR/3L I64gspbFEmkYg41lQe0sEPzxqxVvqN6fCHYRUZFeTSzLnk3CPPh8OrfJZQXuNV073YyMqz0e 12RR7/jrgFP1iriGzAb3zUnb3SxvY2/mRVmiWWbJXI1rXzDeMg2yw2Mgb6UDfNXwDcCQzF1z DfNAV3pddCt4tiS0YvCr8ixUmugUttYdiyhnubi/GOroHZnBxGyhaX5k9n4HA58zS7m/9ZvX CTM6h37Z8O4ssbyefIidU5uCljm7sN8EYwriYo8iqYb3n0Cj4mU934Kwi/jdM9W0qXkYD8RV CYGlpTLtRP91hQpfRfrj8rpE2+Qycx7a5ymb3MKj2gjuttSBv7c7aQYz3Ao5APp9USLPac7x nBHlbMv8CJI3b1P4lF2iHzDWvZKWhAJWE6k3xWQs4Lg8uMOPDzpKf7okxAm1dG5UOPc/EcGB Ce/Ks9kRWgqto1+KA6ejye1s92iIYiKK4pU703x8V+IjvAJes1t0KNQ2Gw/fzq65CNtyvZn3 0U2jdfj49fBeyM1u/jgSh9Aam+sOJhVo2Cxy/4YxoHPgeXNVt1gAmlZBsO5C6L1VmtI5bK/c F/RWDwk9iXBQOSZQF/ZsRY86SqISsHjNmnLdiNAk5M4H0jbfxYZ2EdNDVBY1tYvHwSujqQNa W9f4TYcrh79oxpIkadzMgXnF3zYvEGuYys1T56WKFxX6BtD7gHbK57W6OU7BCxe8pC7yW7FY mWGewRFC30IUU2YFhjiOLep/9zJ7+mfAKK3MfLPZbyEreEWWe2PwNqj1Y5v/jDEMcvqXDEqF /ogxk9KRmx0AezckjQLDiEbzmfDM5DdqxC79Sl66Mu49bWjWQ7i45eOF6oHMdhr/EPT4+/LP OqRiSBlbDdAg8lUlDmYlf5FhA5U1389ElvlWa4NviPMUq/Kz6peDhpALjh2KNMN9KUkmA9EJ c/cjNrxkL9+lP88TVlfBjmD0omkY9IHJ2alORbJHkGOYf6PISLGxYfrYL6URrhZjeESvBq18 2X+cQerLnGYmj/lWgr6e/lLlz2eNQdCtZuVdx9sDS3uQIujZEHldtBwijIyzPs/gXaAZgt+e XBsNkhKqLOX9yZRhP5yTndA4nRSJu6Bgy+F7uPcJ/7+VNNkBy11k6RR53Fok9O9AwlLQfV0n G3Zqds8+jlOc8GKwztjFRdC83NF2NzNskJlNqHUsJJHXCSclC8=
- Ironport-sdr: tPsudzg/sL2islN1phar4TO6rDaMtLY+LFwsEMGjLizcMBKjCX49/aQxGtF+AzmQQz1JWSqDNm 4Q7OiF2vlHM9tiWXhWq3HC+546TnBDE1ISo3vkESZDgyrsP6cnMndChzPVdtBpejwk/BpmkjUR 0u9GKLlNnPqLTnGZggSr0OjMPecsITNGOqRXkjPJiuY8avG46p2ay37jbn6j71EVoY63U8cylD jr8NmcNJTp6yEP0/AmFwsCIpDqz+vXryF2kM1MSaWl1cKbNamTZwpBgm6vlhJhGZTeOWE/4hTD hki8jGeUfZq+9ypwCfPkpmKR
[Apologies for multiple postings]
we have multiple Research Fellow positions at the School of Computing, the Australian National University; see below for details. Please feel free to forward this to those interested.
Regards, -Alwen
Research Fellow (multiple positions)
School of Computing, the Australian National University.
Salary package: Level B, A$99,809 – A$113,165 per annum plus 17% superannuation
Term: Fixed Term (2-3 years)
Postdoctoral Research Position
- opportunity to build own research agenda
- embedded in diverse team
- several positions available, depending on the knowledge and interest of the applicant
The Research Fellow will develop foundations and tools for specifying and verifying software, with a particular emphasis on applications in the areas of concurrency, programming languages, and security. Foundations should be based on sound mathematical frameworks, e.g., process algebra or operational semantics. Tool support can range from frameworks within interactive proof assistants via the use of off-the-shelf model checkers to code generation. The Postdoctoral Fellow should apply the developed theory to real-world case studies, such as compiler verification, or the analysis of protocols in terms of correctness or security. The successful candidate is encouraged to develop new and innovative research directions in their specified scientific impact domain, including relevant collaborations.
Please see
jobs.anu.edu.au/cw/en/job/543320
for more details.
Review of your application is guaranteed if your application is received by *31 January 2022.* The search will continue until the positions are filled, or until *30 June 2022*, whichever comes first.
Salary package: Level B, A$99,809 – A$113,165 per annum plus 17% superannuation
Term: Fixed Term (2-3 years)
Postdoctoral Research Position
- opportunity to build own research agenda
- embedded in diverse team
- several positions available, depending on the knowledge and interest of the applicant
The Research Fellow will develop foundations and tools for specifying and verifying software, with a particular emphasis on applications in the areas of concurrency, programming languages, and security. Foundations should be based on sound mathematical frameworks, e.g., process algebra or operational semantics. Tool support can range from frameworks within interactive proof assistants via the use of off-the-shelf model checkers to code generation. The Postdoctoral Fellow should apply the developed theory to real-world case studies, such as compiler verification, or the analysis of protocols in terms of correctness or security. The successful candidate is encouraged to develop new and innovative research directions in their specified scientific impact domain, including relevant collaborations.
Please see
jobs.anu.edu.au/cw/en/job/543320
for more details.
Review of your application is guaranteed if your application is received by *31 January 2022.* The search will continue until the positions are filled, or until *30 June 2022*, whichever comes first.
- [Coq-Club] Multiple Research Fellow positions at the Australian National University, Alwen Tiu, 01/17/2022
Archive powered by MHonArc 2.6.19+.