Principal Software Developer

Do you want to work in the intersection of security, program analysis and learning technologiesThen Oracle Labs, Australia has an exciting opening for a senior researcher. We, at Oracle Labs, Brisbane, are working on Intelligent Application Security. We are investigating techniques that provide an automated approach that integrates security into all aspects of application development and operations. This is done using techniques such as program synthesis that incorporate signals from the source code, bug reports, deployments including configurations, and beyond, to provide actionable intelligence to developers, security analysts, operations staff, and autonomous systems. The successful candidate will work on improving the security of large applications by leveraging runtime data and security reports to synthesise application and deployment-specific security policies. They will also contribute to semi-automated patching techniques so that any potential issues can be remediated quickly. Towards this they will work others who are experts in application security and program analysis. The responsibilities include developing new synthesis, monitoring and patch-generation algorithms that are both scalable and precise and techniques on how to deploy them on a running system. This is a full-time position based out of Bengaluru, India. The successful candidate will work with the Intelligent Application Security team which is mainly located in Brisbane Australia with team members and collaborators in Europe, Morocco and the USA. What will you bring to the job A PhD in any relevant area of program analysis or software application security evidenced by an excellent track record such as high-quality publications or patent applications 7+ years in the software engineering domain Passion to conduct applied research including creating research prototypes/artifacts Interest in improving security of applications Demonstrable problem solving skills Demonstrable capacity to work independently and collaboratively Excellent communication and interpersonal skills What additional skills and experience would make you a standout candidate Knowledge of LLMs in the context of software engineering processes Good knowledge of Python and/or Java Good knowledge of CI/CD process Good software engineering skills You will contribute to research artifacts that can be deployed for experimentation, conduct suitable experiments and refine the research artifacts so that the research and engineering goals are met. Specific tasks will include synthesis of security policies for cloud deployments and auto-remediation of high-priority defects.