[TYPES/announce] Postdocs at Tulane

[Mislove, Michael W]

[ The Types Forum (announcements only),
 http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]

Dear Colleagues,

This is a reminder that there are two postdoc positions for which I am 
currently accepting applications - the deadline to apply is February 20. The 
project is entitled, "Semantics, Formal Reasoning, and Tool Support for Quantum 
Programming”, and the focus of the work at Tulane is on developing a quantum 
domain theory.  Details can be found at the application site  
apply.interfolio.com/33550

Tulane University is an Affirmative Action / Equal Opportunity / ADA Employer 
that is committed to increasing the diversity of its faculty. We therefore 
encourage applications from underrepresented groups.

I also welcome inquiries about these positions or about the project.

 Thanks,
 Mike Mislove
 Departments of Computer Science and Mathematics
 Tulane University


===
Michael MislovePhone: +1 504 
865-5803
Professor and Chair FAX: +1 504 
865-5063
Department of Computer Science
Tulane University   URL: http://www.cs.tulane.edu/~mwm
New Orleans, LA 70118 USA
===

[TYPES/announce] Research Associate in Program Analysis - Ref:1535774

[Harman, Mark]

[ The Types Forum (announcements only),
 http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]

Research Associate in Program Analysis - Ref:1535774
CREST Centre, UCL Computer Science Department
Grade 7 (£33,686 to 40,716 per annum, inclusive of London allowance)
This post is funded until 31 May 2018 in the first instance. Further funding to 
support the post may be available.
Closing Date for applications: 29th March 2016


Applications are invited for a Research Associate post on an EPSRC-funded grant 
in the CREST (Centre for Research on Evolution, Search in Testing) at UCL, 
working in the general area of Programming Languages, supervised by Professor 
Mark Harman and Dr. Earl Barr. We are interested in exploring the relationship 
between program analysis and software optimisation using search based software 
engineering. Recent advances in SBSE have opened up exciting possibilities to 
extend traditional program analysis to, for instance, find constraints and 
program transformations that allow program analysis to scale to real world, 
industrial programs.

Key Requirements: This research associate post is suitable either for a 
researcher with a background in program analysis, interested in learning about 
computational search, or a researcher with a background in computational 
search, interested in learning about program analysis. While the post naturally 
suits a researcher with a background in both topics, we do not expect 
applicants to have expertise in both. Rather, we are interested in recruiting a 
researcher with a strong background in either topic who is interested in 
extending their expertise to cover the other. Candidates should have been 
awarded or about to be assessed for a PhD level qualification in a relevant 
subject. Publication in relevant peer reviewed venues is essential, with strong 
preference for quality over quantity.

The research environment in the CREST centre at UCL offers outstanding 
opportunities for personal and career development. The Centre and the Software 
Systems Engineering group are friendly, supportive and collaborative. We make 
great effort to ensure that all of our research staff achieve their fullest 
possible potential; more senior staff devote time to the nurturing and 
development of more junior staff. The group, the department and the university 
have a strong international research reputation.

Further Details including a link to the application portal: 
http://bit.ly/1QZDEbS

If you would like to discussion your application informally please contact 
Prof. M. Harman (CC: Dr. E. Barr).
For all administrative enquiries please contact Katie Bourke 
(crest-ad...@ucl.ac.uk).

UCL Taking Action for Equality
Our department holds an Athena SWAN Bronze award, which illustrates our 
commitment to addressing gender equality.
This appointment is subject to UCL Terms and Conditions of Service for Research 
and Support Staff.
-
Mark Harman,
Professor of Software Engineering,
Head of the Software Systems Engineering Group and
Director of the CREST centre,
Department of Computer Science,
University College London,
Malet Place, London, WC1E 6BT, UK.

Office: MPEG 7.14
Tel: +44 (0)20 7679 1305; 31305 (internal)
PA: Katie Bourke: crest-ad...@cs.ucl.ac.uk; 
+44 (0)20 7679 0325 (Direct Dial); 30325 (internal)

email: mark.har...@ucl.ac.uk.
web: http://www.cs.ucl.ac.uk/staff/M.Harman/
twitter: @Mark_Harman
"Mark Harman" on facebook and LinkedIn

[TYPES/announce] Research Associate in Mobile Malware Detection at University of Luxembourg

[Olga GADYATSKAYA]

[ The Types Forum (announcements only),
 http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]

Research Associate in Mobile Malware Detection at University of Luxembourg

The University of Luxembourg seeks to hire a post-doctoral researcher at its 
Interdisciplinary Centre for Security, Reliability and Trust (SnT).
The position will be with the SaToSS research group at SnT 
(http://satoss.uni.lu/) led by Prof. Sjouke Mauw.

The selected candidate will join our team in the research project COMMA funded 
by FNR Luxembourg. COMMA will strive to identify complex mobile malware samples 
that try to evade detection by adapting their behaviour. The main goal is to 
find novel and efficient ways to detect malware by applying code analysis, 
automated testing, machine learning and formal modelling.

COMMA enjoys collaboration and mentoring by Prof. Mauro Conti (University of 
Padua, Italy) and Prof. Sjouke Mauw (University of Luxembourg). The framework 
of the project will pay special attention to career development of the involved 
junior researchers.

Keywords for the project:
Mobile security, Android, context-sensitive malware, static/dynamic code 
analysis, automated testing, machine learning, formal modelling, program 
slicing.

Your profile:
- PhD degree in Computer Science, or a relevant field (at the start date of the 
job).
- Fluent written and verbal communication skills in English.
- Strong expertise in computer security, proven by publications.
- Experience in mobile security research is a big advantage.
- Experience and interest in academic software development (Java, Python, C++, 
etc.).
- Commitment, team working and a critical mind.

We offer 2 years full-time employment contract, extensible up to 5 years.
The University of Luxembourg offers highly competitive salaries and is an equal 
opportunity employer. You will work in an exciting international environment 
and will have the opportunity to participate in the development of a dynamic 
and growing centre.

For informal enquiries about the position, please contact Dr. Olga Gadyatskaya 
(olga.gadyatsk...@uni.lu) or Prof. Sjouke Mauw (sjouke.m...@uni.lu).

Applications will be considered until the position is filled.

Please find more details about the application process and submit your 
documents here: http://emea3.mrted.ly/y7ca




Olga Gadyatskaya
Research associate
SaToSS, SnT & University of Luxembourg
6, rue Richard Coudenhove-Kalergi
L-1359 Luxembourg
ph. +352 46 66 44 5506