Research Programmer

2 months ago

Sydney, Australia UNSW Australia Full time

Research Programmer

Job no: 527533
Work type: full time
Location: Sydney, NSW
Categories: Post Doctoral Research Associate

The Opportunity

The School of Computer Science and Engineering (CSE) at UNSW is seeking a Research Programmer to work on the Model Checker MCK, a tool developed at CSE for software verification and synthesis using modal logics of knowledge and time. In this role, you will enhance the MCK codebase, test and apply the system, and develop use cases. Responsibilities include refining the front end (parser, type checker, and compilation), the back end (model checking and synthesis algorithms using BDDs, SAT solvers, and SMT solvers), and the user interface (debugging and state space visualization). The project also involves verification for the Solidity smart contract programming language, in collaboration with Hashlock Pty Ltd, an Australian blockchain security audit firm.

Salary, Broadbanded Level 5/6: $ 85,717 to $107,054 per annum + 17% superannuation Full time Fixed term – 9 months Location: Kensington – Sydney, Australia Hybrid working options

About UNSW

UNSW isn’t like other places you’ve worked. Yes, we’re a large organisation with a diverse and talented community; a community doing extraordinary things. But what makes us different isn’t only what we do, it’s how we do it. Together, we are driven to be thoughtful, practical, and purposeful in all we do. If you want a career where you can thrive, be challenged and do meaningful work, you’re in the right place.

The School of Computer Science and Engineering is one of the largest and most prestigious schools of computing in Australia. It offers undergraduate programmes in Software Engineering, Computer Engineering, Computer Science, and Bioinformatics, as well as a number of combined degrees with other disciplines. Our research and teaching staff are world leading and world building as they advance knowledge and learning. For more information on our school go to the following link -

Skills and Experience

An honours degree in computer science, or equivalent experience Excellent systems development skills Knowledge and experience with functional programming (Haskell), UNIX, C, Experience with parser and compiler development Experience with the use and development of tools applying logic in computer science Knowledge of programming language theory, type theory and static analysis. Experience with windowing toolkits and web development (Highly Desirable) Knowledge of algorithms for software verification (Highly Desirable) Knowledge and experience with smart contract programming in Solidity. (Highly Desirable) Knowledge of common software vulnerabilities in Solidity code, and attack methodologies. Proven commitment to proactively keeping up to date with discipline knowledge and developments. A high degree of mathematical aptitude Knowledge of health and safety responsibilities and commitment to attending relevant health and safety training

To Apply:

Please click the apply now button and submit your CV, Cover Letter and Responses to the Skills and Experience. You should systematically address the Skills and Experience listed within the position description in your application.

Applicants must have working rights in Australia and be able to be on site in Kensington regularly.

Please note applications will not be accepted if sent to the contact listed below.

Contact:

Eugene Aves – Talent Acquisition Consultant

E:

Applications close: 11:55 pm (Sydney time) on Sunday 6th October 2024

UNSW is committed to evolving a culture that embraces equity and supports a diverse and inclusive community where everyone can participate fairly, in a safe and respectful environment. We welcome candidates from all backgrounds and encourage applications from people of diverse gender, sexual orientation, cultural and linguistic backgrounds, Aboriginal and Torres Strait Islander background, people with disability and those with caring and family responsibilities. UNSW provides workplace adjustments for people with disability, and access to flexible work options for eligible staff. The University reserves the right not to proceed with any appointment.

Advertised: 17 Sep 2024 AUS Eastern Standard Time
Applications close: 06 Oct 2024 AUS Eastern Daylight Time

  • Research Programmer Position

    1 month ago

    Sydney, New South Wales, Australia UNSW Australia Full time

    Job OpportunityThe School of Computer Science and Engineering at UNSW Australia is seeking a highly skilled Research Programmer to work on the Model Checker MCK, a tool developed for software verification and synthesis using modal logics of knowledge and time.ResponsibilitiesEnhance the MCK codebase, test, and apply the systemDevelop use cases for software...

  • Research Programmer Position

    3 weeks ago

    Sydney, New South Wales, Australia UNSW Australia Full time

    Job OpportunityThe School of Computer Science and Engineering at UNSW Australia is seeking a Research Programmer to work on the Model Checker MCK, a tool developed at CSE for software verification and synthesis using modal logics of knowledge and time.In this role, you will enhance the MCK codebase, test and apply the system, and develop use cases....

  • Analyst Programmer

    5 months ago

    Sydney, Australia Coforge Limited Full time

    Role: Analyst Programmer Location: Melbourne/Sydney Analyst Programmer job profile Programmer analysts perform the jobs of both a systems analyst and a computer programmer. While systems analysts design and develop software and computer systems, Computer Programmers are responsible for implementing designs by writing computer programs. In order to...

  • Programmer

    2 weeks ago

    Sydney, New South Wales, Australia NBCUniversal Full time

    Job Title: ProgrammerJob Summary:This is a key role within the NBCUniversal team, responsible for supporting the content delivery and playout of Universal International Networks and Direct-to-Consumer channels across the APAC region.Key Responsibilities:Schedule and deliver daily transmission logs for 7Bravo, ensuring correct placement of NBCU promos.Ensure...

  • Programmer

    3 weeks ago

    Sydney, New South Wales, Australia NBCUniversal Full time

    Job Title: ProgrammerThis role supports the content delivery and playout of Universal International Networks and Direct-to-Consumer channels across the APAC region.Key Responsibilities:Schedule and deliver daily transmission logs for 7Bravo ensuring correct placement of NBCU promos.Ensure appropriate creation and placement of Secondary Events (Certification...

  • Programmer

    3 weeks ago

    Sydney, Australia NBCUniversal Full time

    Job Description This position reports directly into the Senior Program Manager, to support the content delivery and playout of Universal International Networks and Direct-to-Consumer channels across the APAC region Schedule and deliver daily transmission logs for 7Bravo ensuring correct placement of NBCU promos Ensure appropriate creation and placement...

  • Academy Programme Sales Representative

    3 weeks ago

    Sydney, New South Wales, Australia Tom James Full time

    Are you a driven and ambitious individual looking to launch your sales career? Our Academy Programme is a comprehensive training programme designed to equip you with the skills and knowledge necessary to succeed in sales.As a Sales Development Associate, you will be responsible for prospecting for new clients, updating contact information, and conducting...

  • Research Analyst

    3 weeks ago

    Sydney, New South Wales, Australia Euromonitor Full time

    Job Title: Research AnalystEuromonitor International is seeking a highly skilled Research Analyst to join our team in Sydney. As a Research Analyst, you will play a key role in supporting the development of our research programme, working closely with our global teams to deliver high-quality insights to our clients.Key Responsibilities:Conduct primary and...

  • Statistical Programmer Lead

    3 weeks ago

    Sydney, New South Wales, Australia Pharmiweb Full time

    Job Title: Principal Statistical ProgrammerAt ICON, we're committed to fostering an inclusive environment that drives innovation and excellence. We're seeking a highly skilled Principal Statistical Programmer to join our team and contribute to our mission to shape the future of clinical development.Key Responsibilities:Lead and execute programming...

  • Programmer Role at NBCUniversal

    2 weeks ago

    Sydney, New South Wales, Australia NBCUniversal Full time

    This is a unique opportunity to join NBCUniversal as a Programmer, supporting the content delivery and playout of Universal International Networks and Direct-to-Consumer channels across the APAC region.Key responsibilities include:Scheduling and delivering daily transmission logs for 7Bravo, ensuring correct placement of NBCU promos.Ensuring appropriate...

  • Analyst Programmer

    5 months ago

    Sydney, Australia Synechron Full time

    We are looking for talented Analyst Programmer to join our team! Sydney - Full time permanent role $90,000 - $100,000 Inc super per annum Inc super 3+ years’ experience 3 Open Positions **Who are we?** **Synechron, is a global provider of Information Technology outsourcing services focused on the banking, finance and payments industry. We provide a...

  • Programmer Analyst

    5 months ago

    Sydney, Australia AI Talent Full time

    **Responsibilities**: - Demonstrate an excellent understanding of coding methods, industry best practices, and software development standards. - Conduct interviews with end-users to gather insights on functionality, interface, problems, and usability issues, ensuring their needs are effectively addressed. - Stay up-to-date with data privacy practices and...

  • Analyst Programmer

    5 months ago

    Sydney, Australia Synechron Full time

    We are looking for talented Analyst Programmer to join our team! - Sydney - Full time permanent role - $90,000 - $100,000 Inc super per annum Inc super - 3+ years’ experience - 3 Open Positions **Who are we?** **Synechron, is a global provider of Information Technology outsourcing services focused on the banking, finance and payments industry. We provide...

  • Programmer Analyst

    3 months ago

    Sydney, Australia AI Talent Full time

    **Responsibilities**: - Demonstrate an excellent understanding of coding methods, industry best practices, and software development standards. - Conduct interviews with end-users to gather insights on functionality, interface, problems, and usability issues, ensuring their needs are effectively addressed. - Stay up-to-date with data privacy practices and...

  • Analyst & Survey Programmer - Cx & Voc Insights

    7 months ago

    Sydney, Australia Resources Group AU Full time

    This global CX & Insights Consultancy bridges the gap between technology and research. Their cutting-edge dashboards allow them to capture real-time customer experience data at every touchpoint and channel of a consumer's journey, in real-time. Allowing them to deliver actionable, in-the-moment, data-driven solutions that improve CX, ROI and growth for ASX...

  • Associate Outcomes Researcher, Mapi Research Trust

    3 weeks ago

    Sydney, New South Wales, Australia Pharmiweb Full time

    Job Summary:We are seeking an Associate Outcomes Researcher to join our team at Mapi Research Trust. As an Associate Outcomes Researcher, you will play a key role in conducting mixed-methods research, analyzing health outcomes data, and contributing to the advancement of innovative treatments and therapies through comprehensive outcomes research.Key...

  • FMCG Research Analyst

    4 days ago

    Sydney, New South Wales, Australia Euromonitor Full time

    Role OverviewEuromonitor International is seeking a highly skilled Market Analyst to join our Sydney research team. As a key member of our Multi-vertical regional team, you will contribute to the development of research and commercial initiatives across various industries, including Food & Nutrition, Drinks & Tobacco, Beauty & Fashion, and more.Key...

  • Academy Programme

    5 months ago

    Sydney, Australia Tom James Full time

    Tom James Company - Academy Programme The Academy Programme is a full-time, office based, opportunity for ambitious, hard-working individuals who desire an elevated professional opportunity in sales but have not had the opportunity to develop a track record in sales. Academy Candidates (AC’s) will learn and gain mastery of our proven prospecting, lead...

  • Senior Statistical Programmer I

    3 weeks ago

    Sydney, Australia Pharmiweb Full time

    Senior Statistical Programmer I - UK, Reading ICON plc is a world-leading healthcare intelligence and clinical research organization. We’re proud to foster an inclusive environment driving innovation and excellence, and we welcome you to join us on our mission to shape the future of clinical development. At ICON, it’s our people that set us apart. Our...

  • Cx Programme Manager

    5 months ago

    Sydney, Australia HelloFresh Full time

    As a highly cross functional role, our CX Programme Manager for our HelloFresh market offering, you will sit between our customer care and product teams to proactively advocate for customer centricity and communication clarity across all steps of the HelloFresh customer journey, whilst you actively hold cross functional teams accountable when making our...