Total 2,780 Engineering job vacancies in changi road singapore

Job Description

• This is a delivery cum support role, working on cloud (private and/or public) operations with the infrastructure delivery and support teams.
• You will execute daily operational activities as well as implementations in technical customer engagements including basic infrastructure operations and administration, specific implementation projects and/or proof-of-concepts in the infrastructure.
• The ideal candidate will have experience in delivery roles and successes in implementation discussions, hands-on experience with good client handling skills and good team player within the team.
• The candidate should also be able to provide solutions and technical expertise to fellow team members and in client accounts.

Responsibilities

• Apply technical knowledge, hands-on and customer insights to operate and administrate a cloud (private and/or public) infrastructure.
• Ensure all configurations conform to high levels of performance, security, scalability, maintainability, and appropriate reusability and reliability upon deployment, aligning to design documentation specifications.
• Ability to codify or implement/deploy configurations with the principles of automation by default in new projects with proper documentations will be advantageous.
• Ability to codify or maintain infrastructure systems in an automated fashion using tools such as but not limited to Ctrl-M, Ansible, Terraform etc with proper documentation will be advantageous
• Collaborate with team members to engage clients in operational meetings, discussions, process betterment and contribute to optimisations for the client’s environment.
• Maintain technical skills, certifications and knowledge of market trends and competitive insights; collaborate and share with the technical community specifically in the infrastructure.
• Ability to resolve issues with proper resolution/documentation technically and SLAs is required for this role.

Job Requirements:

• Job Role/Level: Engineer, Workload Automation Mgmt.
• Mandatory Skills (must-have): Control-M
• Preferred Skills: Troubleshooting, Problem and Change Management
• Work Location: Tanjong Pagar
• Contract Duration: 12 months
• Security clearance * Need to be cleared for the project (project clearance) before onboarding
• 24 * 7 standby: Yes
• Shiftwork: No
• Monthly Claims: Mobile: up to $ 50 per month (on reimbursement basis along with receipt/invoice subjected to project team’s approval)
• Transport: on reimbursement basis along with receipt/invoice subjected to project team’s approval
• Monthly Allowance: NA
• Bonus: 1 month of Performance Bonus
• Notice Period: 2 Months

Professional Experience

• At least 2 years of successes in operational/administration and deployment/migration infrastructure projects.
• Problem Solving. Ability to solve customer problems through technologies.
• Collaboration and Communication. Acknowledged helping to provide solutions to issues collaboratively, resolving conflicts and ensuring follow through with proper follow up and closure.

Technical Experience

• Strong technical experience with cloud infrastructures, migrations, and technology management preferred

1. Should be able to perform Control-M Administrative activities involving:

a. Agent on-boarding on Windows and Linux platform

b. Control-M Env Configuration – Windows Servers and MSSQL DB

c. Monitor Housekeeping jobs and Control-M Server resources.

d. Configure/Update authorization profile (RBAC)

e. Configure/Update Calanders, Workload policies, Site standards.

f. Support maintenance activities like OS patching and DR activity

g. Troubleshooting issues and provide RCA, involve vendor if required.

2. Should have good knowledge on Control-M Application HA and DR setup.

3. Will be responsible to perform job configuration inline to site-standards and naming convention.

4. Provide consultation to application team to address there scheduling requirements.

5. Should be well worse with change life cycle and Jira.

6. Should provide inputs to documentation like – TDS, OPS Guid etc.

7. Mitigate security risk highlighted by VA scan.

8. Conduct KT session for customer

9. Should have good knowledge of Linux and windows platform

Certifications

BMC Ctrl-M Certified Associate, BMC Ctrl-M Certified Fundamentals, BMC Ctrl-M Certified Professional

Vmware Certified Technical Associate and/or VMware Certified Professional will be desirable.

Job Type: Contract

Salary: Up to $12,500.00 per month

Work Location: Tanjong Pagar (In person)

1. INTERFACE MANAGER

Job Description:

• Responsible for design, implementation, testing and commissioning of Large-Scale, Rail Transportation projects for Supervisory Control & Data Acquisition (SCADA) System
• Manage a team of interface engineers and coordinate with interfacing contractors and stakeholders to firm up the interface design including getting the interface design and interface documents accepted by the client.
• Participate in interface meetings and interface testing on site with the interfacing parties.

Job Requirement:

• Diploma/Degree in Electrical, Electronics or Computer Engineering
• Excellent working knowledge of SCADA software package on UNIX and Windows platforms
• 3 – 5 years’ working experience in the design and implementation of Real Time Control System in a project environment
• Experience with various types of interfaces and protocol
• Ability to participate in multiple projects and work under pressure
• Pro-active, resourceful and able to work with various stakeholders
• Team player and independent

Please submit resumes to [email protected] with the following

details in MS Word format:

- Position applying for
- Current remuneration
- Expected remuneration
- Notice period

John Goh Meng Chye

EA License No : 06C4642
EA Reg No : R1102621

KEY RESPONSIBILITIES:

• To provide support on maintenance project.

• Handle system administration, network support, implementation, troubleshooting in Windows / Linux / Unix.

GENERAL REQUIREMENTS:

• Candidate must possess at least a Diploma in Engineering (Electrical/Electronic), Computer Science/Information Technology or equivalent.
• Must have at least 1-2 years of Server experience
• A team player with good communication and interpersonal skills
• Able to work without minimal supervision
• Able to work on scheduled standby on rotating weeks.
• Working hours: Mon to Fri, 8.30am to 5.50pm.

Only shortlisted applicants will be notified.

EA License: 14C7275| Juhi Dwivedi : R23112291

RESPONSIBILITIES:

Netlist to GDSII at block level, Subsystem Level and at Full chip.

• Worked on multiple tapeouts on Netlist to GDSII

• Hierarchical partitioning and budgeting of block-level subsystems.

• Implementation of high performance (HP) cores, low power designs

• Node experience upto 7nm, 10nm, 14nm, 28nm.

• Timing Signoff in loop through STA and ECO cycle at block and at interface.

• Block level floor planning, power planning and IR drop analysis.

• Scan chain reordering / Scan Chain repartitioning

• CTS expertise and clock tree constraints creation for meeting specifications

• MMMC optimization at Block and Sub-System Level

• Timing closure with Crosstalk and AOCV / POCV

• TCL scripting to fundamentally understand tool usage.

MANDATORY EDA SKILLS

• PnR tools such as Synopsys ICC/ICC2 and/or Cadence Innovus

RESPONSIBILITIES

Manufacturing/ Production Line setup, pre-qualification and maintenance.
Provide technical support to customer related to assembly/ manufacturing.
Develop process and generate work instruction.
Review drawing, customer specifications and Bill of Materials cleanup.
Assembly, test, and commissioning of highly automated industrial equipments.
Train, certify and monitor assembly technicians.
Develop necessary technical competencies and equipment capabilities to meet operational performance targets
Work and collaborate with Production to achieve the desired quality and output
Conduct MRB to review non-conformance parts disposition.
Design/Fabricate tools, jigs and fixtures.
In-process yield/reject/scrap rate monitoring.
Lead and drive the team to participate in all continuous improvement projects related to cost, quality, utilisation & productivity using Six-sigma or similar applicable technology such as Cpk, FMEA, Lean etc
Any other duties assigned by his/her superior / Manager.

REQUIREMENTS

Minimum three years of relevant experience in Equipment Manufacturing Industry preferably wire bonding Equipment (Ball Bonding/Wedge Bonding/Die Bonding)
Diploma in Mechanical/Mechatronics/Electrical Engineering or equivalent
Proficiency in equipment troubleshooting techniques
Strong problem solving and analytical skills with good knowledge of SPC
Good leadership / presentation / communication / team building skills
Ability to work proactively and to identify issues and propose solutions
Able to design and implement effective systems, processes and informatio/ reporting mechanisms
Experience in Lean Manufacturing and ISO system

Please indicate your current and expected remuneration.

Responsibilities:

• Responsible for the electrical design contents as assigned together with its follow-up for Authority and Client’s approval.
• Preparation of electrical design calculations, drawings, specifications, and tender documents for the design projects.
• Participation in design progress and design coordination meetings.
• Liaison and coordination with all applicable Local Authority Departments to obtain approval on projects.
• Responsible for the design review of the electrical services.
• Participation in design review meetings and workshops.
• Preparation of meeting records, design review and design progress reports.

Requirements:

• Degree in Electrical Engineering or other related field
• Minimum 8 years of professional hands-on electrical design experience in building and infrastructure projects
• Excellent technical skills and knowledge in field of expertise
• Experience with full project life-cycle engineering stages from feasibility study, through construction to commercial operation
• Strong project management, communication and interpersonal skills
• Proven track record of developing and delivering innovative client technical solutions

Assistant VP, Data Engineer Posting Date: 5 Jan 2024 Location: Singapore (City Area), Singapore, 048624 Company: United Overseas Bank Ltd About UOB United Overseas Bank Limited (UOB) is a leading bank in Asia with a global network of more than 500 branches and offices in 19 countries and territories in Asia Pacific, Europe and North America. In Asia, we operate through our head office in Singapore and banking subsidiaries in China, Indonesia, Malaysia and Thailand, as well as branches and offices. Our history spans more than 80 years. Over this time, we have been guided by our values - Honorable, Enterprising, United and Committed. This means we always strive to do what is right, build for the future, work as one team and pursue long-term success. It is how we work, consistently, be it towards the company, our colleagues or our customers. About the Department Group Technology and Operations (GTO) provides software and system development, information technology support services and banking operations. We have centralized and standardized the technology components into Singapore, creating a global footprint which can be utilized for supporting our regional subsidiaries and the branches around the world. We operate and support 19 countries with this architecture to provide a secure and flexible banking infrastructure. Our Operations divisions provide transactional customer services for our businesses while also focusing on cost efficiency through process improvements, automation and straight through processing. Job Responsibilities The Data Engineer, Microsoft BI Developer & Administrator , is a member of the Data Analytics Technology team. This role will be responsible for the end-to-end software development and support for all work related to projects, quarterly change requests, L3 production fixes. This includes software product implementation and administration, application design, development, implementation, testing and support. You will be expected to work on Finance & Risk Analytics domain. Key responsibilities for this role are: Lead Server Administration activities for SSAS (SQL Server Analysis Services) & SSRS (SQL Server Reporting Services) for On-Premise implementation Build PowerShell scripts required for processing data in SSAS & SSRS reports Analyse and trouble-shoot SSAS, SSRS, Excel Add In and In-Memory related production issues by collaborating with other technical, vendor and business teams; Drive performance tuning Resolve connectivity issues of MBI solution with underlying Teradata / Hadoop based Data Marts & Enterprise Data Warehouse Handle and maintain BAU deployed applications to ensure stability, reliability, security, performance and SLA monitoring in SIT, UAT and production environment Liaise with the end-user and technical solution team to implement solutions that align with the organization's business objectives. Create frameworks, technical features which helps in faster operationalisation of Reporting solutions Independently install, customise and integrate software packages and programs Manage the technical delivery within timeline and with quality Carry out POCs involving new data technologies Ensure end-user satisfaction and meeting service level agreement Create technical documents such as solution design, program specifications for target solutions Maintain and recommend software improvements to ensure a platform centric management of software applications Work on delivering Change Request and Project implementation for Microsoft PBI solutions Involve in UAT, user training, pre-implementation preparation and post-implementation support activities Maintain and support MBI environment Ability to train users effectively to use the reporting tool, to build, customize & schedule reports Job Requirements The right candidate should possess: Min. 6+ years of experience in implementing SSAS & SSRS development & SSAS administration for On-Premise version of Microsoft Power BI Good knowledge of Power BI Server Architecture, expertise in PowerShell scripting Expertise in designing modular scheduling jobs (e.g. using Control-M) for refreshing SSAS In-Memory Models Expertise in performance optimization for SSAS Tabular models using Direct Query and In-Memory Models Experience in optimizing SSAS design by assessing DAX queries hitting Teradata based Data Warehouse & Data Mart Expertise in Windows / NT and SQL Server Administration - monitoring SSAS & SQL Server statistics Expertise in SSAS design, derived measures, SSRS reports & Data Modeling Knowledge of different code standards for SSAS, SSRS & PowerShell scripting; skills in leveraging reusable code components Experience in creating dashboards, volume reports, operating summaries, and presentations and graphs Hands on experience other BI Tools (Qlik) and Big Data tool stacks Knowledge in Data modelling, working with calculations, leveraging the Set Analysis Ensure incorporation of best practices and lessons learnt from prior projects Have Finance & Risk management domain knowledge Worked in large scale data warehouse & on premise Power BI, Qlik based visualisation Be a part of UOB Family UOB is an equal opportunity employer. UOB does not discriminate on the basis of a candidate's age, race, gender, color, religion, sexual orientation, physical or mental disability, or other non-merit factors. All employment decisions at UOB are based on business needs, job requirements and qualifications. If you require any assistance or accommodations to be made for the recruitment process, please inform us when you submit your online application. Apply now and make a difference.

Your Career

You will work firsthand with our valued customers to address their complex post-sales concerns where analysis of situations or data requires an in-depth evaluation of many factors. You’re a critical thinker in understanding the methods, techniques, and evaluation criteria for obtaining results. You’ll enjoy networking with key contacts outside your own area of expertise, with a strong capability of detailing difficult technical issues to both non-technical and technical professionals.

You will regularly participate in technical discussions with multi-functional teams, creating an environment of transparency that ultimately leads to better products, better working environments, and better cybersecurity. Your quick thinking and support to our clients provides the fast assistance they need to keep their environments secure – which means you’ll need to move quickly, thoughtfully, and provide technical assistance as needed (often, in high pressure situations).

Your Impact

• Provide Technical Support to customers and partners
• Provide configurations, troubleshooting and best practices to customers
• Manage support cases to ensure issues are recorded, tracked, resolved, and follow-ups are completed in a timely manner
• Provide fault isolation and root cause analysis for technical issues
• Publish Technical Support Bulletins and other technical documentation in the Knowledge Base
• Review of technical documentation for training materials, technical marketing collateral, manuals, troubleshooting guides, etc

Job Summary Singapore Contract JN -112023-1951974 Dec 01, 2023 Competitive Job Description Our client is continuously innovating - creating new technologies, products and services that inspire and excite people everywhere. The main responsibilities for this role include: Providing ongoing application support Participating in different stages of the software development life cycle (SDLC) Conducting user requirement analysis Evaluating potential solutions for business problems Participating in system integration testing Planning and coordinating end-user training Building good relationships with business users Working closely with vendors Supporting the team in defining project requirements and tracking progress Providing 24/7 primary application maintenance standby support Guiding and coaching junior team members Experience in: Databases (e.g. Oracle, DB2, MS SQL, MySQL, Teradata, Greenplum) Data repository design (e.g. operational data stores, dimensional data stores, data marts) Data interrogation techniques (e.g. SQL, NoSQL) Structured and unstructured data analytics. Statistical computing programming language (e.g. R). Data quality tools and processes. Data transformation and terminology equivalence mapping. Requirements / Qualifications: Singaporeans Only Degree / Master in Computer Science, Information Technology, Computer Engineering or equivalent 5 Years experience in providing data warehouses or advanced analytics solutions If you are passionate about technology and driven to make a difference, we encourage you to apply today. To discuss this opportunity further, please apply now or get in touch with Maralene Joshua at We regret to inform that only shortlisted candidates will be contacted. Maralene Joshua Implementation Specialist Morgan McKinley Singapore, Talent Solutions EA License No: 11C5502 Personnel Registration No: R2093737

We are looking for Java Developers who are passionate about coding and who want to work on some cutting edge projects in a financial markets environment here in Singapore. Responsibilities Deliver fully tested source code complying with quality indicators objectives Address technical aspects with Tech Lead/Architect and functional aspects with business analyst. Liaise with business analysts for clarification and understanding of requirements. Analyze technical constraints considering functional impacts with technical lead's help Organize and keep up to date detailed technical documentation Provide detailed estimation for development of solutions Develop tests strategy in coordination with project manager / Business Analysts Perform design and code review for other team members Be pro-active and ensure a continuous improvement mindset for the team Requirements 5-15+ years of experience using the core Java tech stack Working experience in Relational databases Experience in Apache Spark or other in-memory data processing frameworks Tools any/all of - Maven/Gradle, Jenkins/Team City, Kafka, Cucumber, Selenium Source management -GIT, TDD using Junit, DBUnit, Jira/QC. Experience in using any of the JavaScript frameworks (ReactJs or Angular) will be an added advantage Knowledge of Docker & Kubernetes will be an added advantage. "Sanderson-iKas" is the brand name for iKas International (Asia) Pte Ltd, a company incorporated in Singapore under Company UEN No.: 200914065E with EA license number 16S8086. Website: www.sanderson-ikas.sg "Personal data collected will be used for recruitment purposes only"

• Assist the Industry 4.0 (i4.0) team in acquiring, managing and implementing proof-of-concept (PoC) projects for customers
• Incubate and prepare new products for technical and commercial readiness to customers
• Provide training of products and solutions where necessary
• Provide ad-hoc support to operational activities where necessary
• Prepare marketing materials for new products and solutions

 

• Supervises site installations, ensuring that installations are on-time and complete, following to the installation schedule, work plan, estimated dealer cost and man-hours
• Works with crews to ensure that paperwork is timely and accurate; that all hours and actions are well documented according to company procedures
• Reviews site installations to ensure the highest quality workmanship; that product is assembled per plan and is leveled, aligned, cleaned and completely detailed
• Ensures that material is handled with care and that customer’s property is protected and undamaged
• Trains crews to have a responsible and technically adept interface with main/sub-contractors, electricians, safety officer, etc.
• Ensures that installations and all service work is closed out in a timely manner; that punch list resolution is followed up and finished to each customer’s satisfaction
• Visits site installations on a regular and daily basis, interfacing with leads and installation personnel, customers, and customer third parties, monitoring the progress and quality of the work being done by the installation staff
• Problem solving during installation

COMPANY DESCRIPTION

Singapore Management University is a place where high-level professionalism blends together with a healthy informality. The 'family-like' atmosphere among the SMU community fosters a culture where employees work, plan, organise and play together building a strong collegiality and morale within the university.

Our commitment to attract and retain talent is ongoing. We offer attractive benefits and welfare, competitive compensation packages, and generous professional development opportunities all to meet the work-life needs of our staff. No wonder, then, that SMU continues to be given numerous awards and recognition for its human resource excellence.

RESPONSIBILITIES

Work done will be at the direction of the PI, and where relevant, the Industry Director and Centre Director.As the Programme is interdisciplinary and multidisciplinary by nature, you will be expected to convey yourdomain expertise and edify others (and vice versa) in as productive, constructive, and collaborative a manner as possible.

You may be asked to participate in the development of use cases and delivery of proof-of-concept prototypesfor government and industry partners in the areas of computable contracts and "rules as code". Experience inrequirements analysis and agile, iterative methodologies will be useful at this stage.The work of the team will be largely determined by these use cases and customers. We will work with multipleuse cases so that we can abstract across them and develop generalized, reusable infrastructure. We will workwith specific customers so we can build useful applications on top of that infrastructure.You will contribute to the design and development of open-source software written to serve those use cases.You will work as part of a team of research engineers, developers, and domain expertise and you will beexpected to actively participate in team meetings and text-based communications. You will be expected to beactive members of the applied research community, by validating and contributing to advances incomputational law.

You may be asked to conduct use-inspired research at the direction of the Principal Investigator. This includes

• reading academic papers, standards publications, and related material such as blog posts and presentations;
• coming up to speed in fields which may be new to you, such as computational linguistics, mathematical logic, programming language design, formal verification, and model-based architecture;
• reading (and updating/commenting, relevant) existing software documentation;
• creating presentations, video recordings, walkthroughs, etc. to document and explain research work done;
• writing (and presenting, if so decided by the PI) academic papers and materials for publication; and
• documenting in a sufficiently-detailed manner so as to share what you've learned.

You will be expected to participate in software development; this includes

• learning how to use third party tools, including editors, IDEs, databases, business process modeling software, programming languages, and libraries;
• evaluating competing software systems for suitability;
• building infrastructure to enable application development;
• managing yourself, and managing fellow team members;
• engaging in product, project, and program management as needed;
• reading books and consuming such other media forms about software development;
• writing documentation such as user/developer-facing manuals, tutorials;
• delivering community support to users and customers;
• preparing presentations to represent the project before external audiences; and
• writing actual user-facing applications throughout the "full stack", in each case, documenting, reporting, and/or presenting the same in clearly and efficiently, both internally and externally.

QUALIFICATIONS

Researchers under the Programme should possess both mastery of their academic speciality, anddemonstrated practical experience producing and supporting high-quality open-source code throughcommunity engagement across multiple media. Candidates must have Bachelor's, Master's, Ph.D., oralternative qualifications in computer science, software engineering, (symbolic) artificial intelligence,computational linguistics, or formal methods.

Fluency in multiple natural languages, and any experience with law, are a plus.

Minimum qualifications:

Open-Source Software & Open-Standard Infrastructure EngineeringInternet Unix TCP/IP HTTP(S) XML JSON Schemas YAML Git Github TechnicalWriting Developer Relations and Evangelism

Parsers, Compilers, and Programming Language TheoryLex/YACC alex/happy Bison CFGs EBNF BNFC

App DevelopmentTest-Driven Development Continuous Integration Software Project Management Agile / XP / Scrum PairProgramming Literate Programming Unit Testing Amazon Web Services Docker Full-StackDevelopment

Programming Languages and Frameworks:Preferred: Haskell or OCaml. Python.Possible alternatives: Common Lisp Racket Scheme Javascript / Typescript / Node.

Computational Linguistics Natural Language GenerationComputational Semantics (in Haskell, Prolog, or Lisp) Montague Semantics Grammatical Framework Textplanning Surface realizationFamiliarity with: WordNet FrameNet SenseNet Controlled Natural Languages Attempto ControlledEnglish ACErules

Formal Verification and Specification LanguagesSome familiarity with any of: TLA+ Alloy IVy B Method Z notation VDM++ LTL

Preferred qualifications:

Theorem Proving and Strongly Typed Languages:CoQ Agda Idris Lean Prover F* Advanced Haskell (Templateetc) OCaml Elm Isabelle/HOL StrangeLoop Pony

Model Checkers and SAT/SMT solvers: Z3 PAT SMTlib NuSMV SPIN Sentient

IDEs, Language Workbenches, and PLT frameworks: K Framework JetBrains MPS IDEs (Vim, Emacs,Visual Studio Code, Atom, Sublime Text) Language Server ProtocolRule Systems and Logics

Formalization of Contracts, Rules, and Business Logic: Akoma Ntoso LegalRuleML PetriNets Drools iLog OPA Neota Logic Constraint Handling Rules ICAIL JURIX RuleML+RR

Model Driven Architecture: UML BPMN DMN OCL SBVR Statecharts Activity Diagrams ParnasTables

Logics: Hoare Logic Kripke structures Modal mu-calculus Dynamic Logic Deontic, Temporal, andEpistemic modals Situation Calculus Process Calculi Multivalent logics Defeasible Logic BDI AbductiveLogic F-Logic Intuitionistic Non-monotonic Logics Skolemization Well-Founded SemanticsGood Old-Fashioned Artificial Intelligence and Semantic Web

Knowledge Representation and Reasoning: Lisp Prolog F-Logic Flora-2 Datalog Answer-SetProgramming Defeasible Logic Expert Systems DocAssemble lps.doc.ic.ac.uk

Semantic Web and Ontologies:RDFa RDFt RDF RIF SWRL OWL Cyc KBpedia SUMO UFO Protg

Please note that your application will be sent to and reviewed by the direct employer - Singapore Management University

Location: Singapore, Singapore

In fast changing markets, customers worldwide rely on Thales. Thales is a business where brilliant people from all over the world come together to share ideas and inspire each other. In aerospace, transportation, defence, security and space, our architects design innovative solutions that make our tomorrow's possible.

Thales established its presence in Singapore in 1973 to support the expansion of aerospace-related activities in the Asia-Pacific region. Throughout the last four decades, the company grew from strength to strength and is today involved in the primary businesses of Aerospace (including Air Traffic Management), Defence & Security, Ground Transportation and Digital Identity & Security. Thales today employs over 2,100 people in Singapore across all its business areas.

Thales Singapore Engineering Competence Centre (ECC) is a well-established R&D and engineering centre serving major customers worldwide in Digital Identity and Security domains ranging from mobile connectivity, IoT, banking & payment to government solutions.

As a Software Engineer in Thales Embedded Product Development Team in ECC, you will participate in the design, implementation, validation and deployment of Embedded Products for major OEM customers.

A week in the life of an Embedded Software Engineer:

• Develop, validate and deploy new software components (for example advance software security mechanism and next generation IoT connectivity protocols) for embedded operating systems targeted for mobile and IoT devices, in applications such as mobile payment, digital identity and IoT connectivity.
• Participate to the development of next generation operating systems for future devices.
• Being in agile development environment to work closely within team and multiple teams around the world to build great products exceeding customer expectations
• Contribute to continuous product and development methodology improvement

Knowledge, Skills and Experience:

• Degree in Electrical/Electronics/Computer Engineering, or related fields  Proficient in C/Java programming languages
• First professional experience or internship within embedded software development area preferred
• Knowledge of embedded technologies/ecosystem, software security or Javacard knowledge is a plus
• Team player with good communications and collaborative skills

At Thales we provide CAREERS and not only jobs. With Thales employing 80,000 employees in 68 countries our mobility policy enables thousands of employees each year to develop their careers at home and abroad, in their existing areas of expertise or by branching out into new fields. Together we believe that embracing flexibility is a smarter way of working. Great journeys start here, apply now!

Location: Singapore, Singapore

In fast changing markets, customers worldwide rely on Thales. Thales is a business where brilliant people from all over the world come together to share ideas and inspire each other. In aerospace, transportation, defence, security and space, our architects design innovative solutions that make our tomorrow's possible.

Thales established its presence in Singapore in 1973 to support the expansion of aerospace-related activities in the Asia-Pacific region. Throughout the last four decades, the company grew from strength to strength and is today involved in the primary businesses of Aerospace (including Air Traffic Management), Defence & Security, Ground Transportation and Digital Identity & Security. Thales today employs over 2,100 people in Singapore across all its business areas.

Want to be part of a Graduate Engineer Program like no other? We’re inventing the future, right here, right now, at Thales and we want you to be a part of it! Never heard of us? Thales employs 80,000 people globally to solve the problems of tomorrow. Working at Thales you could be solving problems in the aerospace, transportation, defense, security and the space industry.

If you are eager to learn, fuelled by curiosity and want to take pride in building solutions that help millions of people on a daily basis then our program is for you.

Graduate Engineer Program

The Graduate Engineer Program is a 2-year program. This is an accelerated program to unleash your potential by working with experts through 3 rotations. This gives you an opportunity to appreciate the breath of Thales’ offer in creating a future we all can trust. You will have a diversified experience in exposing to different areas, where you could match your interests and knowledge with job roles. The program not only focuses on technical know-how, but will also support your personal development such as leadership and interpersonal skills.

What we offer

• A permanent role with 2 years of structured learning and development opportunities with Thales.
• Assignments from 3 different business lines.
• A professionally sharp, energetic and experienced multinational team
• Mentor to support you in both professional knowledge/skillsets and individual career objectives.
• An exciting, international collaborative environment to work with global talents in one of the world’s 100 most innovative company.

What you will do

• Develop, validate and deploy software and solution.
• Work within a project team with an agile development approach.
• Contribute to continuous software delivery improvement.
• Deploy our software and solutions to different environments.

What we look for

• Bachelor or Master’s degree in EEE/Computer Engineering/Computer Science.
• Minimum GPA equivalent to Second Class (Upper) Honours and above
• Highly motivated, enthusiastic, open minded for energy and sustainability to join our new graduate rotational program.

At Thales we provide CAREERS and not only jobs. With Thales employing 80,000 employees in 68 countries our mobility policy enables thousands of employees each year to develop their careers at home and abroad, in their existing areas of expertise or by branching out into new fields. Together we believe that embracing flexibility is a smarter way of working. Great journeys start here, apply now!

Job Description

• Perform and certify aircraft maintenance tasks including inspection, repair, modification and functional tests

Required Skills

• Holds a valid Cat. B1 Aircraft Maintenance Engineer's License* with 2 or more of the following aircraft type ratings:

1. A330 (Trent 700/CF6)
2. A380 (Trent 900/GP 7200)
3. A319/320/321 (NEO/PW/V2500/CFM56)
4. B787 (Trent1000/GENX)
5. A350
6. B737- 600/700/800/900 (CFM56)
7. B737 MAX

• Holds a valid Company authorisation with 2 or more aircraft type ratings listed above
• Have at least 5 years of aircraft maintenance experience, with a minimum of 2 years of recent certification experience as an Engineer
• Holding a valid CAAS Part 66 (Cat. B1) Aircraft Maintenance Engineer’s License with the above-mentioned aircraft type ratings is advantageous
• Excellent interpersonal and communication skills (English proficiency in reading/writing)
• Good customer relationship skills

We are actively looking for Data Engineer for a permanent position in Singapore. This exciting opportunity is with a well-established global IT service provider known for its excellence in the industry.

Key responsibilities:

• · Designing, building and maintaining data architectures, including databases and processing systems;

• · Acquiring and integrating new data sources;

• · Optimising data pipelines, automating processes where possible and planning for scalability;

• · Developing methods for identifying issues in data quality, reliability and efficiency;

• · Applying appropriate security controls to all relevant collections, databases and systems;

• · Maintaining documentation relating to the design and maintenance of data systems; and

• · Creating and maintaining the infrastructure and analytic tools to allow for efficient data extraction and transformation.

Key skills and qualifications:

• · Degree qualified in data science, computer science, statistics, information systems, or related disciplines;

• · Extensive experience with SQL, Python and R;

• · Experience or familiarity with Airflow, Spark, Hadoop, and PostgreSQL;

• · Experience with data modelling and ETL tools;

• · An understanding or interest in data science or analytics would be advantageous

About Us

We specialize in Digital, ERP, and larger IT Services. We offer flexible, efficient and collaborative solutions to any organization that requires IT, experts. Our agile, agnostic, and flexible solutions will help you source the IT Expertise you need. If you are looking for new opportunities, send your profile at [email protected].

Also follow our LinkedIn page for new job opportunities and more.

Zone IT Solutions is an equal opportunity employer and our recruitment process focuses on essential skills and abilities. We encourage applications from a diverse array of backgrounds, including individuals of various ethnicities, cultures, and linguistic backgrounds, as well as those with disabilities.

We are looking for a DevOps Engineer for Singapore for a large-scale project. This is a contract role with a global IT service leader.

• Proficient in utilizing Azure services such as Virtual Machines, Service Principal, Roles/Groups, Log Analytics/Alerts, Azure CLI, and hosting/integrating Web apps on Azure.
• An in-depth understanding of Microservices and how CI/CD can leverage the Microservices architecture.
• Hands-on experience with DevOps tools such as Ansible, Git/Bitbucket, and Bamboo/Jenkins.
• Familiarity with IaaS, PaaS, and SaaS in cloud computing.
• Prior experience in developing automated jobs and processes using PowerShell, Python.

About Us

Zone IT Solutions is Australia based Recruitment Company. We specialize in Digital, ERP and larger IT Services. We offer flexible, efficient and collaborative solutions to any organization that requires IT, experts. Our agile, agnostic and flexible solutions will help you source the IT Expertise you need. Our delivery Offices are in Melbourne, Sydney and India. If you are looking for new opportunities your profile at [email protected] or contact us at 0434189909

Also follow our LinkedIn page for new job opportunities and more.

Zone IT Solutions is an equal opportunity employer and our recruitment process focuses on essential skills and abilities. We welcome applicants from a diverse range of backgrounds, including Aboriginal and Torres Strait Islander peoples, people from culturally and linguistically diverse (CALD) backgrounds and people with disabilities.

COMPANY DESCRIPTION

Singapore Management University is a place where high-level professionalism blends together with a healthy informality. The 'family-like' atmosphere among the SMU community fosters a culture where employees work, plan, organise and play together building a strong collegiality and morale within the university.

Our commitment to attract and retain talent is ongoing. We offer attractive benefits and welfare, competitive compensation packages, and generous professional development opportunities all to meet the work-life needs of our staff. No wonder, then, that SMU continues to be given numerous awards and recognition for its human resource excellence.

RESPONSIBILITIES

Work done will be at the direction of the PI, and where relevant, the Industry Director and Centre Director.As the Programme is interdisciplinary and multidisciplinary by nature, you will be expected to convey yourdomain expertise and edify others (and vice versa) in as productive, constructive, and collaborative a manneras possible.

You may be asked to participate in the development of use cases and delivery of proof-of-concept prototypesfor government and industry partners in the areas of computable contracts and "rules as code". Experience inrequirements analysis and agile, iterative methodologies will be useful at this stage.The work of the team will be largely determined by these use cases and customers. We will work with multipleuse cases so that we can abstract across them and develop generalized, reusable infrastructure. We will workwith specific customers so we can build useful applications on top of that infrastructure.You will contribute to the design and development of open-source software written to serve those use cases.You will work as part of a team of research engineers, developers, and domain expertise and you will beexpected to actively participate in team meetings and text-based communications. You will be expected to beactive members of the applied research community, by validating and contributing to advances incomputational law.

You may be asked to conduct use-inspired research at the direction of the Principal Investigator. This includes

• reading academic papers, standards publications, and related material such as blog posts and presentations
• coming up to speed in fields which may be new to you, such as computational linguistics, mathematical logic, programming language design, formal verification, and model-based architecture
• reading (and updating/commenting, relevant) existing software documentation
• creating presentations, video recordings, walkthroughs, etc. to document and explain research work done
• writing (and presenting, if so decided by the PI) academic papers and materials for publication
• documenting in a sufficiently-detailed manner so as to share what you've learned

You will be expected to participate in software development; this includes

• learning how to use third party tools, including editors, IDEs, databases, business process modeling software, programming languages, and libraries
• evaluating competing software systems for suitability
• building infrastructure to enable application development
• managing yourself, and managing fellow team members
• engaging in product, project, and program management as needed
• reading books and consuming such other media forms about software development
• writing documentation such as user/developer-facing manuals, tutorials
• delivering community support to users and customers
• preparing presentations to represent the project before external audiences
• writing actual user-facing applications throughout the "full stack"

in each case, documenting, reporting, and/or presenting the same in clearly and efficiently, both internally and externally.

QUALIFICATIONS

Researchers under the Programme should possess both mastery of their academic speciality, anddemonstrated practical experience producing and supporting high-quality open-source code throughcommunity engagement across multiple media. Candidates must have Bachelor's, Master's, Ph.D., oralternative qualifications in computer science, software engineering, (symbolic) artificial intelligence,computational linguistics, or formal methods.

Fluency in multiple natural languages, and any experience with law, are a plus.

Minimum qualifications:

Open-Source Software & Open-Standard Infrastructure EngineeringInternet Unix TCP/IP HTTP(S) XML JSON Schemas YAML Git Github Technical Writing Developer Relations and Evangelism

Programming Languages and Frameworks:Preferred: Haskell or OCaml. Python.Possible alternatives: Common Lisp Racket Scheme Javascript / Typescript / Node.

Formalization of Contracts, Rules, and Business Logic: Akoma Ntoso LegalRuleML Petri Nets Drools iLog OPA Neota Logic Constraint Handling Rules ICAIL JURIX RuleML+RR

Semantic Web and Ontologies: RDFa RDFt RDF RIF SWRL OWL Cyc KBpedia SUMO UFO Protg or a commercial rules engine with ontology support

Model Driven Architecture: UML BPMN DMN OCL SBVR Statecharts Activity Diagrams ParnasTables

Logics: Hoare Logic Kripke structures Modal mu-calculus Dynamic Logic Deontic, Temporal, andEpistemic modals Situation Calculus Process Calculi Multivalent logics Defeasible Logic BDI AbductiveLogic F-Logic Intuitionistic Non-monotonic Logics Skolemization Well-Founded SemanticsGood Old-Fashioned Artificial Intelligence and Semantic Web

Knowledge Representation and Reasoning: Lisp Prolog F-Logic Drools Oracle Policy Manager Flora-2 Datalog Answer-Set Programming Defeasible Logic Expert Systems DocAssemble lps.doc.ic.ac.uk

Skills listed below this line are preferred but not required:

Theorem Proving and Strongly Typed Languages:CoQ Agda Idris Lean Prover F* Advanced Haskell (Template etc) OCaml Elm Isabelle/HOL StrangeLoop Pony

Model Checkers and SAT/SMT solvers: Z3 PAT SMTlib NuSMV SPIN Sentient

IDEs, Language Workbenches, and PLT frameworks: K Framework JetBrains MPS IDEs (Vim, Emacs,Visual Studio Code, Atom, Sublime Text) Language Server ProtocolRule Systems and Logics

Computational Linguistics Natural Language GenerationComputational Semantics (in Haskell, Prolog, or Lisp) Montague Semantics Grammatical Framework Textplanning Surface realizationFamiliarity with: WordNet FrameNet SenseNet Controlled Natural Languages Attempto Controlled English ACErules

Parsers, Compilers, and Programming Language TheoryLex/YACC alex/happy Bison CFGs EBNF BNFC

Formal Verification and Specification LanguagesSome familiarity with any of: TLA+ Alloy IVy B Method Z notation VDM++ LTL CTL

App DevelopmentTest-Driven Development Continuous Integration Software Project Management Agile / XP / Scrum PairProgramming Literate Programming Unit Testing Amazon Web Services Docker Full-StackDevelopment

Please note that your application will be sent to and reviewed by the direct employer - Singapore Management University

SIA Engineering is recruiting a number of positions for our Singapore Operations located in Changi ( East side of the island ).

Available roles include the following :

1. Aircraft Technicians ( B1 )
2. Avionics Technicians ( B2 )

Requirements :

• Applicants who applied for the above role must have experienced in similar role(s) in other companies.
• Must have relevant Engineering qualifications
• Must have necessary supporting documents/certifications to prove qualifications
• Willing to work in Singapore
• Ability to speak and write in English language is compulsory
• Immediately available candidates are welcomed

Shortlisted candidates would be contacted for an online interview.

At SIA Engineering, we are committed to ensuring your personal information is protected and never misused. Personal data collected will be used or disclosed only for the purposes of your job application and potential employment with SIA Engineering, such as for assessing and evaluating your suitability for employment in any current or prospective position within the organization and verifying your identity and accuracy of the personal details and other information provided.

By submitting your application for this position, you consent to:

A) The collection, use and disclosure of your personal data by SIA Engineering for the purposes of your application and potential employment with SIA Engineering, including disclosing such personal data to any of SIA Engineering’s subsidiaries, affiliates or related corporations (if necessary for the processing of your job application); and

B) SIA Engineering’s retention of your personal data for 1 year for consideration of future job opportunities (where applicable)

COMPANY DESCRIPTION

Singapore Management University is a place where high-level professionalism blends together with a healthy informality. The 'family-like' atmosphere among the SMU community fosters a culture where employees work, plan, organise and play together building a strong collegiality and morale within the university.

Our commitment to attract and retain talent is ongoing. We offer attractive benefits and welfare, competitive compensation packages, and generous professional development opportunities all to meet the work-life needs of our staff. No wonder, then, that SMU continues to be given numerous awards and recognition for its human resource excellence.

RESPONSIBILITIES

Work done will be at the direction of the PI, and where relevant, the Industry Director and Centre Director.As the Programme is interdisciplinary and multidisciplinary by nature, you will be expected to convey yourdomain expertise and edify others (and vice versa) in as productive, constructive, and collaborative a manneras possible.

You may be asked to participate in the development of use cases and delivery of proof-of-concept prototypesfor government and industry partners in the areas of computable contracts and "rules as code". Experience inrequirements analysis and agile, iterative methodologies will be useful at this stage.The work of the team will be largely determined by these use cases and customers. We will work with multipleuse cases so that we can abstract across them and develop generalized, reusable infrastructure. We will workwith specific customers so we can build useful applications on top of that infrastructure.You will contribute to the design and development of open-source software written to serve those use cases.You will work as part of a team of research engineers, developers, and domain expertise and you will beexpected to actively participate in team meetings and text-based communications. You will be expected to beactive members of the applied research community, by validating and contributing to advances incomputational law.

You may be asked to conduct use-inspired research at the direction of the Principal Investigator. This includes

• reading academic papers, standards publications, and related material such as blog posts andpresentations;
• coming up to speed in fields which may be new to you, such as computational linguistics, mathematicallogic, programming language design, formal verification, and model-based architecture;
• reading (and updating/commenting, relevant) existing software documentation;
• creating presentations, video recordings, walkthroughs, etc. to document and explain research work done;
• writing (and presenting, if so decided by the PI) academic papers and materials for publication; and
• documenting in a sufficiently-detailed manner so as to share what you've learned.

You will be expected to participate in software development; this includes

• learning how to use third party tools, including editors, IDEs, databases, business process modelingsoftware, programming languages, and libraries;
• evaluating competing software systems for suitability;
• building infrastructure to enable application development
• managing yourself, and managing fellow team members;
• engaging in product, project, and program management as needed
• reading books and consuming such other media forms about software development;
• writing documentation such as user/developer-facing manuals, tutorials;
• delivering community support to users and customers;
• preparing presentations to represent the project before external audiences; and
• writing actual user-facing applications throughout the "full stack",in each case, documenting, reporting, and/or presenting the same in clearly and efficiently, both internally andexternally.

QUALIFICATIONS

Researchers under the Programme should possess both mastery of their academic speciality, anddemonstrated practical experience producing and supporting high-quality open-source code throughcommunity engagement across multiple media. Candidates must have Bachelor's, Master's, Ph.D., oralternative qualifications in computer science, software engineering, (symbolic) artificial intelligence,computational linguistics, or formal methods. Fluency in multiple natural languages, and any experience with law, are a plus.

This specialist role requires skills in the following areas (one or two in each category is sufficient):

Open-Source Software & Open-Standard Infrastructure Engineering Internet Unix TCP/IP HTTP(S) XML JSON Schemas YAML Git Github Technical Writing Developer Relations and Evangelism

Programming Languages and Frameworks: Preferred: Haskell or OCaml. Python. Possible alternatives: Common Lisp Racket Scheme Javascript / Typescript / Node.

Formalization of Contracts, Rules, and Business Logic: Akoma Ntoso LegalRuleML Petri Nets Drools iLog OPA Neota Logic Constraint Handling Rules ICAIL JURIX RuleML+RR

Semantic Web and Ontologies: RDFa RDFt RDF RIF SWRL OWL Cyc KBpedia SUMO UFO Protg or a commercial rules engine with ontology support

Model Driven Architecture: UML BPMN DMN OCL SBVR Statecharts Activity Diagrams Parnas Tables Logics: Hoare

Logic Kripke structures Modal mu-calculus Dynamic Logic Deontic, Temporal, and Epistemic modals Situation Calculus Process Calculi Multivalent logics Defeasible Logic BDI Abductive Logic F-Logic Intuitionistic Non-monotonic Logics Skolemization Well-Founded Semantics Good Old-Fashioned Artificial Intelligence and Semantic Web

Knowledge Representation and Reasoning: Lisp Prolog F-Logic Drools Oracle Policy Manager Flora-2 Datalog Answer-Set Programming Defeasible Logic Expert Systems DocAssemble lps.doc.ic.ac.uk

Skills listed below this line are preferred but not required:

Theorem Proving and Strongly Typed Languages: CoQ Agda Idris Lean Prover F* Advanced Haskell (Template etc) OCaml Elm Isabelle/HOL StrangeLoop Pony

Model Checkers and SAT/SMT solvers: Z3 PAT SMTlib NuSMV SPIN Sentient

IDEs, Language Workbenches, and PLT frameworks: K Framework JetBrains MPS IDEs (Vim, Emacs, Visual Studio Code, Atom, Sublime Text) Language Server Protocol Rule Systems and Logics

Computational Linguistics Natural Language Generation Computational Semantics (in Haskell, Prolog, or Lisp) Montague Semantics Grammatical Framework Text planning Surface realization Familiarity with: WordNet FrameNet SenseNet Controlled Natural Languages Attempto Controlled English ACErules

Parsers, Compilers, and Programming Language Theory Lex/YACC alex/happy Bison CFGs EBNF BNFC

Formal Verification and Specification Languages Some familiarity with any of: TLA+ Alloy IVy B Method Z notation VDM++ LTL CTL

App Development Test-Driven Development Continuous Integration Software Project Management Agile / XP / Scrum Pair Programming Literate Programming Unit Testing Amazon Web Services Docker Full-Stack Development

Please note that your application will be sent to and reviewed by the direct employer - Singapore Management University

Support the customers to install, diagnose and resolve Hardware, Software, Application issues on desktop PC/notebook and related peripherals.

Primary Responsibilities

• To assist in installation of hardware and software
• To ensure that hardware and software are maintained according to standards by performing upgrades, new installations and carry out routine updating procedures

Job Knowledge/Skills

• Diploma in Information Technology or Computer science or any computer related subject.
• Good knowledge in PC hardware, LAN and Windows OS
• Resourceful and able to resolve problems independently using online and offline resources
• Good communication and Interpersonal Skills
• Able to communicate effectively in English
• Well organized, proactive and self-directed
• Able to perform with minimal supervision and a team player
• Shift duty and weekend support are required when needed
• Candidateswith troubleshooting knowledge are welcome to apply
• Security Clearance is required

Additional Information

• Location: 50% at Jurong Island
• Once per week, morning shift duty ( 6 am to 2 pm).
• Weekend support for system upgrade / cutover is about once every 2 months.

Job Responsibilities:

Infrastructure Support:

• Contribute to the design, implementation, and maintenance of the overall IT infrastructure, ensuring scalability and reliability.
• Collaborate with the infrastructure team to optimize server configurations and virtualization technologies.
• Participate in disaster recovery planning and testing to ensure business continuity.
• Monitor infrastructure performance and conduct proactive maintenance to prevent issues.
• Implement and manage storage solutions to meet the organization's data requirements.

Network Support:

• Administer and maintain the organization's network infrastructure, including routers, switches, and firewalls.
• Troubleshoot and resolve network-related issues, ensuring optimal network performance.
• Collaborate with offshore security teams to implement and enforce network security policies.
• Design and implement network upgrades and expansions to accommodate business growth.
• Perform regular network audits to identify vulnerabilities and recommend improvements.

WMS & Machine Integration Support and Maintenance:

• Participate in the implementation, maintenance, and optimization of the Warehouse Management System.
• Effectively supports & collaborates with cross-functional teams in optimizing the Receiving, Binning, Picking & Packing processes.
• Provide training and support to warehouse staff on utilizing the WMS effectively.
• Monitor, maintain & troubleshoot of machines, robotics, & automated systems to ensure smooth functioning.
• Collaborate with external vendors and internal stakeholders to manage machine repairs, upgrades, and preventive maintenance.
• Generate reports & insights to support decision-making for optimizing warehouse processes and machine performance.

Job Requirements:

Education

• Bachelor’s degree in computer science or computer engineering, or related discipline.
• Certification in ITIL, RHCE, CompTIA Network+, CCNA, Microsoft and network related will be an advantage.

Technical skill and Experience

• Minimum of 3 years of experience in IT, and MNC preferred.
• Proven track record in Tier two IT support.
• Hands-on experience in system (Windows, Linux) & network (Cisco, PaloAlto) support are preferred.
• Knowledge and experience in ERP or WMS is a plus.
• Sound knowledge in IP-Phone, SD-WAN, Aruba AP, will be advantage.

Collaboration and interpersonal skill

• Strong analytical and problem-solving skills.
• Demonstrate ability to work in teams with a collaborative interpersonal style.
• Good verbal and written communications skills with the ability to effectively document procedures.
• Proactive, fast learner and able to work independently.
• Able to speak proficiently in both English and Mandarin (to liaise with Mandarin stakeholders)

We are looking for a Network Engineer for Singapore based assignment. You will be working with Industry leaders providing expert services.

• Over 5 years’ experience in implementing large scale ICT networks (i.e.switching and routing) using Arista equipment.
• Detailed knowledge of different cyber security and network technologies
• Knowledge and experience in working on geographically dispersed and constrained networks, the associated security threat landscape, and related mitigations
• Experience in developing solutions for private cloud or tenancy.
• Experience in building and deploying within a segmented network environment, focusing on virtualization and platform layers.
• Experience in implementing and testing Quality of Service (QoS) DSCPmarkings of traffic to meet defined standards within secure federated environments.
• Basic understanding of Hypervisor/Hyper-Converged Infrastructure, Active Directory, and PKI certificate services
• Ability to take requirements, standards, and frameworks and apply them in a practical application to future proposed solution designs and systems.
• Ability to adapt quickly to changing requirements in a fast-paced environment to meet changing deadlines and shifting priorities.
• Experience in developing highly available/fault tolerant systems, networks, and infrastructure in a connected, partially connected, degraded, or often disconnected state

About Us

Zone IT Solutions is Australia based Recruitment Company. We specialize in Digital, ERP and larger IT Services. We offer flexible, efficient and collaborative solutions to any organization that requires IT, experts. Our agile, agnostic and flexible solutions will help you source the IT Expertise you need. Our delivery Offices are in Melbourne, Sydney and India. If you are looking for new opportunities your profile at [email protected] or contact us at 0434189909
Also follow our LinkedIn page for new job opportunities and more.
Zone IT Solutions is an equal opportunity employer and our recruitment process focuses on essential skills and abilities. We welcome applicants from a diverse range of backgrounds, including Aboriginal and Torres Strait Islander peoples, people from culturally and linguistically diverse (CALD) backgrounds and people with disabilities

COMPANY DESCRIPTION

Singapore Management University is a place where high-level professionalism blends together with a healthy informality. The 'family-like' atmosphere among the SMU community fosters a culture where employees work, plan, organise and play together building a strong collegiality and morale within the university.

Our commitment to attract and retain talent is ongoing. We offer attractive benefits and welfare, competitive compensation packages, and generous professional development opportunities all to meet the work-life needs of our staff. No wonder, then, that SMU continues to be given numerous awards and recognition for its human resource excellence.

RESPONSIBILITIES

Work done will be at the direction of the PI, and where relevant, the Industry Director and Centre Director.As the Programme is interdisciplinary and multidisciplinary by nature, you will be expected to convey yourdomain expertise and edify others (and vice versa) in as productive, constructive, and collaborative a manneras possible.

You may be asked to participate in the development of use cases and delivery of proof-of-concept prototypesfor government and industry partners in the areas of computable contracts and "rules as code". Experience inrequirements analysis and agile, iterative methodologies will be useful at this stage.The work of the team will be largely determined by these use cases and customers. We will work with multipleuse cases so that we can abstract across them and develop generalized, reusable infrastructure. We will workwith specific customers so we can build useful applications on top of that infrastructure.You will contribute to the design and development of open-source software written to serve those use cases.You will work as part of a team of research engineers, developers, and domain expertise and you will beexpected to actively participate in team meetings and text-based communications. You will be expected to beactive members of the applied research community, by validating and contributing to advances incomputational law.

You may be asked to conduct use-inspired research at the direction of the Principal Investigator. This includes

• reading academic papers, standards publications, and related material such as blog posts andpresentations;
• coming up to speed in fields which may be new to you, such as computational linguistics, mathematicallogic, programming language design, formal verification, and model-based architecture;
• reading (and updating/commenting, relevant) existing software documentation;
• creating presentations, video recordings, walkthroughs, etc. to document and explain research work done;
• writing (and presenting, if so decided by the PI) academic papers and materials for publication; and
• documenting in a sufficiently-detailed manner so as to share what you've learned.

You will be expected to participate in software development; this includes

• learning how to use third party tools, including editors, IDEs, databases, business process modeling software, programming languages, and libraries;
• evaluating competing software systems for suitability;
• building infrastructure to enable application development
• managing yourself, and managing fellow team members;
• engaging in product, project, and program management as needed
• reading books and consuming such other media forms about software development;
• writing documentation such as user/developer-facing manuals, tutorials;
• delivering community support to users and customers;
• preparing presentations to represent the project before external audiences; and
• writing actual user-facing applications throughout the "full stack",in each case, documenting, reporting, and/or presenting the same in clearly and efficiently, both internally and externally.

QUALIFICATIONS

Researchers under the Programme should possess both mastery of their academic speciality, anddemonstrated practical experience producing and supporting high-quality open-source code throughcommunity engagement across multiple media. Candidates must have Bachelor's, Master's, Ph.D., oralternative qualifications in computer science, software engineering, (symbolic) artificial intelligence,computational linguistics, or formal methods. Fluency in multiple natural languages, and any experience with law, are a plus.

This specialist role requires skills in the following areas (one or two in each category is sufficient):

Open-Source Software & Open-Standard Infrastructure Engineering Internet Unix TCP/IP HTTP(S) XML JSON Schemas YAML Git Github Technical Writing Developer Relations and Evangelism

Programming Languages and Frameworks: Preferred: Haskell or OCaml. Python. Possible alternatives: Common Lisp Racket Scheme Javascript / Typescript / Node.

Formalization of Contracts, Rules, and Business Logic: Akoma Ntoso LegalRuleML Petri Nets Drools iLog OPA Neota Logic Constraint Handling Rules ICAIL JURIX RuleML+RR

Semantic Web and Ontologies: RDFa RDFt RDF RIF SWRL OWL Cyc KBpedia SUMO UFO Protg or a commercial rules engine with ontology support

Model Driven Architecture: UML BPMN DMN OCL SBVR Statecharts Activity Diagrams Parnas Tables Logics: Hoare

Logic Kripke structures Modal mu-calculus Dynamic Logic Deontic, Temporal, and Epistemic modals Situation Calculus Process Calculi Multivalent logics Defeasible Logic BDI Abductive Logic F-Logic Intuitionistic Non-monotonic Logics Skolemization Well-Founded Semantics Good Old-Fashioned Artificial Intelligence and Semantic Web

Knowledge Representation and Reasoning: Lisp Prolog F-Logic Drools Oracle Policy Manager Flora-2 Datalog Answer-Set Programming Defeasible Logic Expert Systems DocAssemble lps.doc.ic.ac.uk

Skills listed below this line are preferred but not required:

Theorem Proving and Strongly Typed Languages: CoQ Agda Idris Lean Prover F* Advanced Haskell (Template etc) OCaml Elm Isabelle/HOL StrangeLoop Pony

Model Checkers and SAT/SMT solvers: Z3 PAT SMTlib NuSMV SPIN Sentient

IDEs, Language Workbenches, and PLT frameworks: K Framework JetBrains MPS IDEs (Vim, Emacs, Visual Studio Code, Atom, Sublime Text) Language Server Protocol Rule Systems and Logics

Computational Linguistics Natural Language Generation Computational Semantics (in Haskell, Prolog, or Lisp) Montague Semantics Grammatical Framework Text planning Surface realization Familiarity with: WordNet FrameNet SenseNet Controlled Natural Languages Attempto Controlled English ACErules

Parsers, Compilers, and Programming Language Theory Lex/YACC alex/happy Bison CFGs EBNF BNFC

Formal Verification and Specification Languages Some familiarity with any of: TLA+ Alloy IVy B Method Z notation VDM++ LTL CTL

App Development Test-Driven Development Continuous Integration Software Project Management Agile / XP / Scrum Pair Programming Literate Programming Unit Testing Amazon Web Services Docker Full-Stack Development

OTHER INFORMATION

#LI-JN2

Please note that your application will be sent to and reviewed by the direct employer - Singapore Management University