Total 15 Junior Executive quality assurance engineer job vacancies in SG OFFICE - ROBINSON ROAD

About the Company:

Dbiz is a high-performing product and engineering company that partners with organizations to build out digital solutions using the right technology at the right time. We pride ourselves on our innovative use of technology in various ways.

Role Summary:

We are seeking a talented and experienced Senior Outsystems Developer to join our dynamic team. The ideal candidate will have a strong background in developing and implementing solutions using the Outsystems platform, with proficiency in .NET, SQL, and JavaScript. This role involves designing, developing, and optimizing applications to meet business needs effectively.

Key Responsibilities:

• Design, develop, and maintain applications using the Outsystems platform.
• Utilize .NET, SQL, and JavaScript to create robust and scalable solutions.
• Collaborate with business stakeholders to understand requirements and translate them into technical solutions.
• Implement best practices in coding and application development.
• Troubleshoot and resolve application issues, ensuring optimal performance and user experience.
• Perform code reviews and provide mentorship to junior developers.
• Stay current with Outsystems updates and emerging technologies to continuously enhance skills and knowledge.
• Ensure adherence to project timelines and deliver high-quality solutions within deadlines.

Qualifications:

• Bachelor’s degree in Computer Science, Information Technology, or a related field.
• 2 - 6 years of professional experience in software development with a focus on Outsystems, .NET, SQL, and JavaScript.
• Proven experience in developing and deploying applications using the Outsystems platform.
• Strong proficiency in the .NET framework and associated technologies.
• Extensive experience with SQL databases and writing complex queries.
• Advanced knowledge of JavaScript and its frameworks/libraries.
• Excellent problem-solving skills and attention to detail.
• Strong communication skills and ability to work collaboratively in a team environment.
• Experience in agile development methodologies is a plus.

Preferred Skills:

• Certifications in Outsystems or related technologies.
• Experience with the integration of Outsystems with other systems and APIs.
• Knowledge of cloud platforms and DevOps practices.

Life at Dbiz:

• Competitive salary and attractive benefits
• Dynamic and innovative work environment
• Opportunities for personal growth and development
• Engaging and collaborative company culture

-Supervise and coordinate the activities of site contractors ;

· Monitor job progress and ensure that civil and structural contracted works meet all practical, and commercial, requirements of productivity, quality ,and contract target completions;

· Ensure all design work conforms to the codes and standards used by the client, or to agreed industry standards.

· Implement and oversee site projects assigned to ensure smooth project execution

· Manage internal and external contractors well to ensure the quality of work and scope of work is within specifications.

· Responsible for all inspection activities being carried out.

· Assist in planning, scheduling, and technical support to PM and/or resident engineer/technical officer.

. Assist LCDW and TCDW

.Assist InterNACHI CPI, mentor for home inspection

Your Role

We are looking for an experienced Assistant Service Engineer / Service Technician to support production by performing outdoor and indoor troubleshooting and maintenance work. You will perform preventive maintenance on machines and cost reduction. Support new equipment installation and major periodic maintenance activities as required.

What Will You Do

• Outdoor and indoor troubleshooting and maintenance work
• Participate in continuous improvement projects/activities to improve overall performance of machines and cost reduction.
• Perform preventive maintenance on machines.
• Support new equipment installation as required.
• Support major periodic maintenance activities as required.
• Other ad-hoc duties assigned by manager

What Do We Want

• · Min Nitec/Diploma & above in electrical and electronic/ engineering (AC & DC motors, single-phase & three-phase, lead acid & lithium batteries, electrical control circuits, hydraulic system) or equivalent.
• · At least 1-2 years & above of customer service experience in electrical background.
• · Able to read electrical diagram and well verse with electrical repair (Electrical circuit)
• · Posses Class 3 driving license. (If any)

What Will You Get in Return
You will be given exposure to a hold a key position in a growing organization with attractive rewards and a wide range of benefits. You will entitle a Gross salary up to S$4000 + attractive perks.

What You Need to do Now
Click "Apply" and please include the following information in your resume:

• Personal Particulars with recent photograph
• Education background
• Work experiences in point forms
• Reason(s) for leaving
• Current and Expected salary
• Date of availability / Notice Period

Note:
Only shortlisted candidate will be notified via email for an interview invitation

Key Responsibilities:

• Conduct site acceptance tests, oversee commissioning processes, and assist with the start-up of Insulating Glass machinery.
• Interface with customers for after-sales service, identify their needs, and provide tailored solutions.
• Address and resolve on-site maintenance issues by troubleshooting and offering technical support.
• Work collaboratively with customers to fulfill repair schedules effectively.
• Deliver training sessions to help customers optimize product performance.
• Provide feedback from the field to engineering and production teams for product improvements or new designs.
• Ensure compliance with validation processes, including product applications, controls, and documentation.

Requirements:

• Must be very willing to travel as there are times the travelling can take up to 8 weeks.
• Physical ability to handle heavy machinery parts and tool kits (>30kg).
• Ability to read and interpret technical drawings.
• Prior working experience in a technical servicing role is a must.
• Hands-on experience in servicing and the ability to work independently at job sites.
• Willingness to travel for service assignments within the SEA region.
• Strong problem-solving skills and a customer-focused mindset.

Thank you for your application and we regret that only shortlisted applicants will be notified

By submitting any application or resume to us, you will be deemed to have agreed & consented to us collecting, using, retaining & disclosing your personal information to prospective employers with the services provided by us.

EA (18C9514/R23118479)

Have work experience with private projects for 3 to 5 years

To carry out site supervision and inspection of the works to ensure the works are constructed to required quality and accuracy

Supervision & Inspection for bore piling, ERSS, earth retaining wall & precast work with approved dwg, specification, rule & regulation.

Monitoring in structural material test and checking Method Statements, tests and drawings

Work closely with Consultants, Client & authority and attend progress and technical meetings

Reply some RFA/RFI and Maintain updated drawings/RFA/ RFI, all site records

-Supervise and coordinate the activities of site contractors ;

· Monitor job progress and ensure that civil and structural contracted works meets all practical, commercial, requirements of productivity, quality and contract target completions;

· Ensure all design work conforms to the codes and standards used by the client, or to agreed industry standards.

· Implement and oversee site projects assigned to ensure smooth project execution

· Manage internal and external contractors well to ensure quality of work and scope of work is within specifications.

· Responsible for all inspection activities being carried out.

· Assist in planning, schedule and technical support to PM and/or resident engineerr.

Key Responsibilities:

• Assist in the operation, maintenance, and troubleshooting of Building Management Systems (BMS) and Energy Management Systems (EMS).
• Understand and apply HVAC, Building Automation, and Energy Management systems to meet project specifications and ensure optimal system performance.
• Diagnose, troubleshoot, and resolve software and hardware issues in installed BMS and EMS systems.
• Analyze and resolve communication problems with control devices and other system components.
• Perform software preventive maintenance on installed BMS and EMS equipment to ensure system longevity and reliability.
• Support system commissioning and testing processes to verify that systems function as intended.
• Assist in system upgrades, ensuring compatibility with existing infrastructure and adherence to project timelines.

Key Requirements:

• Basic knowledge of HVAC systems, Building Automation, Energy Management, or related control systems.
• Familiarity with communication protocols such as BACnet, MODBUS, and LON.
• Strong troubleshooting skills for diagnosing and resolving system issues.
• Ability to work independently and as part of a team in a fast-paced environment.
• Good communication skills, both written and verbal.
• Proficiency in using software tools and diagnostic equipment for system maintenance and troubleshooting.
• Ability to learn new technologies and protocols quickly.

Thank you for your application and we regret that only shortlisted applicants will be notified

By submitting any application or resume to us, you will be deemed to have agreed & consented to us collecting, using, retaining & disclosing your personal information to prospective employers with the services provided by us.

EA (18C9514/R23118479)

Job Type: Full-Time

About Us:
AV Intelligence is a premier provider of high-end audio-visual solutions in Singapore and Malaysia, specializing in customized home theaters, premium sound systems, and integrated AV solutions for residential and commercial spaces. We pride ourselves on exceptional service, quality, and innovation. We are currently looking for an AV Installation Assistant to join our team and support our installation operations.

Job Summary:
The AV Installation Assistant/Engineer will work closely with our skilled installation team to set up and configure audio-visual systems for our clients. This role is perfect for someone with a passion for AV technology, an eye for detail, and a commitment to delivering high-quality work.

Key Responsibilities:

• Assist/ conduct in the installation, configuration, and troubleshooting of AV systems, including home theaters, audio systems, and other AV equipment.
• Help in / conduct cutting ceilings, running and organizing cabling, wiring, and mounting of equipment.
• Ensure the proper setup, alignment, and calibration of equipment for optimal performance.
• Maintain and organize tools, equipment, and supplies required for installations.
• Assist in testing systems post-installation to verify functionality and quality.
• Provide support in educating clients on basic system operation and troubleshooting.

Qualifications:

• Prior experience in AV installation, electrical work, or technical support is an advantage but not required; training will be provided.
• Basic understanding of AV systems, components, and wiring (preferred).
• Ability to use basic hand tools and follow installation instructions accurately.
• Excellent attention to detail and commitment to quality work.
• Strong communication skills and a positive attitude.
• Physical ability to lift equipment and work on ladders as required.

Preferred Qualifications:

• Familiarity with AV brands and equipment is a plus.
• Basic understanding of audio calibration and setup is an advantage.

Working Hours:

• Full-time.
• 5 days a week
• 9:30am -6:30pm
• Closed on Public Holidays
• 14 days a year

Remuneration

• Basic
• Bonus subject to your and Company's performance
• Mobil allowance
• Transport allowance
• Your remueration will be subject to your experience.
• The salary will be range posted is including the minimum bonus

How to Apply:
Please send your resume and a brief cover letter to [email protected] with the subject line "AV Installation Assistant Application - AV Intelligence."

AV Intelligence is committed to creating an inclusive environment and welcomes applications from all qualified individuals.

About the Company:

Dbiz is a high-performing product and engineering company that partners with organizations to build out digital solutions using the right technology at the right time. We pride ourselves on our innovative use of technology in various ways.

Role Summary:

We are seeking a talented and experienced Senior Outsystems Developer to join our dynamic team. The ideal candidate will have a strong background in developing and implementing solutions using the Outsystems platform, with proficiency in .NET, SQL, and JavaScript. This role involves designing, developing, and optimizing applications to meet business needs effectively.

Key Responsibilities:

• Design, develop, and maintain applications using the Outsystems platform.
• Utilize .NET, SQL, and JavaScript to create robust and scalable solutions.
• Collaborate with business stakeholders to understand requirements and translate them into technical solutions.
• Implement best practices in coding and application development.
• Troubleshoot and resolve application issues, ensuring optimal performance and user experience.
• Perform code reviews and provide mentorship to junior developers.
• Stay current with Outsystems updates and emerging technologies to continuously enhance skills and knowledge.
• Ensure adherence to project timelines and deliver high-quality solutions within deadlines.

Qualifications:

• Bachelor’s degree in Computer Science, Information Technology, or a related field.
• 2+ years of professional experience in software development with a focus on Outsystems, .NET, SQL, and JavaScript.
• Proven experience in developing and deploying applications using the Outsystems platform.
• Strong proficiency in the .NET framework and associated technologies.
• Extensive experience with SQL databases and writing complex queries.
• Advanced knowledge of JavaScript and its frameworks/libraries.
• Excellent problem-solving skills and attention to detail.
• Strong communication skills and ability to work collaboratively in a team environment.
• Experience in agile development methodologies is a plus.

Preferred Skills:

• Certifications in Outsystems or related technologies.
• Experience with the integration of Outsystems with other systems and APIs.
• Knowledge of cloud platforms and DevOps practices.

Life at Dbiz:

• Competitive salary and attractive benefits
• Dynamic and innovative work environment
• Opportunities for personal growth and development
• Engaging and collaborative company culture

Job Title: Assistant Field Service Engineer (1-Year Contract)

Company: [Global MNC Company in Power Solutions]

Location: [Location]

Job Summary:
Join our team as an Assistant Field Service Engineer, where you will assist in testing, commissioning, and startup operations for transformers and switchgear. Ideal candidates have 1-2 years of experience in electrical engineering or field service, with a strong interest in power equipment and safety practices.

Key Responsibilities:

• Support the testing, commissioning, and start-up of transformers and switchgear on-site.
• Assist senior engineers in troubleshooting and ensuring systems operate according to specifications.
• Conduct routine inspections, maintenance, and documentation of service activities.
• Adhere to all safety guidelines and work collaboratively with on-site teams to ensure smooth operations.

Qualifications:

• Diploma in Electrical Engineering or a related field.
• 1-2 years of experience in field service, ideally with power systems or heavy electrical equipment.
• Basic knowledge of transformers, switchgear, and safety standards.
• Strong communication skills and willingness to travel to various project sites.

For interested applicant, kindly send your resume in Word/PDF format to include the following in your resume:

1. Current Salary

2. Expected Salary

3. Availability

4. Reason for leaving

Thank you for your application and we regret that only shortlisted applicants will be notified

By submitting any application or resume to us, you will be deemed to have agreed & consented to us collecting, using, retaining & disclosing your personal information to prospective employers with the services provided by us.

License No: 23S1595

Registration No: R23116355

• Mondays to Fridays; Office hours

• Walking distance from MRT Station

• Salary: S$2500-2800/month

Job Responsibilities:

• Perform total preventive maintenance (TPM) procedures, inspections, basic troubleshooting on mechanical and hydraulic equipment/equipment failure

• Conduct regular maintenance tasks at the facilities

• Allocate appropriate resources to execute work orders

• Assess the need of mechanical spare parts to avoid delays in TPM

• Maintain and complete timely records

• Organise small workshop activities, incorporate efficient ways to maintain new equipment/plant, supervise external vendors

• Be involved in installation and commissioning processes

• Ensure all maintenance activities carried out are according to policies and regulations

• Assist Maintenance Supervisor (Mechanical) when needed

• Perform ad-hoc duties as required

Job Requirements:

• Minimum NITEC / Diploma in Mechanical Engineering or equivalent and above

• Minimum 1-2 years’ experience in a Power Plant environment

• Preferrable to have knowledge in plant operations

Interested and suitable candidates, please email your CV in MS Word to

[email protected]

Ammerline Lam Sze Yi (Ms)

Division Manager

CEI Registration No.: R1104463

Celecti Pte Ltd.

EA License: 16C8045

Personal Data Protection

“By submitting your curriculum vitae or disclosing your personal information in connection with your job application, you are deemed to have read and agreed to the terms of our Privacy Policy, and consented to the collection, use and disclosure of your personal data by us, in accordance with our Privacy Policy. Please access our website at www.celecti.com.sg for a copy of our Privacy Policy.”

We are seeking a electrical technician to join ourteam in Singapore.

The ideal candidate should

Job responsibilities

- installation of all types of CCTV/ door access ,etc.

- perform service & repair all types of CCTV/door access system.

- perform checking maintenance andtroubleshooting of CCTV/door access.

- Any other duties as assigned by Managerduring project, from time to time.

- perform handover with customer after jobcompleted.

Job requirement

- At least 4 Year(s) of working experience inelectrical work /installation /

- Have ITC/Diploma in Electrical may bepreferred.

- Be mild-tempered

- Be able to work overtime when required.

- Applicant with CSOC/BCSS cert may bepreferred.

- Required language (s): English (written andspoken)

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.

Researchers under the Programme should possess both mastery of their academic speciality, and demonstrated practical experience producing and supporting high-quality open-source code throughcommunity engagement across multiple media. Candidates must have Bachelor's, Master's, Ph.D., or alternative 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

#LI-JN2

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.

Researchers under the Programme should possess both mastery of their academic speciality, and demonstrated practical experience producing and supporting high-quality open-source code throughcommunity engagement across multiple media. Candidates must have Bachelor's, Master's, Ph.D., or alternative 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

#LI-JN2

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.

The first set of tasks will involve the following specific assignments:

• Expressing decision logic using DMN/FEEL
• Evaluating the rule engine API
• Encoding existing materials in L4 for open source distribution
• Building interactive UIs using HTML, CSS, JavaScript and Python

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

#LI-JN2